public static void printKifImpliesProposition(Proposition self) {
    { Stella_Object tailarg = (self.arguments.theArray)[0];
      Stella_Object headarg = (self.arguments.theArray)[1];

      if (Stella_Object.isaP(headarg, Logic.SGT_LOGIC_DESCRIPTION) &&
          Stella_Object.isaP(tailarg, Logic.SGT_LOGIC_DESCRIPTION)) {
        Description.printDescriptionsAsKifRule(((Description)(headarg)), ((Description)(tailarg)), self, false);
      }
      else {
        Logic.printKifOperatorWithArguments(Logic.stringifiedSurrogate(Logic.SGT_PL_KERNEL_KB_SUBSET_OF), self.arguments, true, false);
      }
    }
  }