inform((_:search,type,'Restaurant'))
user
Hello , can you help me find a restaurant for my upcoming trip to Cambridge ?
request((_:search,food,?);(_:search,type,'Restaurant')) thank()
system
Absolutely ! What type of food are you looking for ?
inform((_:search,area,'south');(_:search,food,'dontcare');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
I do not care . Just something in the south , moderate range in price .
select((_:result,name,'Pizza Hut Cherry Hinton');(_:result,name,'Restaurant Alimentum');(_:result,type,'Restaurant')) inform((_:result,count,'2');(_:result,food,'modern European');(_:result,type,'Restaurant'))
system
There are two options that match what you 're looking for .   Pizza Hut Cherry Hinton and Restaurant Alimentum , which is modern European cuisine .   Does either sound good ?
inform((_:search,name,'restaurant alimentum');(_:search,type,'Restaurant'))
user
i want to reserve a table at   Restaurant Alimentum
request((_:booking,day,?);(_:booking,people,?);(_:booking,type,'Booking'))
system
what day and how many people ?
inform((_:search,day,'monday');(_:search,duration,'17:30');(_:search,people,'3');(_:search,type,'Restaurant'))
user
I would need it for 3 people for 17:30 on monday .
reqmore() inform((_:booking,ref,'7HRLWXYB');(_:booking,type,'Booking'))
system
I have booked that for you and your reference number is 7HRLWXYB .   Is there anything else I can help with ?
inform((_:search,day,'tuesday');(_:search,departure,'cambridge');(_:search,destination,'kings lynn');(_:search,leave_at,'20:00');(_:search,people,'3');(_:search,type,'Train'))
user
Thanks !   I need to travel to Kings Lynn from Cambridge for 3 people .   I need to travel Tuesday night , sometime after 20:00 .   I need a reference number please .
inform((_:result,arrive_by,'21:58');(_:result,id,'TR8387');(_:result,leave_at,'21:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking')) request((_:search,arrive_by,?);(_:search,type,'Train'))
system
I would suggest train TR8387 that leaves at 21:11 with arrival at 21:58 .   Would you like me to book this one or do you need a different arrival time ?
inform((_:search,people,'3');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
This is perfect . Please book for 3 people and give me the reference number .
reqmore() inform((_:booking,category,'Train');(_:booking,id,'TR8387');(_:booking,people,'3');(_:booking,ref,'VF2TRXD0');(_:booking,ticket,'29.4 GBP');(_:booking,type,'Booking'))
system
Okay , I 've booked 3 tickets for you on TR8387 . It will cost 29.4 GBP . Your reference number is VF2TRXD0 . Can I do anything else for you today ?
thank()
user
No , that sounds about right . Thanks .
system
Enjoy your visit .
_:search type Restaurant
_:search area south
_:search food dontcare
_:search pricerange moderate
_:search type Restaurant
_:search area south
_:search food dontcare
_:search pricerange moderate
_:result name Pizza Hut Cherry Hinton
_:result name Restaurant Alimentum
_:result count 2
_:result food modern European
_:result type Restaurant
_:search name restaurant alimentum
_:search type Restaurant
_:search area south
_:search food dontcare
_:search pricerange moderate
_:result name Pizza Hut Cherry Hinton
_:result name Restaurant Alimentum
_:result count 2
_:result food modern European
_:result type Restaurant
_:search name restaurant alimentum
_:booking day ?
_:booking people ?
_:booking type Booking
_:search day monday
_:search duration 17:30
_:search people 3
_:search type Restaurant
_:search area south
_:search food dontcare
_:search pricerange moderate
_:result name Pizza Hut Cherry Hinton
_:result name Restaurant Alimentum
_:result count 2
_:result food modern European
_:result type Restaurant
_:search name restaurant alimentum
_:booking day ?
_:booking people ?
_:search duration 17:30
_:system inquired _:user
_:booking ref 7HRLWXYB
_:booking type Booking
_:search day tuesday
_:search departure cambridge
_:search destination kings lynn
_:search leave_at 20:00
_:search people 3
_:search type Train
_:search area south
_:search food dontcare
_:search pricerange moderate
_:result name Pizza Hut Cherry Hinton
_:result name Restaurant Alimentum
_:result count 2
_:result food modern European
_:search name restaurant alimentum
_:booking day ?
_:booking people ?
_:search duration 17:30
_:system inquired _:user
_:booking ref 7HRLWXYB
_:booking type Booking
_:search day tuesday
_:search departure cambridge
_:search destination kings lynn
_:search leave_at 20:00
_:result arrive_by 21:58
_:result id TR8387
_:result leave_at 21:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:search arrive_by ?
_:search people 3
_:search type Train
_:result ref ?
_:search area south
_:search food dontcare
_:search pricerange moderate
_:result name Pizza Hut Cherry Hinton
_:result name Restaurant Alimentum
_:result count 2
_:result food modern European
_:search name restaurant alimentum
_:booking day ?
_:search duration 17:30
_:search day tuesday
_:search departure cambridge
_:search destination kings lynn
_:search leave_at 20:00
_:result arrive_by 21:58
_:result id TR8387
_:result leave_at 21:11
_:result type Train
_:system offered _:booking
_:search arrive_by ?
_:search people 3
_:search type Train
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking id TR8387
_:booking people 3
_:booking ref VF2TRXD0
_:booking ticket 29.4 GBP
_:booking type Booking