public static void markAsForwardRule(Proposition impliesprop) {
    { Description head = ((Description)((impliesprop.arguments.theArray)[1]));

      if ((!Description.namedDescriptionP(head)) &&
          (((Description)(KeyValueList.dynamicSlotValue(head.dynamicSlots, Logic.SYM_LOGIC_COMPLEMENT_DESCRIPTION, null))) == null)) {
        KeyValueList.setDynamicSlotValue(impliesprop.dynamicSlots, Logic.SYM_LOGIC_FORWARD_ONLYp, Stella.TRUE_WRAPPER, Stella.FALSE_WRAPPER);
      }
    }
  }