Assertion list
bookcase (primary) → AtLocation
Results from Ascent++: 3
bookcase → AtLocation → different patterns 0.39
bookcase → AtLocation → dimension 0.32
bookcase → AtLocation → design 0.27