A meta-predicate for stating that one predicate is a generalization of another. (Genl Preds SPEC-PRED GENL-PRED) means that GENL-PRED is a generalization of SPEC-PRED. That is, (GENL-PRED ARG1..ARGN) holds whenever (SPEC-PRED ARG1..ARGN) holds. For example, (Genl Predstouching an objectnearby object) holds, as touching something implies being near it.
As for the respective arities (see arity) of SPEC-PRED and GENL-PRED, (i) both predicates might have the same fixed-arity (see mathematical relation), (ii) both might have variable-arity (see variable-arity relation), or (iii) SPEC-PRED might have a fixed-arity and GENL-PRED variable-arity. (It cannot be the case that SPEC-PRED has variable-arity and GENL-PRED has a fixed-arity.)
(Genl Preds SPEC-PRED GENL-PRED)means thatGENL-PREDis a generalization ofSPEC-PRED. That is,(GENL-PRED ARG1..ARGN)holds whenever(SPEC-PRED ARG1..ARGN)holds. For example,(Genl Preds touching an object nearby object)holds, as touching something implies being near it.As for the respective arities (see arity) of
SPEC-PREDandGENL-PRED, (i) both predicates might have the same fixed-arity (see mathematical relation), (ii) both might have variable-arity (see variable-arity relation), or (iii)SPEC-PREDmight have a fixed-arity andGENL-PREDvariable-arity. (It cannot be the case thatSPEC-PREDhas variable-arity andGENL-PREDhas a fixed-arity.)See also mutually-negating predicate, Genl Inverse, and Negation Inverse.