Assertion list
plastic box (subgroup of box ) → HasA
Results from Ascent++: 1
plastic box → HasA → the volume 0.68