UML14 — OCL: Samples of invalid typing

There are some examples of OCL expressions with type errors.
For example, in section 7.4.4. there is an OCL expression:

1 + 'motorcycle'

of which it is said that it is invalid because type Integer does
not conform to type String. The conclusion is correct, but the reason
for the expression above being invalid is entirely different.
The reason for it is that type String does not confirm to type Real!

Proposed solution:

Rephrase the text in the OCL specification. And check other examples.
____________________________________________________________________________

No Data Available