Assertion list
face (aspect of cube ) → HasA
Results from Ascent++: 2
face → HasA → same pattern 0.41
face → HasA → four equal sides 0.25