Assertion list
base (primary) → HasSubevent
Results from Ascent++: 2
base → HasSubevent → actuation of the mechanical swi… 0.28
base → HasSubevent → equitable distribution 0.28