inform((_:search,type,'Restaurant'))
user
I am traveling to Cambridge and looking forward to try local restaurants .
request((_:search,food,?);(_:search,type,'Restaurant')) thank()
system
Glad to hear you 're coming for a visit ! What type of food do you like ? I can help you find a great one .
inform((_:search,day,'sunday');(_:search,destination,'kings lynn');(_:search,type,'Train'))
user
I would like to find a train first . I need one on Sunday going to kings lynn .
thank() request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
I would be happy to assist you .   Let 's clarify your departure and destination points . Are you travelling from Cambridge to Kings Lynn ?
inform((_:search,arrive_by,'13:00');(_:search,departure,'cambridge');(_:search,destination,'Kings Lynn');(_:search,type,'Train'))
user
Yes , that 's correct . I need to arrive in Kings Lynn by 13:00 .
inform((_:result,day,'sunday');(_:result,departure,'cambridge');(_:result,destination,'kings lynn');(_:result,id,'TR5507');(_:result,leave_at,'12:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR5507 leaves cambridge for kings lynn on sunday at 12:11 . Would that work for you ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
Yes , that should work . Could you give me the price ?
inform((_:result,ticket,'7.84 pounds');(_:result,type,'Train'))
system
The cost is 7.84 pounds .
inform((_:search,area,'center');(_:search,food,'mediterranean');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Thanks ! Can you also tell me if there are any expensive Mediterranean restaurants in the center of town ?
select((_:result,name,'La Mimosa');(_:result,name,'Shiraz Restaurant');(_:result,type,'Restaurant')) inform((_:result,area,'centre');(_:result,count,'2');(_:result,food,'Mediterranean');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
I see two Expensive Mediterranean Restaurants in the town centre .   La Mimosa and Shiraz Restaurant , do you have a preference ?
inform((_:search,name,'la mimosa');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
La Mimosa and can you book it for me and get a reference number ?
offer((_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,people,?);(_:booking,type,'Booking'))
system
Yes I can book it for you . How many people will be dining and what time and day ?
request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
I 'm sorry , I do n't need it booked anymore . I just need the address , postcode , and phone number please .
system
The address is Thompsons Lane Fen Ditton with a phone number of 01223362525 . The postcode is cb58aq .
_:search type Restaurant
_:search food ?
_:search day sunday
_:search destination kings lynn
_:search type Train
_:search food ?
_:search day sunday
_:search arrive_by 13:00
_:search departure cambridge
_:search destination Kings Lynn
_:search type Train
_:search food ?
_:search day sunday
_:search arrive_by 13:00
_:search departure cambridge
_:search destination Kings Lynn
_:search type Train
_:result day sunday
_:result departure cambridge
_:result destination kings lynn
_:result id TR5507
_:result leave_at 12:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket ?
_:search day sunday
_:search arrive_by 13:00
_:search departure cambridge
_:search destination Kings Lynn
_:result day sunday
_:result departure cambridge
_:result destination kings lynn
_:result id TR5507
_:result leave_at 12:11
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket 7.84 pounds
_:result type Train
_:search area center
_:search food mediterranean
_:search pricerange expensive
_:search type Restaurant
_:search day sunday
_:search arrive_by 13:00
_:search departure cambridge
_:search destination Kings Lynn
_:result day sunday
_:result departure cambridge
_:result destination kings lynn
_:result id TR5507
_:result leave_at 12:11
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket 7.84 pounds
_:search area center
_:search food mediterranean
_:search pricerange expensive
_:result name La Mimosa
_:result name Shiraz Restaurant
_:result area centre
_:result count 2
_:result food Mediterranean
_:result pricerange expensive
_:result type Restaurant
_:search name la mimosa
_:search type Restaurant
_:result ref ?
_:search day sunday
_:search arrive_by 13:00
_:search departure cambridge
_:search destination Kings Lynn
_:result day sunday
_:result departure cambridge
_:result destination kings lynn
_:result id TR5507
_:result leave_at 12:11
_:system offered _:booking
_:booking category Train
_:result ticket 7.84 pounds
_:search area center
_:search food mediterranean
_:search pricerange expensive
_:result name La Mimosa
_:result name Shiraz Restaurant
_:result area centre
_:result count 2
_:result food Mediterranean
_:result pricerange expensive
_:result type Restaurant
_:search name la mimosa
_:search type Restaurant
_:result ref ?
_:booking day ?
_:booking duration ?
_:booking people ?
_:booking type Booking
_:result address ?
_:result phone ?
_:result postcode ?