A first ontology, reflecting T_ex and A_ex in Chapter 2, Figures 2.3, 2.4.