for T being consistent TA-structure
for a being adjective of T holds types a misses types (non- a)