Assertion list
headboard (primary) → HasProperty
Results from Ascent++: 3
headboard → HasProperty → useful 0.52
headboard → HasProperty → tall 0.25
headboard → HasProperty → perfect 0.16