inform((_:search,departure,'cambridge');(_:search,destination,'kings lynn');(_:search,type,'Train'))
user
I am looking to get a train to cambridge from kings lynn
request((_:search,day,?);(_:search,type,'Train')) thank()
system
I can certainly help with that . When did you want to travel ?
inform((_:search,day,'sunday');(_:search,departure,'kings lynn');(_:search,leave_at,'20:30');(_:search,type,'Train'))
user
depart from kings lynn at 20:30 and leave on Sunday .
inform((_:result,leave_at,'21:11');(_:result,ticket,'7.84 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is a train leaving at 21:11 and it costs 7.84 pounds , would that be good for you ?
inform((_:search,arrive_by,'02:30');(_:search,day,'sunday');(_:search,type,'Train'))
user
My mistake I need the train to arrive by 02:30 on Sunday .
canthelp((_:search,arrive_by,'that time');(_:search,type,'Train')) request((_:search,arrive_by,?);(_:search,type,'Train'))
system
There are no trains at that time would you like to try a different time ?
inform((_:search,arrive_by,'20:30');(_:search,day,'sunday');(_:search,destination,'cambridge');(_:search,leave_at,'none');(_:search,type,'Train'))
user
Not doing well , I actually need to arrive cambridge at 20:30 .   I should leave on sunday .
inform((_:result,arrive_by,'19:58');(_:result,departure,'Kings Lynn');(_:result,destination,'Cambridge');(_:result,id,'TR6697');(_:result,leave_at,'19:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR6697 departs Kings Lynn at 19:11 and arrives at Cambridge at 19:58 . Would you like me to book this for you ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
Could you tell me the price of this ticket ?
inform((_:result,ticket,'7.84 pounds');(_:result,type,'Train'))
system
Sure the ticket is 7.84 pounds a ticket .
inform((_:search,name,'gonville hotel');(_:search,type,'Hotel'))
user
OK . Is there a hotel in town called the Hotel Gonville or Gonville Hotel or something like that ?
offer((_:booking,type,'Booking')) inform((_:result,area,'centre');(_:result,has_internet,'none');(_:result,has_parking,'none');(_:result,name,'Gonville Hotel');(_:result,pricerange,'expensive');(_:result,stars,'3');(_:result,type,'Hotel'))
system
Yes , the Gonville Hotel is located in the centre .   It is an expensive , 3 star hotel that offers free internet and parking .   Would you like a reservation there ?
request((_:result,postcode,?);(_:result,type,'Hotel'))
user
No thanks . But can I please get the postcode ?
inform((_:result,postcode,'cb11ly');(_:result,type,'Hotel')) reqmore()
system
The postcode is cb11ly . Can I help you with anything else today ?
thank()
user
That 's it .   Thanks !
system
You 're welcome , have a great day .
_:search departure cambridge
_:search destination kings lynn
_:search type Train
_:search destination kings lynn
_:search day sunday
_:search departure kings lynn
_:search leave_at 20:30
_:search type Train
_:search destination kings lynn
_:search departure kings lynn
_:search leave_at 20:30
_:result leave_at 21:11
_:result ticket 7.84 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 02:30
_:search day sunday
_:search type Train
_:search departure kings lynn
_:result leave_at 21:11
_:result ticket 7.84 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system canthelp _:search/76ac2e10
_:search/76ac2e10 arrive_by that time
_:search/76ac2e10 type Train
_:search arrive_by 20:30
_:search day sunday
_:search destination cambridge
_:search leave_at none
_:search type Train
_:search departure kings lynn
_:result ticket 7.84 pounds
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system canthelp _:search/76ac2e10
_:search/76ac2e10 arrive_by that time
_:search/76ac2e10 type Train
_:search arrive_by 20:30
_:search day sunday
_:search destination cambridge
_:search leave_at none
_:search type Train
_:result arrive_by 19:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR6697
_:result leave_at 19:11
_:result type Train
_:result ticket ?
_:search departure kings lynn
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system canthelp _:search/76ac2e10
_:search/76ac2e10 arrive_by that time
_:search/76ac2e10 type Train
_:search arrive_by 20:30
_:search day sunday
_:search destination cambridge
_:search leave_at none
_:result arrive_by 19:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR6697
_:result leave_at 19:11
_:result ticket 7.84 pounds
_:result type Train
_:search name gonville hotel
_:search type Hotel
_:search departure kings lynn
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system canthelp _:search/76ac2e10
_:search/76ac2e10 arrive_by that time
_:search/76ac2e10 type Train
_:search arrive_by 20:30
_:search day sunday
_:search destination cambridge
_:search leave_at none
_:result arrive_by 19:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR6697
_:result leave_at 19:11
_:result ticket 7.84 pounds
_:search name gonville hotel
_:search type Hotel
_:result area centre
_:result has_internet none
_:result has_parking none
_:result name Gonville Hotel
_:result pricerange expensive
_:result stars 3
_:result type Hotel
_:result postcode ?
_:search departure kings lynn
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system canthelp _:search/76ac2e10
_:search/76ac2e10 arrive_by that time
_:search/76ac2e10 type Train
_:search arrive_by 20:30
_:search day sunday
_:search destination cambridge
_:search leave_at none
_:result arrive_by 19:58
_:result departure Kings Lynn
_:result destination Cambridge
_:result id TR6697
_:result leave_at 19:11
_:result ticket 7.84 pounds
_:search name gonville hotel
_:search type Hotel
_:result area centre
_:result has_internet none
_:result has_parking none
_:result name Gonville Hotel
_:result pricerange expensive
_:result stars 3
_:result postcode cb11ly
_:result type Hotel
_:system inquired _:user