public static void pprintImpliesProposition(Proposition self, org.powerloom.PrintableStringWriter stream) {
    { Stella_Object tailarg = (self.arguments.theArray)[0];
      Stella_Object headarg = (self.arguments.theArray)[1];

      if (Stella_Object.isaP(headarg, OntosaurusUtil.SGT_LOGIC_DESCRIPTION) &&
          Stella_Object.isaP(tailarg, OntosaurusUtil.SGT_LOGIC_DESCRIPTION)) {
        OntosaurusUtil.pprintDescriptionsAsRule(((Description)(headarg)), ((Description)(tailarg)), self, stream);
      }
      else {
        OntosaurusUtil.pprintOperatorWithArguments(OntosaurusUtil.operatorToString(OntosaurusUtil.SGT_PL_KERNEL_KB_SUBSET_OF), self.arguments, false, false, stream);
      }
    }
  }