Assertion list
substitution (primary) → HasSubevent

Results from Ascent++: 1
substitutionHasSubevent inactive or unstable product 0.16