Assertion list for term "a disk shape".
Results from Ascent++: 1
enclosure → HasA → a disk shape 0.25