Assertion list
security system (primary) → AtLocation
Results from Ascent++: 1
security system → AtLocation → monitored property 0.29