crossword
proportional quantifier
Attribute
Has As Attribute
Function
Hierarchy
Is subtype of