inform((_:search,area,'south');(_:search,pricerange,'moderately');(_:search,type,'Restaurant')) request((_:result,ticket,?);(_:result,type,'Train'))
user
Find me a moderately priced place to eat in the South
select((_:result,food,'Italian');(_:result,food,'modern european');(_:result,name,'Pizza Hut Cherry Hinton');(_:result,name,'Restaurant Alimentum');(_:result,type,'Restaurant')) inform((_:result,count,'2');(_:result,type,'Restaurant'))
system
I have two options available Pizza Hut Cherry Hinton serving Italian and Restaurant Alimentum which serves modern european . Which would you prefer ?
inform((_:search,day,'friday');(_:search,duration,'14:45');(_:search,name,'restaurant alimentum');(_:search,people,'3');(_:search,type,'Restaurant'))
user
Restaurant Alimentum sounds interesting . Can you get me a table for 3 at 14:45 on Friday ?
reqmore() inform((_:booking,ref,'R5SKT4Z3');(_:booking,type,'Booking'))
system
Your reservation is all set . Your reference number is R5SKT4Z3 . Do you need anything else ?
inform((_:search,day,'same day');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Great I also need a train on the same day as the restaurant booking heading to cambridge .
request((_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
What time and departure site would you like to have ?
inform((_:search,arrive_by,'11:15');(_:search,departure,'leicester');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'll be leaving from leicester . I want to arrive at cambridge by 11:15 .
inform((_:result,arrive_by,'10:54');(_:result,destination,'Cambridge');(_:result,id,'TR4170');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Train TR4170 arrives in Cambridge at 10:54 , would you like to reserve a ticket ?
request((_:result,duration,?);(_:result,id,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Can you give me the price , train ID and travel time please ?
inform((_:result,arrive_by,'10:54');(_:result,departure,'Leicester');(_:result,destination,'Cambridge');(_:result,duration,'105 minutes');(_:result,id,'TR4170');(_:result,leave_at,'09:09');(_:result,ticket,'37.80 pounds');(_:result,type,'Train'))
system
Train TR4170 leaves Leicester at 09:09 and arrives in Cambridge at 10:54 . The duration of the trip is 105 minutes . The price is 37.80 pounds .
thank()
user
Thank you . That 's all I needed today .
system
Thank you for using the service today !
_:search area south
_:search pricerange moderately
_:search type Restaurant
_:result ticket ?
_:result type Train
_:search area south
_:search pricerange moderately
_:result ticket ?
_:result food Italian
_:result food modern european
_:result name Pizza Hut Cherry Hinton
_:result name Restaurant Alimentum
_:result count 2
_:result type Restaurant
_:search day friday
_:search duration 14:45
_:search name restaurant alimentum
_:search people 3
_:search type Restaurant
_:search area south
_:search pricerange moderately
_:result ticket ?
_:result food Italian
_:result food modern european
_:result name Pizza Hut Cherry Hinton
_:result name Restaurant Alimentum
_:result count 2
_:result type Restaurant
_:search duration 14:45
_:search name restaurant alimentum
_:search people 3
_:system inquired _:user
_:booking ref R5SKT4Z3
_:booking type Booking
_:search day same day
_:search destination cambridge
_:search type Train
_:search area south
_:search pricerange moderately
_:result ticket ?
_:result food Italian
_:result food modern european
_:result name Pizza Hut Cherry Hinton
_:result name Restaurant Alimentum
_:result count 2
_:result type Restaurant
_:search duration 14:45
_:search name restaurant alimentum
_:search people 3
_:system inquired _:user
_:booking ref R5SKT4Z3
_:booking type Booking
_:search day same day
_:search leave_at ?
_:search arrive_by 11:15
_:search departure leicester
_:search destination cambridge
_:search type Train
_:search area south
_:search pricerange moderately
_:result ticket ?
_:result food Italian
_:result food modern european
_:result name Pizza Hut Cherry Hinton
_:result name Restaurant Alimentum
_:result count 2
_:search duration 14:45
_:search name restaurant alimentum
_:search people 3
_:system inquired _:user
_:booking ref R5SKT4Z3
_:booking type Booking
_:search day same day
_:search leave_at ?
_:search arrive_by 11:15
_:search departure leicester
_:search destination cambridge
_:search type Train
_:result arrive_by 10:54
_:result destination Cambridge
_:result id TR4170
_:result type Train
_:system offered _:booking
_:booking category Train
_:result duration ?
_:result id ?
_:search area south
_:search pricerange moderately
_:result food Italian
_:result food modern european
_:result name Pizza Hut Cherry Hinton
_:result name Restaurant Alimentum
_:result count 2
_:search duration 14:45
_:search name restaurant alimentum
_:search people 3
_:system inquired _:user
_:booking ref R5SKT4Z3
_:booking type Booking
_:search day same day
_:search leave_at ?
_:search arrive_by 11:15
_:search departure leicester
_:search destination cambridge
_:search type Train
_:system offered _:booking
_:booking category Train
_:result arrive_by 10:54
_:result departure Leicester
_:result destination Cambridge
_:result duration 105 minutes
_:result id TR4170
_:result leave_at 09:09
_:result ticket 37.80 pounds
_:result type Train