parser: Add the abstract grammar for predicate definitions