Assertion list for term "different phase".

Results from Ascent++: 2
catalyst AtLocationdifferent phase 0.40
heterogeneous catalyst (subgroup of catalyst) AtLocationdifferent phase 0.25