Assertion list
duty (primary) → DefinedAs
Results from Ascent++: 1
duty → DefinedAs → obligation 0.38