
theorem
  for T being non empty non void reflexive transitive TA-structure for t
  being type of T holds <*> the adjectives of T is_applicable_to t;
