  Both languages are symmetrical in all their semantic and syntactical properties. So the positionality of predicates is not invariant with respect to linguistically equivalent transformations. But if this is the case, there is no semantic or syntactic criterion on whose basis we could draw the line between projectible predicates and predicates that we cannot use for induction.