added as symbol for RichCartesianProductTerm2 and 3
added spec for more ternary predicate