Assertion list for term "bottom diameter".
Results from Ascent++: 1
pot → HasA → bottom diameter 0.36