public static Proposition newProposition() {
    { Proposition self = null;

      self = new Proposition();
      self.dynamicSlots = KeyValueList.newKeyValueList();
      self.dependentPropositions = Logic.NIL_NON_PAGING_INDEX;
      self.operator = null;
      self.arguments = null;
      self.truthValue = null;
      self.kind = null;
      self.homeContext = ((Module)(Stella.$MODULE$.get()));
      return (self);
    }
  }