Assertion list
air conditioner (primary) → AtLocation
Results from Ascent++: 3
air conditioner → AtLocation → car 0.25
air conditioner → AtLocation → occupied room 0.25
air conditioner → AtLocation → various colors 0.25