A kludge-class that holds Measurements that a device is capable of making.
(=> (Automatic-Measurements $X $Y) (Measurement $Y))