Assertion list
silicon carbide (primary) → HasA
Results from Ascent++: 1
silicon carbide → HasA → carbon 0.48