dashboard
propositional attitude construction
Function
Has As Function
Hierarchy
Has as subtype
Is subtype of