Assertion list
pacemaker (primary) → HasSubevent
Results from Ascent++: 3
pacemaker → HasSubevent → radar 0.25
pacemaker → HasSubevent → the microwave oven 0.25
pacemaker → HasSubevent → complete heart block 0.16