File ISO 7.8 cond

1 Predicate ,/2