Assertion list
contract (primary) → DefinedAs
Results from Ascent++: 1
contract → DefinedAs → agreement 0.56