... and of land vehicles, and whose range is the set of amount- expressions whose units are members of the set of speed-units. Given the types of the constants occurring in it, the type of a ... contmning the results of all applications of the function F to elements of the set A. 30 Because of the essentially local character of the descriptive transformations on HAVE, OF, ON, PREMOD, ... of all ships; F-SPEED has the type FUNC TIONS(U(SHIPS, PLANES, LAND-VEHICLES), AMOUNTS(SPEED.UNITS)), which denotes the set of functions whose domain is the union of the sets of ships, of...