Assertion list
pacemaker (primary) → HasA
Results from Ascent++: 6
pacemaker → HasA → battery 0.65
pacemaker → HasA → sensor 0.52
pacemaker → HasA → two leads 0.50
pacemaker → HasA → two parts 0.42
pacemaker → HasA → a pulse generator 0.41
pacemaker → HasA → many sophisticated features 0.16