Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): OMDoc Theory ImportsType Imports Presentation Use SymbolRole Symbol Type Constitutive Axiom CMP FMP Assumption Conclusion Definition ADT SortType SortDef Constructor Insort Recognizer Conservativity Inclusion Morphism MText OMDocMathObject OMObject OMSymbol OMInteger OMVariable OMSimpleVariable OMAttribution OMAttributionPart OMBindingVariables OMBase64 OMString OMFloat OMApply OMError OMReference OMBind OMElement