Assertion list
condition (aspect of coin ) → HasSubevent

Results from Ascent++: 1
conditionHasSubevent reduction 0.20