Assertion list
work (primary) → DefinedAs
Results from Ascent++: 1
work → DefinedAs → orphan 0.25