inform((_:search,area,'centre');(_:search,food,'swiss');(_:search,type,'Restaurant'))
user
I need a restaurant serving swiss food in the centre of town .
select((_:result,area,'that area');(_:result,type,'Restaurant')) request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,area,'that part of town');(_:search,food,'Swiss');(_:search,type,'Restaurant'))
system
There are no Swiss food serving restaurants in that part of town , is there another type of restaurant in that area I can help you locate ?
inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
How about Chinese instead ?
request((_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,count,'10');(_:result,food,'Chinese');(_:result,type,'Restaurant'))
system
There are 10 restaurants that serve Chinese in this area . Did you have price range ?
inform((_:search,pricerange,'dontcare');(_:search,type,'Restaurant')) request((_:result,address,?);(_:result,ticket,?);(_:result,type,'Restaurant');(_:result,type,'Train'))
user
Price range does n't matter . Can I have the address of a place that sounds good ?
offer((_:booking,type,'Booking')) inform((_:result,address,'12 St. Johns Street , City Centre');(_:result,name,'the ugly duckling');(_:result,postcode,'cb21tw');(_:result,type,'Restaurant'))
system
My personal favorite would have to be the ugly duckling . It is located at 12 St. Johns Street , City Centre , postcode cb21tw . Would you like to book a reservation ?
inform((_:search,day,'wednesday');(_:search,departure,'ely');(_:search,type,'Train'))
user
Yes , I also need a train that departs from Ely on Wednesday .
inform((_:result,departure,'Ely');(_:result,leave_at,'every two hours starting at 05:35');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
There is a train that leaves Ely every two hours starting at 05:35 .   What time would you like to depart ?
inform((_:search,arrive_by,'17:30');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need to arrive in Cambridge by 17:30 , so whatever arrives closest to that time would be great .
inform((_:result,arrive_by,'15:52');(_:result,arrive_by,'17:30');(_:result,day,'Wednesday');(_:result,destination,'Cambridge');(_:result,id,'TR2211');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The train arriving closest to 17:30 in Cambridge Wednesday is TR2211 , which arrives at 15:52 . Would you like to book a seat ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
What is the price ?
inform((_:result,ticket,'4.40 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The price of that will be 4.40 pounds .   Would you like to book a ticket ?
user
Yes please . Can you provide me with the ticket information ?
request((_:search,people,?);(_:search,type,'Train'))
system
How many tickets will you need ?
inform((_:search,people,'1');(_:search,type,'Train'))
user
I just need 1 ticket please .
inform((_:booking,category,'Train');(_:booking,ref,'PZ1ED5GM');(_:booking,type,'Booking'))
system
Your booking was successful , your reference number is PZ1ED5GM .
user
Awesome . That will be everything !
system
Great . Have a great day !
_:search area centre
_:search food swiss
_:search type Restaurant
_:search area centre
_:result area that area
_:result type Restaurant
_:system canthelp _:search/0f3a1cd4
_:search/0f3a1cd4 area that part of town
_:search/0f3a1cd4 food Swiss
_:search/0f3a1cd4 type Restaurant
_:search food chinese
_:search type Restaurant
_:search area centre
_:result area that area
_:system canthelp _:search/0f3a1cd4
_:search/0f3a1cd4 area that part of town
_:search/0f3a1cd4 food Swiss
_:search/0f3a1cd4 type Restaurant
_:search food chinese
_:result count 10
_:result food Chinese
_:result type Restaurant
_:search pricerange dontcare
_:search type Restaurant
_:result address ?
_:result ticket ?
_:result type Train
_:search area centre
_:result area that area
_:system canthelp _:search/0f3a1cd4
_:search/0f3a1cd4 area that part of town
_:search/0f3a1cd4 food Swiss
_:search/0f3a1cd4 type Restaurant
_:search food chinese
_:result count 10
_:result food Chinese
_:search pricerange dontcare
_:result ticket ?
_:system offered _:booking
_:booking type Booking
_:result address 12 St. Johns Street , City Centre
_:result name the ugly duckling
_:result postcode cb21tw
_:result type Restaurant
_:search day wednesday
_:search departure ely
_:search type Train
_:search area centre
_:result area that area
_:system canthelp _:search/0f3a1cd4
_:search/0f3a1cd4 area that part of town
_:search/0f3a1cd4 food Swiss
_:search/0f3a1cd4 type Restaurant
_:search food chinese
_:result count 10
_:result food Chinese
_:search pricerange dontcare
_:result ticket ?
_:system offered _:booking
_:booking type Booking
_:result address 12 St. Johns Street , City Centre
_:result name the ugly duckling
_:result postcode cb21tw
_:search day wednesday
_:search departure ely
_:result departure Ely
_:result leave_at every two hours starting at 05:35
_:result type Train
_:search leave_at ?
_:search arrive_by 17:30
_:search destination cambridge
_:search type Train
_:search area centre
_:result area that area
_:system canthelp _:search/0f3a1cd4
_:search/0f3a1cd4 area that part of town
_:search/0f3a1cd4 food Swiss
_:search/0f3a1cd4 type Restaurant
_:search food chinese
_:result count 10
_:result food Chinese
_:search pricerange dontcare
_:result ticket ?
_:system offered _:booking
_:booking type Booking
_:result address 12 St. Johns Street , City Centre
_:result name the ugly duckling
_:result postcode cb21tw
_:search day wednesday
_:search departure ely
_:result departure Ely
_:result leave_at every two hours starting at 05:35
_:search leave_at ?
_:search arrive_by 17:30
_:search destination cambridge
_:search type Train
_:result arrive_by 15:52
_:result arrive_by 17:30
_:result day Wednesday
_:result destination Cambridge
_:result id TR2211
_:result type Train
_:booking category Train
_:search area centre
_:result area that area
_:system canthelp _:search/0f3a1cd4
_:search/0f3a1cd4 area that part of town
_:search/0f3a1cd4 food Swiss
_:search/0f3a1cd4 type Restaurant
_:search food chinese
_:result count 10
_:result food Chinese
_:search pricerange dontcare
_:system offered _:booking
_:booking type Booking
_:result address 12 St. Johns Street , City Centre
_:result name the ugly duckling
_:result postcode cb21tw
_:search day wednesday
_:search departure ely
_:result departure Ely
_:result leave_at every two hours starting at 05:35
_:search leave_at ?
_:search arrive_by 17:30
_:search destination cambridge
_:search type Train
_:result arrive_by 15:52
_:result arrive_by 17:30
_:result day Wednesday
_:result destination Cambridge
_:result id TR2211
_:booking category Train
_:result ticket 4.40 pounds
_:result type Train
_:search area centre
_:result area that area
_:system canthelp _:search/0f3a1cd4
_:search/0f3a1cd4 area that part of town
_:search/0f3a1cd4 food Swiss
_:search/0f3a1cd4 type Restaurant
_:search food chinese
_:result count 10
_:result food Chinese
_:search pricerange dontcare
_:system offered _:booking
_:booking type Booking
_:result address 12 St. Johns Street , City Centre
_:result name the ugly duckling
_:result postcode cb21tw
_:search day wednesday
_:search departure ely
_:result departure Ely
_:result leave_at every two hours starting at 05:35
_:search leave_at ?
_:search arrive_by 17:30
_:search destination cambridge
_:result arrive_by 15:52
_:result arrive_by 17:30
_:result day Wednesday
_:result destination Cambridge
_:result id TR2211
_:booking category Train
_:result ticket 4.40 pounds
_:result type Train
_:search people 1
_:search type Train
_:search area centre
_:result area that area
_:system canthelp _:search/0f3a1cd4
_:search/0f3a1cd4 area that part of town
_:search/0f3a1cd4 food Swiss
_:search/0f3a1cd4 type Restaurant
_:search food chinese
_:result count 10
_:result food Chinese
_:search pricerange dontcare
_:system offered _:booking
_:result address 12 St. Johns Street , City Centre
_:result name the ugly duckling
_:result postcode cb21tw
_:search day wednesday
_:search departure ely
_:result departure Ely
_:result leave_at every two hours starting at 05:35
_:search leave_at ?
_:search arrive_by 17:30
_:search destination cambridge
_:result arrive_by 15:52
_:result arrive_by 17:30
_:result day Wednesday
_:result destination Cambridge
_:result id TR2211
_:result ticket 4.40 pounds
_:result type Train
_:search people 1
_:search type Train
_:booking category Train
_:booking ref PZ1ED5GM
_:booking type Booking