Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): BASIC_SPEC BASIC_ITEMS TEXT_META TEXT PHRASE COMMENT MODULE IMPORTATION SENTENCE QUANT BOOL_SENT AndOr ImplEq ATOM TERM TERM_SEQ NAME_OR_SEQMARK SYMB_MAP_ITEMS SYMB_OR_MAP SYMB_ITEMS Sign Symbol Morphism CLTextType CommonLogicSL