public static boolean collectionofPropositionP(Proposition definingproposition) {
    return (Logic.logicalSubtypeOfP(((Surrogate)(definingproposition.operator)), Logic.SGT_PL_KERNEL_KB_COLLECTIONOF));
  }