Assertion: pacemaker | /r/HasProperty | checked with device
Facets:
Source sentences:
text: Pacemakers are checked with a device called a programmer.