public static boolean followDependentPropositionArgumentP(Proposition proposition, Stella_Object argument) {
    if (proposition.kind == Logic.KWD_EQUIVALENT) {
      return (true);
    }
    if (Surrogate.subtypeOfP(Stella_Object.safePrimaryType(argument), Logic.SGT_LOGIC_SKOLEM)) {
      { Skolem argument000 = ((Skolem)(argument));

        if (Logic.functionOutputSkolemP(argument000)) {
          return (true);
        }
        { NamedDescription relation = Logic.getDescription(proposition.operator);

          if (relation != null) {
            if (Description.computedTermP(relation)) {
              return (true);
            }
          }
        }
        return (!Logic.unfilteredDependentPropositions(argument000, Logic.SGT_PL_KERNEL_KB_EQUIVALENT).emptyP());
      }
    }
    else {
    }
    return (false);
  }