is potentially ambiguous. It could be (i.e. 9), or (i.e. 7). In fact, the convention
in mathematics is to the latter: multiplication has precedence
over addition. The * operator in Prolog is defined so that
it too has precedence over the + operator.