Annotations predicate

https://github.com/kfgodel/diamond/issues/186