Assertion list
jug (primary) → HasProperty
Results from Ascent++: 4
jug → HasProperty → great 0.75
jug → HasProperty → perfect 0.66
jug → HasProperty → full 0.64
jug → HasProperty → empty 0.45