Assertion list
pot (primary) → DefinedAs
Results from Ascent++: 3
pot → DefinedAs → +sign 0.27
pot → DefinedAs → buoy 0.25
pot → DefinedAs → their size 0.25