Assertion list
falsehood (primary) → HasSubevent

Results from Ascent++: 1
falsehoodHasSubevent vice 0.21