File ISO 9.1.7 arith

1 Predicate is/2