flowchart
ditransitive alignment
Expression
Is Expression Of
Modeled On
Is Modeled On
Hierarchy
Has as subtype
Is subtype of