inform((_:search,day,'monday');(_:search,leave_at,'08:45');(_:search,type,'Train'))
user
Please find me a train that leaves on Monday after 08:45
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Where are you going or coming from ?
inform((_:search,departure,'cambridge');(_:search,destination,'ely');(_:search,type,'Train'))
user
I will be leaving Cambridge and heading to Ely .
request((_:search,arrive_by,?);(_:search,type,'Train'))
system
Is there a certain time you need to arrive by ?
inform((_:search,leave_at,'08:45');(_:search,type,'Train'))
user
I just need to leave after 08:45
inform((_:result,day,'Monday');(_:result,departure,'Cambridge');(_:result,id,'TR8399');(_:result,leave_at,'09:50');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR8399 leaves from Cambridge on   Monday at 09:50 . Shall I book that for you ?
inform((_:search,people,'2');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
yes , for 2 people . Please give me the reference number .
reqmore() inform((_:booking,category,'Train');(_:booking,people,'2');(_:booking,ref,'90RLYZKX');(_:booking,ticket,'8.8 GBP');(_:booking,type,'Booking'))
system
You have 2 seats reserved , and you 'll pay 8.8 GBP at the station . Your reference number is 90RLYZKX . Can I help you with anything else ?
inform((_:search,area,'centre');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
I am   looking for a restaurant . The restaurant should be in the centre and should be in the moderate price range .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,area,'centre');(_:result,count,'21');(_:result,type,'Restaurant'))
system
There are 21 restaurants in the centre . Do you have a certain type of food you 'd prefer ?
inform((_:search,food,'dontcare');(_:search,type,'Restaurant'))
user
I do n't have a food preference .
inform((_:result,food,'British');(_:result,type,'Restaurant'))
system
Would you like British food ?
request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
Sure , that works for me . I need the phone number , postcode , and address for the restaurant .
inform((_:result,address,'183 East Road City Centre');(_:result,food,'british');(_:result,name,'Cotto');(_:result,type,'Restaurant')) reqmore() inform((_:result,phone,'01223302010');(_:result,postcode,'cb11bg');(_:result,type,'Restaurant'))
system
Cotto is a great british restaurant located on 183 East Road City Centre . Their postcode is cb11bg and phone number is 01223302010 . Is there anything else you need ?
thank()
user
Oh that 's great . That would be all , thank you .
system
Thank you for using our service today .
_:search day monday
_:search leave_at 08:45
_:search type Train
_:search day monday
_:search leave_at 08:45
_:search departure cambridge
_:search destination ely
_:search type Train
_:search day monday
_:search departure cambridge
_:search destination ely
_:search arrive_by ?
_:search leave_at 08:45
_:search type Train
_:search day monday
_:search departure cambridge
_:search destination ely
_:search arrive_by ?
_:search leave_at 08:45
_:result day Monday
_:result departure Cambridge
_:result id TR8399
_:result leave_at 09:50
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 2
_:search type Train
_:result ref ?
_:search day monday
_:search departure cambridge
_:search destination ely
_:search arrive_by ?
_:search leave_at 08:45
_:result day Monday
_:result departure Cambridge
_:result id TR8399
_:result leave_at 09:50
_:result type Train
_:system offered _:booking
_:search people 2
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking people 2
_:booking ref 90RLYZKX
_:booking ticket 8.8 GBP
_:booking type Booking
_:search area centre
_:search pricerange moderate
_:search type Restaurant
_:search day monday
_:search departure cambridge
_:search destination ely
_:search arrive_by ?
_:search leave_at 08:45
_:result day Monday
_:result departure Cambridge
_:result id TR8399
_:result leave_at 09:50
_:system offered _:booking
_:search people 2
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking people 2
_:booking ref 90RLYZKX
_:booking ticket 8.8 GBP
_:booking type Booking
_:search area centre
_:search pricerange moderate
_:result area centre
_:result count 21
_:result type Restaurant
_:search food dontcare
_:search type Restaurant
_:search day monday
_:search departure cambridge
_:search destination ely
_:search arrive_by ?
_:search leave_at 08:45
_:result day Monday
_:result departure Cambridge
_:result id TR8399
_:result leave_at 09:50
_:system offered _:booking
_:search people 2
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking people 2
_:booking ref 90RLYZKX
_:booking ticket 8.8 GBP
_:booking type Booking
_:search area centre
_:search pricerange moderate
_:result area centre
_:result count 21
_:search food dontcare
_:search type Restaurant
_:result food British
_:result type Restaurant
_:result address ?
_:result phone ?
_:result postcode ?
_:search day monday
_:search departure cambridge
_:search destination ely
_:search arrive_by ?
_:search leave_at 08:45
_:result day Monday
_:result departure Cambridge
_:result id TR8399
_:result leave_at 09:50
_:system offered _:booking
_:search people 2
_:result ref ?
_:booking category Train
_:booking people 2
_:booking ref 90RLYZKX
_:booking ticket 8.8 GBP
_:booking type Booking
_:search area centre
_:search pricerange moderate
_:result area centre
_:result count 21
_:search food dontcare
_:search type Restaurant
_:result address 183 East Road City Centre
_:result food british
_:result name Cotto
_:system inquired _:user
_:result phone 01223302010
_:result postcode cb11bg
_:result type Restaurant