Assertion list
fir (primary) → HasA
Results from Ascent++: 1
fir → HasA → different spectrum 0.46