Assertion list
cicada (primary) → HasA
Results from Ascent++: 1
cicada → HasA → black bodies 0.52