Assertion list for term "at least one face".
Results from Ascent++: 1
cube → HasA → at least one face 0.35