Assertion list
catalyst (primary) → AtLocation
Results from Ascent++: 2
catalyst → AtLocation → different phase 0.40
catalyst → AtLocation → homogeneous catalysis 0.25