public static boolean singleValuedPredicateP(Proposition proposition) {
    return ((proposition.kind == Logic.KWD_PREDICATE) &&
        Logic.singleValuedTermP(Logic.getDescription(((Surrogate)(proposition.operator)))));
  }