Assertion list
folding chair (primary) → AtLocation
Results from Ascent++: 2
folding chair → AtLocation → the storage configuration 0.57
folding chair → AtLocation → opening 0.45