inform((_:search,arrive_by,'20:15');(_:search,destination,'kings lynn');(_:search,type,'Train'))
user
Find me a train to kings lynn that arrives by 20:15 .
inform((_:result,arrive_by,'05:58');(_:result,id,'TR3112');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR3112 arrives at 05:58 .   Will that work ?
inform((_:search,day,'saturday');(_:search,type,'Train'))
user
Is it on Saturday ?
inform((_:result,arrive_by,'19:58');(_:result,day,'saturday');(_:result,id,'TR7604');(_:result,leave_at,'19:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I 'd suggest TR7604 , it departs at 19:11 on saturday and arrives by 19:58 . Would you like a ticket ?
user
Yes , I definitely would . Can I please have the confirmation number as well ?
request((_:search,people,?);(_:search,type,'Train'))
system
How many people will be traveling ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
No , that 's ok . No need to book it , but can you tell me the price of the ticket ?
inform((_:result,id,'TR7604');(_:result,ticket,'7.84 pounds');(_:result,type,'Train')) reqmore()
system
The price per ticket on the TR7604 is 7.84 pounds .   Can I assist you further today ?
inform((_:search,day,'tuesday');(_:search,name,'el shaddai');(_:search,people,'4');(_:search,stay,'4');(_:search,type,'Hotel'))
user
I want to book a room at the el shaddai for 4 people 4 nights starting tuesday
reqmore() inform((_:booking,ref,'9DOLSR1S');(_:booking,type,'Booking'))
system
Booking was successful . 
 Reference number is : 9DOLSR1S . anything else today ?
thank()
user
Thank you .
system
Thank you for using the Cambridge TownInfo centre .
_:search arrive_by 20:15
_:search destination kings lynn
_:search type Train
_:search arrive_by 20:15
_:search destination kings lynn
_:result arrive_by 05:58
_:result id TR3112
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day saturday
_:search type Train
_:search arrive_by 20:15
_:search destination kings lynn
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day saturday
_:search type Train
_:result arrive_by 19:58
_:result day saturday
_:result id TR7604
_:result leave_at 19:11
_:result type Train
_:search arrive_by 20:15
_:search destination kings lynn
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day saturday
_:result arrive_by 19:58
_:result day saturday
_:result id TR7604
_:result leave_at 19:11
_:result type Train
_:search people ?
_:search type Train
_:result ticket ?
_:search arrive_by 20:15
_:search destination kings lynn
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 19:58
_:result day saturday
_:result leave_at 19:11
_:result id TR7604
_:result ticket 7.84 pounds
_:result type Train
_:system inquired _:user
_:search day tuesday
_:search name el shaddai
_:search people 4
_:search stay 4
_:search type Hotel
_:search arrive_by 20:15
_:search destination kings lynn
_:system offered _:booking
_:booking category Train
_:result arrive_by 19:58
_:result day saturday
_:result leave_at 19:11
_:result id TR7604
_:result ticket 7.84 pounds
_:result type Train
_:search day tuesday
_:search name el shaddai
_:search people 4
_:search stay 4
_:search type Hotel
_:system inquired _:user
_:booking ref 9DOLSR1S
_:booking type Booking