Assertion list
covenant (primary) → HasSubevent
Results from Ascent++: 2
covenant → HasSubevent → the invalidity 0.25
covenant → HasSubevent → unenforceability 0.25