File ISO 8.7.1 order

1 Predicate =:= /2