public static boolean functionOutputSkolemP(Stella_Object self) {
    if (Surrogate.subtypeOfP(Stella_Object.safePrimaryType(self), Logic.SGT_LOGIC_SKOLEM)) {
      { Skolem self000 = ((Skolem)(self));

        return (self000.definingProposition != null);
      }
    }
    else {
      return (false);
    }
  }