The context of utterance in the sit field will include the height-sensor reading, which means that the sensor reading is part of the proof of the sit-type indicating that x is tall (or not, as the case may be).
to decide whether to refer to some individual x as tall or to evaluate someone else's utterance describing x as tall, an agent applies the function tall.f to the current situation, represented as a record r : T ctxt .