Assertion list
fillet (primary) → HasA
Results from Ascent++: 2
fillet → HasA → bright red gills 0.25
fillet → HasA → same thickness 0.25