Assertion list
boo (primary) → HasA
Results from Ascent++: 1
boo → HasA → seizure 0.25