Assertion list
side (aspect of cube ) → HasProperty
Results from Ascent++: 5
side → HasProperty → equal 0.84
side → HasProperty → parallel 0.47
side → HasProperty → square 0.41
side → HasProperty → visible 0.33
side → HasProperty → congruent 0.25