inform((_:search,area,'centre');(_:search,pricerange,'moderate');(_:search,type,'Restaurant')) request((_:result,ticket,?);(_:result,type,'Train'))
user
Need a restaurant that is moderate priced and in the centre .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'quite a few');(_:result,area,'centre');(_:result,pricerange,'moderately priced');(_:result,type,'Restaurant'))
system
There are quite a few moderately priced restaurants in the centre . Can you help me by telling me what kind of food you 're looking for ?
inform((_:search,food,'polish');(_:search,type,'Restaurant'))
user
I am looking for a restaurant that serves Polish food ,
offer((_:booking,type,'Booking')) inform((_:result,food,'Polish');(_:result,name,'Barbakan');(_:result,type,'Restaurant'))
system
There is a lovely Polish restaurant called Barbakan , would you like me to make you a reservation ?
inform((_:search,people,'4');(_:search,type,'Restaurant'))
user
Yes , that sounds great ! Could you make the reservation for 4 please ?
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,area,'centre');(_:search,food,'polish');(_:search,pricerange,'moderatly priced');(_:search,type,'Restaurant'))
system
I 'm sorry , I must have made a mistake .   There is no moderatly priced polish restaurant in the centre .   Would you be interested in another type of food ?
inform((_:search,food,'british');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
How about a place with British food ? May as well get the full Cambridge experience ! I 'd like the address with postcode and phone number . Please do n't reserve a table just yet .
select((_:result,name,'Copper Kettle');(_:result,name,'Oak Bistro');(_:result,name,'Restaurant One Seven');(_:result,name,'and Cotto');(_:result,type,'Restaurant')) inform((_:result,count,'4');(_:result,type,'Restaurant'))
system
There are 4 to choose from , The Oak Bistro , The Copper Kettle , Restaurant One Seven , and Cotto . Do you have a preference ?
inform((_:search,name,'Copper Kettle');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,type,'Restaurant'))
user
Lets go with the Copper Kettle .   I 'd like their address as well .
offer((_:booking,type,'Booking')) inform((_:result,address,'4 Kings Parade City Centre');(_:result,name,'Copper Kettle');(_:result,phone,'01223365068');(_:result,postcode,'cb21sj');(_:result,type,'Restaurant'))
system
Sure thing ! The Copper Kettle is located at 4 Kings Parade City Centre . Their postcode is cb21sj . You can reach them at 01223365068 . Would you be needing a reservation after all ?
inform((_:search,arrive_by,'19:15');(_:search,day,'tuesday');(_:search,departure,'norwich');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
yes and i m also looking   for a train from norwich on tuesday going to cambridge arriving by 19:15
offer((_:booking,arrive_by,'18:35');(_:booking,category,'Train');(_:booking,day,'tuesday');(_:booking,departure,'norwich');(_:booking,destination,'cambridge');(_:booking,leave_at,'17:16');(_:booking,type,'Booking'))
system
I have a train from norwich to cambridge on tuesday that will leave at 17:16 and arrive by 18:35 . Will this work for you ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
Yes that will work what is the price of the ticket ?
inform((_:result,ticket,'17.60 pounds');(_:result,type,'Train'))
system
It 'll be 17.60 pounds .
thank()
user
Thanks , that 's all I need . Have a nice day .
system
You 're welcome , have a nice day , too .
_:search area centre
_:search pricerange moderate
_:search type Restaurant
_:result ticket ?
_:result type Train
_:search area centre
_:search pricerange moderate
_:result ticket ?
_:result amount quite a few
_:result area centre
_:result pricerange moderately priced
_:result type Restaurant
_:search food polish
_:search type Restaurant
_:search area centre
_:search pricerange moderate
_:result ticket ?
_:result amount quite a few
_:result area centre
_:result pricerange moderately priced
_:search food polish
_:system offered _:booking
_:booking type Booking
_:result food Polish
_:result name Barbakan
_:result type Restaurant
_:search people 4
_:search type Restaurant
_:search area centre
_:search pricerange moderate
_:result ticket ?
_:result amount quite a few
_:result area centre
_:result pricerange moderately priced
_:system offered _:booking
_:booking type Booking
_:result food Polish
_:result name Barbakan
_:result type Restaurant
_:search people 4
_:system canthelp _:search/e72f76c0
_:search/e72f76c0 area centre
_:search/e72f76c0 food polish
_:search/e72f76c0 pricerange moderatly priced
_:search/e72f76c0 type Restaurant
_:search food british
_:search type Restaurant
_:result address ?
_:result phone ?
_:result postcode ?
_:search area centre
_:search pricerange moderate
_:result ticket ?
_:result amount quite a few
_:result area centre
_:result pricerange moderately priced
_:system offered _:booking
_:booking type Booking
_:result food Polish
_:search people 4
_:system canthelp _:search/e72f76c0
_:search/e72f76c0 area centre
_:search/e72f76c0 food polish
_:search/e72f76c0 pricerange moderatly priced
_:search/e72f76c0 type Restaurant
_:search food british
_:result address ?
_:result phone ?
_:result postcode ?
_:result name Copper Kettle
_:result name Oak Bistro
_:result name Restaurant One Seven
_:result name and Cotto
_:result count 4
_:result type Restaurant
_:search name Copper Kettle
_:search type Restaurant
_:search area centre
_:search pricerange moderate
_:result ticket ?
_:result amount quite a few
_:result area centre
_:result pricerange moderately priced
_:system offered _:booking
_:booking type Booking
_:result food Polish
_:search people 4
_:system canthelp _:search/e72f76c0
_:search/e72f76c0 area centre
_:search/e72f76c0 food polish
_:search/e72f76c0 pricerange moderatly priced
_:search/e72f76c0 type Restaurant
_:search food british
_:result count 4
_:search name Copper Kettle
_:result address 4 Kings Parade City Centre
_:result name Copper Kettle
_:result phone 01223365068
_:result postcode cb21sj
_:result type Restaurant
_:search arrive_by 19:15
_:search day tuesday
_:search departure norwich
_:search destination cambridge
_:search type Train
_:search area centre
_:search pricerange moderate
_:result ticket ?
_:result amount quite a few
_:result area centre
_:result pricerange moderately priced
_:system offered _:booking
_:booking type Booking
_:result food Polish
_:search people 4
_:system canthelp _:search/e72f76c0
_:search/e72f76c0 area centre
_:search/e72f76c0 food polish
_:search/e72f76c0 pricerange moderatly priced
_:search/e72f76c0 type Restaurant
_:search food british
_:result count 4
_:search name Copper Kettle
_:result address 4 Kings Parade City Centre
_:result name Copper Kettle
_:result phone 01223365068
_:result postcode cb21sj
_:result type Restaurant
_:search arrive_by 19:15
_:search day tuesday
_:search departure norwich
_:search destination cambridge
_:search type Train
_:booking arrive_by 18:35
_:booking category Train
_:booking day tuesday
_:booking departure norwich
_:booking destination cambridge
_:booking leave_at 17:16
_:result type Train
_:search area centre
_:search pricerange moderate
_:result amount quite a few
_:result area centre
_:result pricerange moderately priced
_:system offered _:booking
_:booking type Booking
_:result food Polish
_:search people 4
_:system canthelp _:search/e72f76c0
_:search/e72f76c0 area centre
_:search/e72f76c0 food polish
_:search/e72f76c0 pricerange moderatly priced
_:search/e72f76c0 type Restaurant
_:search food british
_:result count 4
_:search name Copper Kettle
_:result address 4 Kings Parade City Centre
_:result name Copper Kettle
_:result phone 01223365068
_:result postcode cb21sj
_:search arrive_by 19:15
_:search day tuesday
_:search departure norwich
_:search destination cambridge
_:search type Train
_:booking arrive_by 18:35
_:booking category Train
_:booking day tuesday
_:booking departure norwich
_:booking destination cambridge
_:booking leave_at 17:16
_:result ticket 17.60 pounds
_:result type Train