Assertion list
grill (primary) → AtLocation
Results from Ascent++: 1
grill → AtLocation → right temperature 0.39