for T being non void TA-structure
for t being type of T holds adjs t = { a where a is adjective of T : t in types a }