Assertion list
rhombus (primary) → HasA
Results from Ascent++: 3
rhombus → HasA → four equal sides 0.45
rhombus → HasA → four sides 0.42
rhombus → HasA → opposite angles 0.25