Assertion list
silicon carbide (primary) → HasProperty
Results from Ascent++: 2
silicon carbide → HasProperty → hard 0.54
silicon carbide → HasProperty → useful 0.35