:: deftheorem defines ast ABCMIZ_1:def 44 :
for C being initialized ConstructorSignature
for T being quasi-type of C
for a being quasi-adjective of C holds a ast T = [({a} \/ (adjs T)),(the_base_of T)];