public static boolean nativeSlotPropositionP(Proposition self) {
    { Vector arguments = self.arguments;

      if (((arguments.length()) == 0)) {
        return (false);
      }
      { Stella_Object firstarg = (((arguments.theArray)[0] != null) ? Logic.valueOf((arguments.theArray)[0]) : ((Stella_Object)(null)));

        if ((firstarg != null) &&
            Stella_Object.isaP(firstarg, Logic.SGT_STELLA_THING)) {
          { NamedDescription description = Logic.getDescription(self.operator);

            if ((description != null) &&
                ((description.nativeRelation() != null) &&
                 Stella_Object.isaP(description.nativeRelation(), Logic.SGT_STELLA_STORAGE_SLOT))) {
              return (true);
            }
          }
        }
        return (false);
      }
    }
  }