inform((_:search,name,'cocum');(_:search,type,'Restaurant'))
user
Is there a restaurant called Cocum ?
offer((_:booking,type,'Booking')) inform((_:result,area,'west');(_:result,food,'indian');(_:result,type,'Restaurant'))
system
Yes , it is an indian restaurant in the west . Would you like to book a reservation ?
inform((_:search,day,'monday');(_:search,duration,'18:00');(_:search,people,'7');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Yes , I would like to book a table for 7 people at 18:00 on Monday . Can you please be sure to give me the reference number ?
reqmore() inform((_:booking,ref,'TOD8XYZB');(_:booking,type,'Booking'))
system
Your booking is successful .   The reference number is TOD8XYZB .   Is there anything else I can help you with ?
inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
I also need to find a train departing from Cambridge .
inform((_:result,amount,'multiple');(_:result,departure,'Cambridge');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
I have multiple trains leaving from Cambridge . What would you like the destination to be so I can narrow it down ?
inform((_:search,day,'tuesday');(_:search,destination,'leicester');(_:search,type,'Train'))
user
We would like to go to leicester on tuesday .
thank() request((_:search,leave_at,?);(_:search,type,'Train'))
system
Of course . What time would you like to travel ?
inform((_:search,leave_at,'11:45');(_:search,type,'Train'))
user
We would need the train to leaver after 11:45 .
inform((_:result,arrive_by,'14:06');(_:result,id,'TR7692');(_:result,leave_at,'12:21');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have train TR7692 leaving at 12:21 and arriving at 14:06 . Would that be something that would work for you ?
inform((_:search,people,'seven');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes , please book for seven and I would like a reference number , please .
inform((_:booking,category,'Train');(_:booking,ref,'HC7OJ4LI');(_:booking,ticket,'264.59 GBP');(_:booking,type,'Booking'))
system
You 're all booked .   The total fee is 264.59 GBP and your reference number is HC7OJ4LI
thank()
user
Thank you that was all
system
You 're welcome , have a lovely trip !
_:search name cocum
_:search type Restaurant
_:search name cocum
_:system offered _:booking
_:booking type Booking
_:result area west
_:result food indian
_:result type Restaurant
_:search day monday
_:search duration 18:00
_:search people 7
_:search type Restaurant
_:result ref ?
_:search name cocum
_:system offered _:booking
_:result area west
_:result food indian
_:result type Restaurant
_:search day monday
_:search duration 18:00
_:search people 7
_:result ref ?
_:system inquired _:user
_:booking ref TOD8XYZB
_:booking type Booking
_:search departure cambridge
_:search type Train
_:search name cocum
_:system offered _:booking
_:result area west
_:result food indian
_:search duration 18:00
_:search people 7
_:result ref ?
_:system inquired _:user
_:booking ref TOD8XYZB
_:booking type Booking
_:search departure cambridge
_:result amount multiple
_:result departure Cambridge
_:result type Train
_:search day tuesday
_:search destination leicester
_:search type Train
_:search name cocum
_:system offered _:booking
_:result area west
_:result food indian
_:search duration 18:00
_:search people 7
_:result ref ?
_:system inquired _:user
_:booking ref TOD8XYZB
_:booking type Booking
_:search departure cambridge
_:result amount multiple
_:result departure Cambridge
_:result type Train
_:search day tuesday
_:search destination leicester
_:search leave_at 11:45
_:search type Train
_:search name cocum
_:system offered _:booking
_:result area west
_:result food indian
_:search duration 18:00
_:result ref ?
_:system inquired _:user
_:booking ref TOD8XYZB
_:booking type Booking
_:search departure cambridge
_:result amount multiple
_:result departure Cambridge
_:search day tuesday
_:search destination leicester
_:search leave_at 11:45
_:result arrive_by 14:06
_:result id TR7692
_:result leave_at 12:21
_:result type Train
_:booking category Train
_:search people seven
_:search type Train
_:search name cocum
_:system offered _:booking
_:result area west
_:result food indian
_:search duration 18:00
_:result ref ?
_:system inquired _:user
_:search departure cambridge
_:result amount multiple
_:result departure Cambridge
_:search day tuesday
_:search destination leicester
_:search leave_at 11:45
_:result arrive_by 14:06
_:result id TR7692
_:result leave_at 12:21
_:result type Train
_:search people seven
_:search type Train
_:booking category Train
_:booking ref HC7OJ4LI
_:booking ticket 264.59 GBP
_:booking type Booking