File ISO 8.4.1 lexical

1 Predicate == /2