inform((_:search,food,'catalan');(_:search,type,'Restaurant'))
user
Hello , I 'm look for information about restaurants in Cambridge . I would like them to be fine dining and serve Catalan food .
canthelp((_:search,area,'Cambridge');(_:search,food,'Catalan');(_:search,pricerange,'fine');(_:search,type,'Restaurant'))
system
I 'm sorry but there are n't any fine Catalan restaurants in Cambridge .
inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant')) request((_:result,ticket,?);(_:result,type,'Train'))
user
There 's nothing in the city centre ? Nothing in the expensive price range ?
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,food,'catalanan');(_:search,type,'Restaurant')) inform((_:result,area,'centre');(_:result,count,'33');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There are 33 expensive establishment in the centre , none of which are catalanan , do you want me to lookup another restaurant type ?
inform((_:search,food,'british');(_:search,type,'Restaurant'))
user
Yes , are there any that serve British food ?
offer((_:booking,type,'Booking')) inform((_:result,count,'3');(_:result,name,'Cambridge Chop House');(_:result,name,'Fitzbillies Restaurant');(_:result,name,'Misdummer House Restaurant');(_:result,type,'Restaurant'))
system
There are 3 that fit your new criteria : Fitzbillies Restaurant , the Cambridge Chop House , and Misdummer House Restaurant . Would you like a reservation at one of these ?
inform((_:search,day,'monday');(_:search,duration,'11:45');(_:search,name,'Cambridge Chop House');(_:search,people,'3');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Yes I 'd like to make a reservation for 3 people on Monday at 11:45 at the Cambridge Chop House . Could I get the reference number for that as well ?
reqmore() inform((_:booking,ref,'B7I50S2K');(_:booking,type,'Booking'))
system
Your reservation is all set . The reference number is B7I50S2K . Can I help you with anything else ?
inform((_:search,arrive_by,'12:00');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I need information about a train . I need one that leaves cambridge and arrives by 12:00
request((_:search,destination,?);(_:search,type,'Train'))
system
What is your destination ?
inform((_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I am going to London Kings Cross .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
What time would you like to leave ?
inform((_:search,arrive_by,'12:00');(_:search,day,'tuesday');(_:search,type,'Train'))
user
I just need to arrive by 12:00 on Tuesday . Anything for that time frame ?
inform((_:result,arrive_by,'05:51');(_:result,departure,'Cambridge');(_:result,destination,'Kings Cross');(_:result,destination,'London');(_:result,id,'TR9536');(_:result,leave_at,'05:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR9536 leaves Cambridge at 05:00 and arrives in London , Kings Cross at 05:51 . Will that suffice or would you like to book something later in the day ?
user
Is there anything that leaves a bit later ?
inform((_:result,leave_at,'11:00');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
What time would you prefer to leave by , the latest I have in 11:00 .
inform((_:search,type,'Train')) request((_:result,duration,?);(_:result,ticket,?);(_:result,type,'Train'))
user
That would be good , what is the travel time and price ?
inform((_:result,duration,'51 minutes');(_:result,ticket,'23.60 pounds');(_:result,type,'Train'))
system
The cost would be 23.60 pounds , and the trip takes 51 minutes .
thank()
user
Thanks . That 's all I need .
system
ok , perfect , enjoy !
_:search food catalan
_:search type Restaurant
_:search food catalan
_:system canthelp _:search/f4fea13b
_:search/f4fea13b area Cambridge
_:search/f4fea13b food Catalan
_:search/f4fea13b pricerange fine
_:search/f4fea13b type Restaurant
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:result ticket ?
_:result type Train
_:system canthelp _:search/f4fea13b
_:search/f4fea13b area Cambridge
_:search/f4fea13b food Catalan
_:search/f4fea13b pricerange fine
_:search/f4fea13b type Restaurant
_:search area centre
_:search pricerange expensive
_:result ticket ?
_:system canthelp _:search/ae97db64
_:search/ae97db64 food catalanan
_:search/ae97db64 type Restaurant
_:result area centre
_:result count 33
_:result pricerange expensive
_:result type Restaurant
_:search food british
_:search type Restaurant
_:system canthelp _:search/f4fea13b
_:search/f4fea13b area Cambridge
_:search/f4fea13b food Catalan
_:search/f4fea13b pricerange fine
_:search/f4fea13b type Restaurant
_:search area centre
_:search pricerange expensive
_:result ticket ?
_:system canthelp _:search/ae97db64
_:search/ae97db64 food catalanan
_:search/ae97db64 type Restaurant
_:result area centre
_:result pricerange expensive
_:search food british
_:system offered _:booking
_:booking type Booking
_:result count 3
_:result name Cambridge Chop House
_:result name Fitzbillies Restaurant
_:result name Misdummer House Restaurant
_:result type Restaurant
_:search day monday
_:search duration 11:45
_:search name Cambridge Chop House
_:search people 3
_:search type Restaurant
_:result ref ?
_:system canthelp _:search/f4fea13b
_:search/f4fea13b area Cambridge
_:search/f4fea13b food Catalan
_:search/f4fea13b pricerange fine
_:search/f4fea13b type Restaurant
_:search area centre
_:search pricerange expensive
_:result ticket ?
_:system canthelp _:search/ae97db64
_:search/ae97db64 food catalanan
_:search/ae97db64 type Restaurant
_:result area centre
_:result pricerange expensive
_:search food british
_:system offered _:booking
_:result count 3
_:result name Cambridge Chop House
_:result name Fitzbillies Restaurant
_:result name Misdummer House Restaurant
_:result type Restaurant
_:search day monday
_:search duration 11:45
_:search name Cambridge Chop House
_:search people 3
_:result ref ?
_:system inquired _:user
_:booking ref B7I50S2K
_:booking type Booking
_:search arrive_by 12:00
_:search departure cambridge
_:search type Train
_:system canthelp _:search/f4fea13b
_:search/f4fea13b area Cambridge
_:search/f4fea13b food Catalan
_:search/f4fea13b pricerange fine
_:search/f4fea13b type Restaurant
_:search area centre
_:search pricerange expensive
_:result ticket ?
_:system canthelp _:search/ae97db64
_:search/ae97db64 food catalanan
_:search/ae97db64 type Restaurant
_:result area centre
_:result pricerange expensive
_:search food british
_:system offered _:booking
_:result count 3
_:result name Cambridge Chop House
_:result name Fitzbillies Restaurant
_:result name Misdummer House Restaurant
_:result type Restaurant
_:search day monday
_:search duration 11:45
_:search name Cambridge Chop House
_:search people 3
_:result ref ?
_:system inquired _:user
_:booking ref B7I50S2K
_:booking type Booking
_:search arrive_by 12:00
_:search departure cambridge
_:search destination london kings cross
_:search type Train
_:system canthelp _:search/f4fea13b
_:search/f4fea13b area Cambridge
_:search/f4fea13b food Catalan
_:search/f4fea13b pricerange fine
_:search/f4fea13b type Restaurant
_:search area centre
_:search pricerange expensive
_:result ticket ?
_:system canthelp _:search/ae97db64
_:search/ae97db64 food catalanan
_:search/ae97db64 type Restaurant
_:result area centre
_:result pricerange expensive
_:search food british
_:system offered _:booking
_:result count 3
_:result name Cambridge Chop House
_:result name Fitzbillies Restaurant
_:result name Misdummer House Restaurant
_:result type Restaurant
_:search duration 11:45
_:search name Cambridge Chop House
_:search people 3
_:result ref ?
_:system inquired _:user
_:booking ref B7I50S2K
_:booking type Booking
_:search departure cambridge
_:search destination london kings cross
_:search leave_at ?
_:search arrive_by 12:00
_:search day tuesday
_:search type Train
_:system canthelp _:search/f4fea13b
_:search/f4fea13b area Cambridge
_:search/f4fea13b food Catalan
_:search/f4fea13b pricerange fine
_:search/f4fea13b type Restaurant
_:search area centre
_:search pricerange expensive
_:result ticket ?
_:system canthelp _:search/ae97db64
_:search/ae97db64 food catalanan
_:search/ae97db64 type Restaurant
_:result area centre
_:result pricerange expensive
_:search food british
_:system offered _:booking
_:result count 3
_:result name Cambridge Chop House
_:result name Fitzbillies Restaurant
_:result name Misdummer House Restaurant
_:search duration 11:45
_:search name Cambridge Chop House
_:search people 3
_:result ref ?
_:system inquired _:user
_:booking ref B7I50S2K
_:booking type Booking
_:search departure cambridge
_:search destination london kings cross
_:search leave_at ?
_:search arrive_by 12:00
_:search day tuesday
_:search type Train
_:result arrive_by 05:51
_:result departure Cambridge
_:result destination Kings Cross
_:result destination London
_:result id TR9536
_:result leave_at 05:00
_:result type Train
_:booking category Train
_:system canthelp _:search/f4fea13b
_:search/f4fea13b area Cambridge
_:search/f4fea13b food Catalan
_:search/f4fea13b pricerange fine
_:search/f4fea13b type Restaurant
_:search area centre
_:search pricerange expensive
_:result ticket ?
_:system canthelp _:search/ae97db64
_:search/ae97db64 food catalanan
_:search/ae97db64 type Restaurant
_:result area centre
_:result pricerange expensive
_:search food british
_:system offered _:booking
_:result count 3
_:result name Cambridge Chop House
_:result name Fitzbillies Restaurant
_:result name Misdummer House Restaurant
_:search duration 11:45
_:search name Cambridge Chop House
_:search people 3
_:result ref ?
_:system inquired _:user
_:booking ref B7I50S2K
_:booking type Booking
_:search departure cambridge
_:search destination london kings cross
_:search arrive_by 12:00
_:search day tuesday
_:result arrive_by 05:51
_:result departure Cambridge
_:result destination Kings Cross
_:result destination London
_:result id TR9536
_:booking category Train
_:result leave_at 11:00
_:result type Train
_:search leave_at ?
_:search type Train
_:result duration ?
_:system canthelp _:search/f4fea13b
_:search/f4fea13b area Cambridge
_:search/f4fea13b food Catalan
_:search/f4fea13b pricerange fine
_:search/f4fea13b type Restaurant
_:search area centre
_:search pricerange expensive
_:system canthelp _:search/ae97db64
_:search/ae97db64 food catalanan
_:search/ae97db64 type Restaurant
_:result area centre
_:result pricerange expensive
_:search food british
_:system offered _:booking
_:result count 3
_:result name Cambridge Chop House
_:result name Fitzbillies Restaurant
_:result name Misdummer House Restaurant
_:search duration 11:45
_:search name Cambridge Chop House
_:search people 3
_:result ref ?
_:system inquired _:user
_:booking ref B7I50S2K
_:booking type Booking
_:search departure cambridge
_:search destination london kings cross
_:search arrive_by 12:00
_:search day tuesday
_:result arrive_by 05:51
_:result departure Cambridge
_:result destination Kings Cross
_:result destination London
_:result id TR9536
_:booking category Train
_:result leave_at 11:00
_:search leave_at ?
_:search type Train
_:result duration 51 minutes
_:result ticket 23.60 pounds
_:result type Train