Assertion list
lava (primary) → HasA
Results from Ascent++: 3
lava → HasA → low viscosity 0.37
lava → HasA → support 0.25
lava → HasA → end 0.16