Assertion list
shape (aspect of foam ) → CapableOf
Results from Ascent++: 1
shape → CapableOf → extend to greater extent 0.28