Assertion list
bowling ball (primary) → HasProperty
Results from Ascent++: 4
bowling ball → HasProperty → heavy 0.59
bowling ball → HasProperty → smooth 0.32
bowling ball → HasProperty → perfect 0.32
bowling ball → HasProperty → expensive 0.25