Assertion list
rhombus (primary) → IsA
Results from Ascent++: 1
rhombus → IsA → parallelogram 0.84