By predictable smantics, I mean that one should be able to write a function (as in math, no state) that maps the shortcuts currently published to behavior. So one should get the same results, regardless of order and history.