Assertion list
data (primary) → DefinedAs
Results from Ascent++: 1
data → DefinedAs → asterisk 0.36