:: deftheorem defines atomic GRZLOG_1:def 17 :
for t being GRZ-formula holds
( t is atomic iff t in Polish-atoms (GRZ-symbols,GRZ-arity) );