inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
He , I am looking forward to trying some local restaurants in Cambridge .   Can you tell me about some train schedules ?
request((_:search,area,?);(_:search,food,?);(_:search,type,'Restaurant')) thank()
system
I can help you with both of those things . Let 's start with what type of food or what part of town you would like to eat .
inform((_:search,area,'north');(_:search,food,'indian');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
Can you help me find a cheap restaurant in the north with indian food ?
inform((_:result,name,'Royal Spice');(_:result,type,'Restaurant'))
system
Yes I have one restaurant matching your criteria called Royal Spice . Would you like their telephone number ?
inform((_:search,arrive_by,'21:00');(_:search,day,'tuesday');(_:search,departure,'cambridge');(_:search,destination,'stevenage');(_:search,type,'Train'))
user
No thanks , I need a train from cambridge to stevenage in Tuesday .   I want to arrive before 21:00
inform((_:result,arrive_by,'20:10');(_:result,departure,'Cambridge');(_:result,destination,'Stevenage');(_:result,id,'TR6692');(_:result,leave_at,'19:21');(_:result,type,'Train'))
system
Ok , TR6692 leaves Cambridge at 19:21 and arrives in Stevenage at 20:10 . Will this work for you ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
Could I get the price of that train please ?
inform((_:result,ticket,'12.80 pounds');(_:result,type,'Train'))
system
That ticket will be 12.80 pounds .
inform((_:search,food,'italian');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Thanks .   Now I think you could help me with an expensive Italian restaurant perhaps ?
inform((_:result,area,'centre');(_:result,name,'caffe uno');(_:result,type,'Restaurant'))
system
How about caffe uno in the centre ?
inform((_:search,day,'tuesday');(_:search,duration,'22:00');(_:search,type,'Restaurant'))
user
Sounds good . Can you book a reservation for Tuesday at 22:00 ?
request((_:booking,people,?);(_:booking,type,'Booking'))
system
How many people will be dining at cafe uno ?
inform((_:search,people,'three');(_:search,type,'Restaurant'))
user
I need the reservation for three .
canthelp((_:booking,duration,'22:00');(_:booking,name,'Caffe Uno');(_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking'))
system
Unfortunately I am unable to book at 22:00 at Caffe Uno , do you have another time ?
inform((_:search,duration,'14:45');(_:search,type,'Restaurant'))
user
Um I meant 14:45 , my mind wandered , who wants dinner two hours before midnight , lol .   Same booking but 14:45 please .
reqmore() inform((_:booking,ref,'MRKAMZJM');(_:booking,type,'Booking'))
system
Booking was successful . The table will be reserved for 15 minutes . Reference number is : MRKAMZJM . Anything else I can help with ?
thank()
user
thanks alot.that is all i needed for today
system
Great ! glad I could help !
_:search departure cambridge
_:search type Train
_:search departure cambridge
_:search area north
_:search food indian
_:search pricerange cheap
_:search type Restaurant
_:search area north
_:search food indian
_:search pricerange cheap
_:result name Royal Spice
_:result type Restaurant
_:search arrive_by 21:00
_:search day tuesday
_:search departure cambridge
_:search destination stevenage
_:search type Train
_:search area north
_:search food indian
_:search pricerange cheap
_:result name Royal Spice
_:search arrive_by 21:00
_:search day tuesday
_:search departure cambridge
_:search destination stevenage
_:search type Train
_:result arrive_by 20:10
_:result departure Cambridge
_:result destination Stevenage
_:result id TR6692
_:result leave_at 19:21
_:result type Train
_:result ticket ?
_:search area north
_:result name Royal Spice
_:search arrive_by 21:00
_:search day tuesday
_:search departure cambridge
_:search destination stevenage
_:result arrive_by 20:10
_:result departure Cambridge
_:result destination Stevenage
_:result id TR6692
_:result leave_at 19:21
_:result ticket 12.80 pounds
_:result type Train
_:search food italian
_:search pricerange expensive
_:search type Restaurant
_:search area north
_:search arrive_by 21:00
_:search departure cambridge
_:search destination stevenage
_:result arrive_by 20:10
_:result departure Cambridge
_:result destination Stevenage
_:result id TR6692
_:result leave_at 19:21
_:result ticket 12.80 pounds
_:search food italian
_:search pricerange expensive
_:result area centre
_:result name caffe uno
_:result type Restaurant
_:search day tuesday
_:search duration 22:00
_:search type Restaurant
_:search area north
_:search arrive_by 21:00
_:search departure cambridge
_:search destination stevenage
_:result arrive_by 20:10
_:result departure Cambridge
_:result destination Stevenage
_:result id TR6692
_:result leave_at 19:21
_:result ticket 12.80 pounds
_:search food italian
_:search pricerange expensive
_:result area centre
_:result name caffe uno
_:result type Restaurant
_:search day tuesday
_:search duration 22:00
_:booking people ?
_:booking type Booking
_:search people three
_:search type Restaurant
_:search area north
_:search arrive_by 21:00
_:search departure cambridge
_:search destination stevenage
_:result arrive_by 20:10
_:result departure Cambridge
_:result destination Stevenage
_:result id TR6692
_:result leave_at 19:21
_:result ticket 12.80 pounds
_:search food italian
_:search pricerange expensive
_:result area centre
_:result name caffe uno
_:result type Restaurant
_:search day tuesday
_:booking people ?
_:search people three
_:system canthelp _:booking/e01e92e7
_:booking/e01e92e7 duration 22:00
_:booking/e01e92e7 name Caffe Uno
_:booking/e01e92e7 type Booking
_:booking duration ?
_:booking type Booking
_:search duration 14:45
_:search type Restaurant
_:search area north
_:search arrive_by 21:00
_:search departure cambridge
_:search destination stevenage
_:result arrive_by 20:10
_:result departure Cambridge
_:result destination Stevenage
_:result id TR6692
_:result leave_at 19:21
_:result ticket 12.80 pounds
_:search food italian
_:search pricerange expensive
_:result area centre
_:result name caffe uno
_:result type Restaurant
_:search day tuesday
_:booking people ?
_:search people three
_:system canthelp _:booking/e01e92e7
_:booking/e01e92e7 duration 22:00
_:booking/e01e92e7 name Caffe Uno
_:booking/e01e92e7 type Booking
_:booking duration ?
_:search duration 14:45
_:search type Restaurant
_:system inquired _:user
_:booking ref MRKAMZJM
_:booking type Booking