Assertion list
work (primary) → DefinedAs

Results from Ascent++: 1
workDefinedAs orphan 0.25