Assertion list
steak (primary) → AtLocation
Results from Ascent++: 4
steak → AtLocation → the oven 0.44
steak → AtLocation → aircraft 0.25
steak → AtLocation → most tender 0.25
steak → AtLocation → the freezer 0.25