Functional schemas with nested predicates - Galil, Zvi (1973)