inform((_:search,name,'cotto');(_:search,type,'Restaurant'))
user
Can you help me find a restaurant called " Cotto " ?
inform((_:result,address,'183 East Road City');(_:result,name,'Cotto');(_:result,type,'Restaurant'))
system
Yes . Cotto is located at 183 East Road City . Would you like the phone number ?
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
Yes , and also the postcode .
inform((_:result,phone,'01223302010');(_:result,postcode,'cb11bg');(_:result,type,'Restaurant'))
system
Phone number is 01223302010 . Postcode is cb11bg .
inform((_:search,day,'wednesday');(_:search,leave_at,'20:15');(_:search,type,'Train'))
user
Thanks , I also need a train that leaves after 20:15 on Wednesday .
inform((_:result,count,'546');(_:result,leave_at,'20:15');(_:result,type,'Train')) request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
There are 546 trains leaving after 20:15 . Where would you like to leave from and where do you want to go ?
inform((_:search,departure,'cambridge');(_:search,destination,'ely');(_:search,type,'Train'))
user
I am leaving from cambridge and heading to ely .
inform((_:result,arrive_by,'22:07');(_:result,id,'TR8533');(_:result,leave_at,'21:50');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Train ID TR8533 is available to leave at 21:50 and arrive by 22:07 .   Would you like to book this now ?
thank()
user
Yes , please .   Thank you .
offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Before I book , I just want to confirm you only need one ticket ?
user
Yes , that 's right . It 's just for me .
inform((_:booking,category,'Train');(_:booking,ref,'824HFY0Q');(_:booking,type,'Booking'))
system
It 's all booked , reference is 824HFY0Q
thank()
user
Great that 's all I need , thank you .
system
Thank you . Have a great day . Goodbye
_:search name cotto
_:search type Restaurant
_:search name cotto
_:search type Restaurant
_:result address 183 East Road City
_:result name Cotto
_:result type Restaurant
_:result postcode ?
_:search name cotto
_:result address 183 East Road City
_:result name Cotto
_:result phone 01223302010
_:result postcode cb11bg
_:result type Restaurant
_:search day wednesday
_:search leave_at 20:15
_:search type Train
_:search name cotto
_:result address 183 East Road City
_:result name Cotto
_:result phone 01223302010
_:result postcode cb11bg
_:search day wednesday
_:search leave_at 20:15
_:result count 546
_:result leave_at 20:15
_:result type Train
_:search departure cambridge
_:search destination ely
_:search type Train
_:search name cotto
_:result address 183 East Road City
_:result name Cotto
_:result phone 01223302010
_:result postcode cb11bg
_:search day wednesday
_:search leave_at 20:15
_:result count 546
_:search departure cambridge
_:search destination ely
_:search type Train
_:result arrive_by 22:07
_:result id TR8533
_:result leave_at 21:50
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search name cotto
_:result address 183 East Road City
_:result name Cotto
_:result phone 01223302010
_:result postcode cb11bg
_:search day wednesday
_:search leave_at 20:15
_:result count 546
_:search departure cambridge
_:search destination ely
_:search type Train
_:result arrive_by 22:07
_:result id TR8533
_:result leave_at 21:50
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search name cotto
_:result address 183 East Road City
_:result name Cotto
_:result phone 01223302010
_:result postcode cb11bg
_:search day wednesday
_:search leave_at 20:15
_:result count 546
_:search departure cambridge
_:search destination ely
_:search type Train
_:result arrive_by 22:07
_:result id TR8533
_:result leave_at 21:50
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking ref 824HFY0Q
_:booking type Booking