inform((_:search,departure,"london king 's cross");(_:search,leave_at,'14:45');(_:search,type,'Train'))
user
I need a train leaving London King 's Cross after 14:45 .
thank() request((_:search,day,?);(_:search,type,'Train'))
system
I would be happy to help you book a train . In order to better help you , can you tell me what day you are looking to depart ?
inform((_:search,day,'friday');(_:search,type,'Train'))
user
I want to depart on Friday .
inform((_:result,day,'Friday');(_:result,leave_at,'15:17');(_:result,type,'Train'))
system
There is a train leaving at 15:17 on Friday .
inform((_:search,departure,'cambridge');(_:search,destination,'london kings cross');(_:search,leave_at,'14:45');(_:search,people,'six');(_:search,type,'Train'))
user
I actually need a train going to London Kings Cross leaving Cambridge after 14:45 . For six people .
inform((_:result,leave_at,'15:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,people,'6');(_:booking,type,'Booking'))
system
There is a train that leaves at 15:00 that has 6 tickets available , shall I book it for you ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
Please book tickets and provide me with the total cost of tickets and confirmation number .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'AQ95F0XH');(_:booking,ticket,'141.6 GBP');(_:booking,type,'Booking'))
system
It has been booked ! Your reference number is AQ95F0XH . The cost is 141.6 GBP . Do you need anything else ?
inform((_:search,area,'center');(_:search,food,'chinese');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
Looking for a Chinese restaurant in the center with a moderate price range .
offer((_:booking,type,'Booking')) inform((_:result,area,'centre');(_:result,name,'Jinling Noodle bar');(_:result,name,'lan hong house');(_:result,name,'shanghai family restaurant');(_:result,type,'Restaurant'))
system
Jinling Noodle bar , lan hong house and shanghai family restaurant are all in the centre area . Would you like a table at one of these ?
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
Can you recommend one and give me the phone number ?
reqmore() inform((_:result,name,'Jinling noodle bar');(_:result,phone,'01223566188');(_:result,type,'Restaurant'))
system
01223566188 	 Jinling noodle bar . Anything else ?
thank()
user
No , that is all I need today .   Thanks .   Goodbye .
system
Have a great evening !
_:search departure london king 's cross
_:search leave_at 14:45
_:search type Train
_:search departure london king 's cross
_:search leave_at 14:45
_:search day friday
_:search type Train
_:search day friday
_:result day Friday
_:result leave_at 15:17
_:result type Train
_:search departure cambridge
_:search destination london kings cross
_:search leave_at 14:45
_:search people six
_:search type Train
_:search day friday
_:result day Friday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at 14:45
_:search people six
_:search type Train
_:result leave_at 15:00
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking people 6
_:booking type Booking
_:result ticket ?
_:search day friday
_:result day Friday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at 14:45
_:search people six
_:result leave_at 15:00
_:result type Train
_:system offered _:booking
_:booking people 6
_:result ticket ?
_:system inquired _:user
_:booking category Train
_:booking ref AQ95F0XH
_:booking ticket 141.6 GBP
_:booking type Booking
_:search area center
_:search food chinese
_:search pricerange moderate
_:search type Restaurant
_:search day friday
_:result day Friday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at 14:45
_:search people six
_:result leave_at 15:00
_:system offered _:booking
_:booking people 6
_:result ticket ?
_:system inquired _:user
_:booking category Train
_:booking ref AQ95F0XH
_:booking ticket 141.6 GBP
_:booking type Booking
_:search area center
_:search food chinese
_:search pricerange moderate
_:search type Restaurant
_:result area centre
_:result name Jinling Noodle bar
_:result name lan hong house
_:result name shanghai family restaurant
_:result type Restaurant
_:result phone ?
_:search day friday
_:result day Friday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at 14:45
_:search people six
_:result leave_at 15:00
_:system offered _:booking
_:booking people 6
_:result ticket ?
_:booking category Train
_:booking ref AQ95F0XH
_:booking ticket 141.6 GBP
_:booking type Booking
_:search area center
_:search food chinese
_:search pricerange moderate
_:search type Restaurant
_:result area centre
_:system inquired _:user
_:result name Jinling noodle bar
_:result phone 01223566188
_:result type Restaurant