inform((_:search,day,'friday');(_:search,departure,'london kings cross');(_:search,type,'Train'))
user
I 'm looking for a train that departs london kings cross on friday .
request((_:search,destination,?);(_:search,type,'Train'))
system
Can I get a destination for this trip please ?
inform((_:search,arrive_by,'13:15');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Yes , I 'll be going to Cambridge , and I need to arrive by 13:15 .
inform((_:result,arrive_by,'13:15');(_:result,count,'4');(_:result,leave_at,'11:17');(_:result,leave_at,'5:17');(_:result,leave_at,'7:17');(_:result,leave_at,'9:17');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There are 4 different trains departing at 5:17 , 7:17 , 9:17 , and 11:17 .   Each of those trains will arrive before 13:15 .   Would you like to book a train ?
inform((_:search,people,'6');(_:search,type,'Train'))
user
Any of those would be fine , I will be booking for 6 .
inform((_:booking,arrive_by,'10:08');(_:booking,category,'Train');(_:booking,id,'TR5686');(_:booking,ref,'HVY7MBWS');(_:booking,ticket,'141.6GBP');(_:booking,type,'Booking'))
system
I booked you on TR5686 arriving at 10:08 . Your reference number is HVY7MBWS , the total is 141.6GBP payable at the station .
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
Great , thanks a lot . Can you also help me find a good restaurant in the centre of town ?
inform((_:booking,name,'Kymmoy');(_:booking,type,'Booking'))
system
Kymmoy looks good , would you like to book there ?
inform((_:search,food,'chinese');(_:search,pricerange,'moderately');(_:search,type,'Restaurant'))
user
I need a moderately priced restaurant that serves Chinese food .
inform((_:result,name,'Jinlin Noodle Bar');(_:result,type,'Restaurant'))
system
Would you like to try Jinlin Noodle Bar ?
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
That sounds great , could you give me the postcode ?
offer((_:booking,type,'Booking')) inform((_:result,postcode,'cb23pp');(_:result,type,'Restaurant'))
system
the postcode is cb23pp . Would you like to make a reservation ?
inform((_:search,name,'Jinlin');(_:search,type,'Restaurant'))
user
Can I just double check something ? Is the Jinlin Noodle Bar moderately priced ?
offer((_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,people,?);(_:booking,type,'Booking'))
system
Yes they are , if you would like to book there , When would you like the booking anf for how many people ?
inform((_:search,day,'friday');(_:search,duration,'16:00');(_:search,people,'6');(_:search,type,'Restaurant'))
user
Please book there for 6 people on friday at 16:00 .   Thank you for your assistance .
reqmore() inform((_:booking,type,'Booking'))
system
Ok , I have that booked for you . Is there anything else I can assist you with ?
bye()
user
Thank you so much . You have been most helpful . There is nothing else at this time . Good bye .
system
Thank you . Have a great evening .
_:search day friday
_:search departure london kings cross
_:search type Train
_:search day friday
_:search departure london kings cross
_:search arrive_by 13:15
_:search destination cambridge
_:search type Train
_:search day friday
_:search departure london kings cross
_:search arrive_by 13:15
_:search destination cambridge
_:result arrive_by 13:15
_:result count 4
_:result leave_at 11:17
_:result leave_at 5:17
_:result leave_at 7:17
_:result leave_at 9:17
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 6
_:search type Train
_:search day friday
_:search departure london kings cross
_:search arrive_by 13:15
_:search destination cambridge
_:result arrive_by 13:15
_:result count 4
_:result leave_at 11:17
_:result leave_at 5:17
_:result leave_at 7:17
_:result leave_at 9:17
_:result type Train
_:system offered _:booking
_:search people 6
_:booking arrive_by 10:08
_:booking category Train
_:booking id TR5686
_:booking ref HVY7MBWS
_:booking ticket 141.6GBP
_:booking type Booking
_:search area centre
_:search type Restaurant
_:search day friday
_:search departure london kings cross
_:search arrive_by 13:15
_:search destination cambridge
_:result arrive_by 13:15
_:result count 4
_:result leave_at 11:17
_:result leave_at 5:17
_:result leave_at 7:17
_:result leave_at 9:17
_:result type Train
_:system offered _:booking
_:search people 6
_:booking arrive_by 10:08
_:booking category Train
_:booking id TR5686
_:booking ref HVY7MBWS
_:booking ticket 141.6GBP
_:search area centre
_:booking name Kymmoy
_:booking type Booking
_:search food chinese
_:search pricerange moderately
_:search type Restaurant
_:search day friday
_:search departure london kings cross
_:search arrive_by 13:15
_:search destination cambridge
_:result arrive_by 13:15
_:result count 4
_:result leave_at 11:17
_:result leave_at 5:17
_:result leave_at 7:17
_:result leave_at 9:17
_:system offered _:booking
_:search people 6
_:booking arrive_by 10:08
_:booking category Train
_:booking id TR5686
_:booking ref HVY7MBWS
_:booking ticket 141.6GBP
_:search area centre
_:booking name Kymmoy
_:booking type Booking
_:search food chinese
_:search pricerange moderately
_:search type Restaurant
_:result name Jinlin Noodle Bar
_:result type Restaurant
_:result postcode ?
_:search day friday
_:search departure london kings cross
_:search arrive_by 13:15
_:search destination cambridge
_:result arrive_by 13:15
_:result count 4
_:result leave_at 11:17
_:result leave_at 5:17
_:result leave_at 7:17
_:result leave_at 9:17
_:system offered _:booking
_:search people 6
_:booking arrive_by 10:08
_:booking category Train
_:booking id TR5686
_:booking ref HVY7MBWS
_:booking ticket 141.6GBP
_:search area centre
_:booking name Kymmoy
_:booking type Booking
_:search food chinese
_:search pricerange moderately
_:result name Jinlin Noodle Bar
_:result postcode cb23pp
_:result type Restaurant
_:search name Jinlin
_:search type Restaurant
_:search departure london kings cross
_:search arrive_by 13:15
_:search destination cambridge
_:result arrive_by 13:15
_:result count 4
_:result leave_at 11:17
_:result leave_at 5:17
_:result leave_at 7:17
_:result leave_at 9:17
_:system offered _:booking
_:booking arrive_by 10:08
_:booking category Train
_:booking id TR5686
_:booking ref HVY7MBWS
_:booking ticket 141.6GBP
_:search area centre
_:booking name Kymmoy
_:search food chinese
_:search pricerange moderately
_:result name Jinlin Noodle Bar
_:result postcode cb23pp
_:result type Restaurant
_:search name Jinlin
_:booking day ?
_:booking duration ?
_:booking people ?
_:booking type Booking
_:search day friday
_:search duration 16:00
_:search people 6
_:search type Restaurant
_:search departure london kings cross
_:search arrive_by 13:15
_:search destination cambridge
_:result arrive_by 13:15
_:result count 4
_:result leave_at 11:17
_:result leave_at 5:17
_:result leave_at 7:17
_:result leave_at 9:17
_:system offered _:booking
_:booking arrive_by 10:08
_:booking category Train
_:booking id TR5686
_:booking ref HVY7MBWS
_:booking ticket 141.6GBP
_:search area centre
_:booking name Kymmoy
_:search food chinese
_:search pricerange moderately
_:result name Jinlin Noodle Bar
_:result postcode cb23pp
_:result type Restaurant
_:search name Jinlin
_:booking day ?
_:booking duration ?
_:booking people ?
_:search day friday
_:search duration 16:00
_:search people 6
_:search type Restaurant
_:system inquired _:user
_:booking type Booking
_:user dismissed _:system