Assertion list
fourth cup (subgroup of cup ) → HasProperty
Results from Ascent++: 1
fourth cup → HasProperty → drunk 0.68