Semantic modeling -- constructing types

• aggregation, grouping by association