Assertion list
floater (primary) → HasA
Results from Ascent++: 3
floater → HasA → different shapes 0.47
floater → HasA → strong oxidizer 0.26
floater → HasA → diabete 0.19