Assertion list
edge (aspect of icosahedron ) → HasA
Results from Ascent++: 1
edge → HasA → same length 0.84