:: deftheorem defines QuasiTerms ABCMIZ_1:def 33 :
for C being initialized ConstructorSignature holds QuasiTerms C = the Sorts of (Free (C,(MSVars C))) . (a_Term C);