:: deftheorem defines Funcs ABCMIZ_1:def 20 :
Funcs = [:{a_Term},[:QuasiLoci,NAT:]:];