Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): Sign Generated SFSymbol SFSymbType SPProblem SPLogicalPart SPSymbolList SPSignSym SPSortSym SPDeclaration SPFormulaList SPClauseList SPOriginType SPClauseType NSPClause NSPClauseBody TermWsList SPTerm FileName FormKind Role Name Annos Source AWord GenTerm GenData FormData Info TPTP SPLiteral SPQuantSym SPSymbol SPProofList SPProofStep SPReference SPResult SPRuleAppl SPUserRuleAppl SPParent SPKey SPValue SPDescription SPLogState SPSetting SPSettingBody SPHypothesis SPSettingLabel SPCRBIND