Assertion list
heterogeneous catalyst (subgroup of catalyst ) → IsA

Results from Ascent++: 1
heterogeneous catalystIsA solid 0.79