Assertion list
sofa (primary) → AtLocation
Results from Ascent++: 3
sofa → AtLocation → space 0.63
sofa → AtLocation → room 0.63
sofa → AtLocation → the living room 0.33