public static boolean extensionalIndividualP(Stella_Object individual) {
    { Surrogate testValue000 = Stella_Object.safePrimaryType(individual);

      if (Surrogate.subtypeOfP(testValue000, Logic.SGT_LOGIC_PATTERN_VARIABLE)) {
        { PatternVariable individual000 = ((PatternVariable)(individual));

          return (false);
        }
      }
      else if (Surrogate.subtypeOfP(testValue000, Logic.SGT_LOGIC_SKOLEM)) {
        { Skolem individual000 = ((Skolem)(individual));

          { Proposition definingproposition = individual000.definingProposition;

            { boolean foundP000 = false;

              { Proposition prop = null;
                Iterator iter000 = Logic.unfilteredDependentPropositions(individual000, null).allocateIterator();

                loop000 : while (iter000.nextP()) {
                  prop = ((Proposition)(iter000.value));
                  if ((!(prop == definingproposition)) &&
                      ((!prop.deletedP()) &&
                       ((((Boolean)(Logic.$REVERSEPOLARITYp$.get())).booleanValue() ? Proposition.falseP(prop) : (Proposition.trueP(prop) ||
                      Proposition.functionWithDefinedValueP(prop)))))) {
                    foundP000 = true;
                    break loop000;
                  }
                }
              }
              if (foundP000) {
                return (true);
              }
            }
          }
          { boolean foundP001 = false;

            { LogicObject sk = null;
              Cons iter001 = individual000.variableValueInverse();

              loop001 : for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
                sk = ((LogicObject)(iter001.value));
                if (Logic.extensionalIndividualP(sk)) {
                  foundP001 = true;
                  break loop001;
                }
              }
            }
            { boolean value000 = foundP001;

              return (value000);
            }
          }
        }
      }
      else {
        return (true);
      }
    }
  }