Assertion list
cube (primary) → IsA
Results from Ascent++: 1
cube → IsA → three-dimensional solid object 0.44