Assertion list
black granite (subgroup of granite ) → HasProperty
Results from Ascent++: 1
black granite → HasProperty → gabbro 0.33