:: deftheorem defines QuasiAdjs ABCMIZ_1:def 40 :
for C being initialized ConstructorSignature holds QuasiAdjs C = { a where a is expression of C, an_Adj C : a is regular } ;