Assertion list
jug (primary) → HasA
Results from Ascent++: 1
jug → HasA → ring 0.25