inform((_:search,area,'centre');(_:search,food,'seafood');(_:search,type,'Restaurant'))
user
I 'm looking for a seafood restaurant in the centre .
inform((_:result,name,'Loch Fyne restaurant');(_:result,type,'Restaurant')) reqmore() thank()
system
Sure thing ! There is the Loch Fyne restaurant in that area that you may enjoy .   Would you like more information ?
inform((_:search,people,'3');(_:search,type,'Restaurant'))
user
That sounds great . Can you book me a table there for 3 people ?
canthelp((_:booking,type,'Booking')) inform((_:result,phone,'01223362433');(_:result,type,'Restaurant'))
system
They seem to be booked solid for the next week , which is all I can book for . Their phone number is 01223362433 , if you would like to call for a reservation .
inform((_:search,type,'Restaurant'))
user
Is there any other restaurant that you could try for me before I call myself ?
select((_:result,food,'Asian');(_:result,food,'Italian');(_:result,type,'Restaurant')) request((_:search,food,?);(_:search,type,'Restaurant'))
system
Is there a different cuisine you would be willing to try ? Asian or Italian maybe ?
inform((_:search,area,'centre');(_:search,arrive_by,'08:00');(_:search,destination,'cambridge');(_:search,duration,'18:00');(_:search,food,'seafood');(_:search,type,'Restaurant');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
As long as the seafood restaurant is in the centre I am fine with 18:00 and I need the reference number . I need a train arriving at Cambridge by 08:00 .
request((_:booking,day,?);(_:booking,type,'Booking'))
system
What day will you be wanting to dine ?
inform((_:search,day,'saturday');(_:search,type,'Restaurant'))
user
I 'm dining on Saturday .
inform((_:result,food,'seafood');(_:result,name,'Loch fyne');(_:result,type,'Restaurant')) reqmore() inform((_:booking,ref,'NDSUGZK9');(_:booking,type,'Booking'))
system
Loch fyne is a great seafood place . I have booked a table for you   and your reservation number is NDSUGZK9 . Anything else ?
inform((_:search,day,'saturday');(_:search,departure,'london kings cross');(_:search,type,'Train'))
user
I need to find a train leaving london kings cross on Saturday as well .
thank() request((_:search,arrive_by,?);(_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
I can help you with that .   First , I need to confirm that the destination is Cambridge , and can you provide the desired timeframe for travel ?
inform((_:search,arrive_by,'08:00');(_:search,destination,'Cambridge');(_:search,type,'Train'))
user
I would like to be in Cambridge by 08:00
inform((_:result,arrive_by,'06:08');(_:result,id,'TR2687');(_:result,leave_at,'05:17');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have found train TR2687 , it will depart at 05:17 at arrive by 06:08 . Would you like me to book this for you ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
No thank you . What is the price for that train ?
inform((_:result,ticket,'18.88 pounds');(_:result,type,'Train')) reqmore()
system
The price is 18.88 pounds . Is there anything else I can help you with ?
inform((_:search,day,'same day');(_:search,type,'Train'))
user
THe train booking is for the same day as my dinner reservation correct ?
reqmore() thank()
system
Yes of course . Anything else ?
thank()
user
No thanks .   I may be back in touch though !
bye() reqmore()
system
Feel free to get in touch if you need anything else . Enjoy your evening .
bye()
user
Thank you , good bye
system
Goodbye . Thanks for using Cambridge TownInfo centre .
_:search area centre
_:search food seafood
_:search type Restaurant
_:search area centre
_:search food seafood
_:result name Loch Fyne restaurant
_:result type Restaurant
_:system inquired _:user
_:search people 3
_:search type Restaurant
_:search area centre
_:search food seafood
_:result name Loch Fyne restaurant
_:system inquired _:user
_:search people 3
_:system canthelp _:booking/67df0f63
_:booking/67df0f63 type Booking
_:result phone 01223362433
_:result type Restaurant
_:search type Restaurant
_:result name Loch Fyne restaurant
_:system inquired _:user
_:search people 3
_:system canthelp _:booking/67df0f63
_:booking/67df0f63 type Booking
_:result phone 01223362433
_:result food Asian
_:result food Italian
_:result type Restaurant
_:search area centre
_:search arrive_by 08:00
_:search destination cambridge
_:search duration 18:00
_:search food seafood
_:search type Restaurant
_:search type Train
_:result ref ?
_:result name Loch Fyne restaurant
_:system inquired _:user
_:search people 3
_:system canthelp _:booking/67df0f63
_:booking/67df0f63 type Booking
_:result phone 01223362433
_:result food Asian
_:result food Italian
_:result type Restaurant
_:search area centre
_:search arrive_by 08:00
_:search destination cambridge
_:search duration 18:00
_:search food seafood
_:result ref ?
_:booking day ?
_:booking type Booking
_:search day saturday
_:search type Restaurant
_:search people 3
_:system canthelp _:booking/67df0f63
_:booking/67df0f63 type Booking
_:result phone 01223362433
_:search area centre
_:search arrive_by 08:00
_:search destination cambridge
_:search duration 18:00
_:search food seafood
_:result ref ?
_:booking day ?
_:result food seafood
_:result name Loch fyne
_:result type Restaurant
_:system inquired _:user
_:booking ref NDSUGZK9
_:booking type Booking
_:search day saturday
_:search departure london kings cross
_:search type Train
_:search people 3
_:system canthelp _:booking/67df0f63
_:booking/67df0f63 type Booking
_:result phone 01223362433
_:search area centre
_:search duration 18:00
_:search food seafood
_:result ref ?
_:booking day ?
_:result food seafood
_:result name Loch fyne
_:result type Restaurant
_:system inquired _:user
_:booking ref NDSUGZK9
_:booking type Booking
_:search day saturday
_:search departure ?
_:search leave_at ?
_:search arrive_by 08:00
_:search destination Cambridge
_:search type Train
_:search people 3
_:system canthelp _:booking/67df0f63
_:booking/67df0f63 type Booking
_:result phone 01223362433
_:search area centre
_:search duration 18:00
_:search food seafood
_:result ref ?
_:booking day ?
_:result food seafood
_:result name Loch fyne
_:system inquired _:user
_:booking ref NDSUGZK9
_:booking type Booking
_:search day saturday
_:search departure ?
_:search leave_at ?
_:search arrive_by 08:00
_:search destination Cambridge
_:search type Train
_:result arrive_by 06:08
_:result id TR2687
_:result leave_at 05:17
_:result type Train
_:system offered _:booking
_:booking category Train
_:result ticket ?
_:search people 3
_:system canthelp _:booking/67df0f63
_:booking/67df0f63 type Booking
_:result phone 01223362433
_:search area centre
_:search duration 18:00
_:search food seafood
_:result ref ?
_:booking day ?
_:result food seafood
_:result name Loch fyne
_:booking ref NDSUGZK9
_:booking type Booking
_:search departure ?
_:search leave_at ?
_:search arrive_by 08:00
_:search destination Cambridge
_:result arrive_by 06:08
_:result id TR2687
_:result leave_at 05:17
_:system offered _:booking
_:booking category Train
_:result ticket 18.88 pounds
_:result type Train
_:system inquired _:user
_:search day same day
_:search type Train
_:search people 3
_:system canthelp _:booking/67df0f63
_:booking/67df0f63 type Booking
_:result phone 01223362433
_:search area centre
_:search duration 18:00
_:search food seafood
_:result ref ?
_:booking day ?
_:result food seafood
_:result name Loch fyne
_:booking ref NDSUGZK9
_:booking type Booking
_:search departure ?
_:search leave_at ?
_:search arrive_by 08:00
_:search destination Cambridge
_:result arrive_by 06:08
_:result id TR2687
_:result leave_at 05:17
_:system offered _:booking
_:booking category Train
_:result ticket 18.88 pounds
_:result type Train
_:search day same day
_:search type Train
_:system inquired _:user
_:search people 3
_:system canthelp _:booking/67df0f63
_:booking/67df0f63 type Booking
_:result phone 01223362433
_:search area centre
_:search duration 18:00
_:search food seafood
_:result ref ?
_:booking day ?
_:result food seafood
_:result name Loch fyne
_:booking ref NDSUGZK9
_:booking type Booking
_:search departure ?
_:search leave_at ?
_:search arrive_by 08:00
_:search destination Cambridge
_:result arrive_by 06:08
_:result id TR2687
_:result leave_at 05:17
_:system offered _:booking
_:booking category Train
_:result ticket 18.88 pounds
_:result type Train
_:search day same day
_:search type Train
_:system dismissed _:user
_:system inquired _:user
_:user dismissed _:system