Assertion list
heterogeneous catalyst (subgroup of catalyst ) → AtLocation

Results from Ascent++: 1
heterogeneous catalystAtLocation different phase 0.25