Assertion list
defibrillator (primary) → HasA
Results from Ascent++: 2
defibrillator → HasA → pacemaker 0.50
defibrillator → HasA → hermetic housing 0.28