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