:: deftheorem Def50 defines ground ABCMIZ_1:def 50 :
for C being initialized ConstructorSignature
for T being quasi-type of C holds
( T is ground iff variables_in T = {} );