public static void clearPropositionAnnotations(Proposition proposition) {
    { PropertyList annotations = ((PropertyList)(KeyValueList.dynamicSlotValue(proposition.dynamicSlots, Logic.SYM_LOGIC_ANNOTATIONS, null)));

      if (annotations != null) {
        { Keyword option = null;
          Stella_Object value = null;
          Cons iter000 = annotations.thePlist;

          for (;!(iter000 == Stella.NIL); iter000 = iter000.rest.rest) {
            option = ((Keyword)(iter000.value));
            value = iter000.rest.value;
            value = value;
            if (option == Logic.KWD_DIRECTION) {
              KeyValueList.setDynamicSlotValue(proposition.dynamicSlots, Logic.SYM_LOGIC_FORWARD_ONLYp, Stella.FALSE_WRAPPER, Stella.FALSE_WRAPPER);
              KeyValueList.setDynamicSlotValue(proposition.dynamicSlots, Logic.SYM_LOGIC_BACKWARD_ONLYp, Stella.FALSE_WRAPPER, Stella.FALSE_WRAPPER);
            }
            else if (option == Logic.KWD_WEIGHT) {
              KeyValueList.setDynamicSlotValue(proposition.dynamicSlots, Logic.SYM_LOGIC_WEIGHT, FloatWrapper.wrapFloat(Stella.NULL_FLOAT), Stella.NULL_FLOAT_WRAPPER);
            }
            else {
              Stella_Object.runOptionHandlerP(proposition, option, null);
            }
          }
        }
      }
    }
  }