Assertion list
defibrillator (primary) → AtLocation
Results from Ascent++: 3
defibrillator → AtLocation → hospital 0.38
defibrillator → AtLocation → airport 0.35
defibrillator → AtLocation → locked cabinet 0.28