Assertion list
cherub (primary) → HasA
Results from Ascent++: 1
cherub → HasA → four faces 0.59