แสดงที่ที่ t.user และ t.timestamp ลูกค้า U ที่ < U, t x จองและค่าของแอตทริบิวต์การประทับเวลาของตั๋ว t ตามลำดับ และตอนนี้แสดงค่าเวลาปัจจุบันของนาฬิการะบบ
ที่ t.user และ T .การลงเวลาจะปรากฏแสดงว่าที่ลูกค้า U ที่< u , T x และการจองที่มูลค่าของแอตทริบิวต์เวลาของบัตรโดยสาร T ตามลำดับและในตอนนี้แสดงเวลาปัจจุบันของระบบนาฬิกา