File ISO 8.5 terms

1 Predicate =.. /2