inform((_:search,day,'thursday');(_:search,leave_at,'14:30');(_:search,type,'Train'))
user
Need a train leaving on Thursday after 14:30
inform((_:result,count,'195');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
I found 195 trains that match your prerequisites . What is your destination ?
inform((_:search,departure,'cambridge');(_:search,destination,'london liverpool street');(_:search,type,'Train'))
user
I am going to London Liverpool Street from Cambridge .
inform((_:result,arrive_by,'17:27');(_:result,id,'TR3237');(_:result,ticket,'16.60 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Train TR3237 arrives at 17:27 and cost 16.60 pounds . Would you like me to book it ?
thank()
user
No thanks , I 'm not sure how many seats I 'll be needing yet .
thank()
system
Okay . Just call us back when you do .
inform((_:search,area,'centre');(_:search,food,'north african');(_:search,type,'Restaurant'))
user
Oh , I am also looking for an African restaurant in the centre ... North African , to be exact .
canthelp((_:search,type,'Restaurant'))
system
There are n't any in that particular area , do you have any alternative preferences ?
inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Hmm , can you see if there might be an expensive restaurant that serves specifically " north african " food in the centre of town ?
canthelp((_:search,area,'this town');(_:search,food,'North African');(_:search,type,'Restaurant')) inform((_:result,area,'centre');(_:result,food,'African');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
I apologize , but we are do n't have any North African restaurants in this town at all . I do have an expensive African restaurant in the centre . Will that suffice ?
inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
No , if I ca n't get North African I 'd really prefer something radically different . Chinese , maybe ?
inform((_:result,area,'centre');(_:result,food,'chinese');(_:result,name,'Ugly Duckling');(_:result,type,'Restaurant'))
system
How about the Ugly Duckling ? They serve chinese food and are located in the centre of the city .
inform((_:search,day,'thursday');(_:search,duration,'11:00');(_:search,people,'7');(_:search,type,'Restaurant'))
user
Okay . can you book me a table for 7 at 11:00 for Thursday ?
canthelp((_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking'))
system
That booking was unsuccessful . Would you like to try another time ?
inform((_:search,duration,'10:00');(_:search,type,'Restaurant'))
user
Sure , can we try for 10:00 instead ?
inform((_:booking,duration,'10:00');(_:booking,type,'Booking');(_:result,ref,'XVUUCPBH');(_:result,type,'Restaurant')) reqmore()
system
Booking for 10:00 was successful . Your reference number is XVUUCPBH . Is there anything else I can help with ?
thank()
user
That will be all , thank you very much .
system
You 're welcome . Have a great day !
_:search day thursday
_:search leave_at 14:30
_:search type Train
_:search day thursday
_:search leave_at 14:30
_:result count 195
_:result type Train
_:search departure cambridge
_:search destination london liverpool street
_:search type Train
_:search day thursday
_:search leave_at 14:30
_:result count 195
_:search departure cambridge
_:search destination london liverpool street
_:search type Train
_:result arrive_by 17:27
_:result id TR3237
_:result ticket 16.60 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day thursday
_:search leave_at 14:30
_:result count 195
_:search departure cambridge
_:search destination london liverpool street
_:result arrive_by 17:27
_:result id TR3237
_:result ticket 16.60 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search area centre
_:search food north african
_:search type Restaurant
_:search day thursday
_:search leave_at 14:30
_:result count 195
_:search departure cambridge
_:search destination london liverpool street
_:result arrive_by 17:27
_:result id TR3237
_:result ticket 16.60 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search food north african
_:system canthelp _:search/fc64f9c7
_:search/fc64f9c7 type Restaurant
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search day thursday
_:search leave_at 14:30
_:result count 195
_:search departure cambridge
_:search destination london liverpool street
_:result arrive_by 17:27
_:result id TR3237
_:result ticket 16.60 pounds
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system canthelp _:search/fc64f9c7
_:search/fc64f9c7 type Restaurant
_:search area centre
_:search pricerange expensive
_:system canthelp _:search/c941464c
_:search/c941464c area this town
_:search/c941464c food North African
_:search/c941464c type Restaurant
_:result area centre
_:result food African
_:result pricerange expensive
_:result type Restaurant
_:search food chinese
_:search type Restaurant
_:search leave_at 14:30
_:result count 195
_:search departure cambridge
_:search destination london liverpool street
_:result arrive_by 17:27
_:result id TR3237
_:result ticket 16.60 pounds
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system canthelp _:search/fc64f9c7
_:search/fc64f9c7 type Restaurant
_:search area centre
_:search pricerange expensive
_:system canthelp _:search/c941464c
_:search/c941464c area this town
_:search/c941464c food North African
_:search/c941464c type Restaurant
_:result pricerange expensive
_:search food chinese
_:result area centre
_:result food chinese
_:result name Ugly Duckling
_:result type Restaurant
_:search day thursday
_:search duration 11:00
_:search people 7
_:search type Restaurant
_:search leave_at 14:30
_:result count 195
_:search departure cambridge
_:search destination london liverpool street
_:result arrive_by 17:27
_:result id TR3237
_:result ticket 16.60 pounds
_:system offered _:booking
_:booking category Train
_:system canthelp _:search/fc64f9c7
_:search/fc64f9c7 type Restaurant
_:search area centre
_:search pricerange expensive
_:system canthelp _:search/c941464c
_:search/c941464c area this town
_:search/c941464c food North African
_:search/c941464c type Restaurant
_:result pricerange expensive
_:search food chinese
_:result area centre
_:result food chinese
_:result name Ugly Duckling
_:result type Restaurant
_:search day thursday
_:search people 7
_:system canthelp _:booking/2c24f44a
_:booking/2c24f44a type Booking
_:booking duration ?
_:booking type Booking
_:search duration 10:00
_:search type Restaurant
_:search leave_at 14:30
_:result count 195
_:search departure cambridge
_:search destination london liverpool street
_:result arrive_by 17:27
_:result id TR3237
_:result ticket 16.60 pounds
_:system offered _:booking
_:booking category Train
_:system canthelp _:search/fc64f9c7
_:search/fc64f9c7 type Restaurant
_:search area centre
_:search pricerange expensive
_:system canthelp _:search/c941464c
_:search/c941464c area this town
_:search/c941464c food North African
_:search/c941464c type Restaurant
_:result pricerange expensive
_:search food chinese
_:result area centre
_:result food chinese
_:result name Ugly Duckling
_:search day thursday
_:search people 7
_:system canthelp _:booking/2c24f44a
_:booking/2c24f44a type Booking
_:search duration 10:00
_:search type Restaurant
_:booking duration 10:00
_:booking type Booking
_:result ref XVUUCPBH
_:result type Restaurant
_:system inquired _:user