Assertion list
ivory (primary) → IsA
Results from Ascent++: 1
ivory → IsA → hard, white material 0.40