A relation to express the state of a vehicle in a platoon