3 ms·You could imagine a semantics that produces different results depending on the order of inference rules.by UncleMeat 5y agoYou could imagine a semantics that produces different results depending on the order of inference rules.