Assertion list
art (primary) → DefinedAs
Results from Ascent++: 1
art → DefinedAs → application 0.49