:: deftheorem Def4 defines void ABCMIZ_0:def 4 :
for A being AdjectiveStr holds
( A is void iff the adjectives of A is empty );