Assertion list
natural slate (subgroup of slate ) → IsA
Results from Ascent++: 1
natural slate → IsA → unprocessed stone 0.56