public static Stella_Object lookupAnnotation(Proposition proposition, Keyword key) {
    { PropertyList annotations = ((PropertyList)(KeyValueList.dynamicSlotValue(proposition.dynamicSlots, Logic.SYM_LOGIC_ANNOTATIONS, null)));

      if (annotations != null) {
        return (annotations.lookup(key));
      }
      else {
        return (null);
      }
    }
  }