Further example
Now consider
speed: vehicle ? int
We can use this to determine the speed of a car (because it is-a vehicle)
This means that
(vehicle ? int) <= (car ? int) becausecar <= vehicle
Or, more generally
(vehicle ? t) <= (car ? t)because car <= vehicle
Previous slide
Next slide
Back to first slide
View graphic version