Assertion list
silicon carbide (primary) → IsA
Results from Ascent++: 1
silicon carbide → IsA → β-silicon carbide 0.25