Assertion list
book fair (primary) → HasProperty
Results from Ascent++: 3
book fair → HasProperty → open 0.81
book fair → HasProperty → free 0.16
book fair → HasProperty → the only one 0.16