inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Hello , I 'd like to dine at an expensive restaurant in the centre . Any suggestions ?
inform((_:result,area,'centre');(_:result,food,'African');(_:result,name,'bedouin');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
We have an expensive restaurant in the centre of town that serves African food , called bedouin . Would that be of interest ?
inform((_:search,people,'5');(_:search,type,'Restaurant'))
user
That sounds wonderful . Can you book me a table for 5 ?
request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
Certainly .   What day and time would you like to dine ?
inform((_:search,day,'tuesday');(_:search,duration,'16:00');(_:search,type,'Restaurant'))
user
Tuesday at 16:00 .
inform((_:booking,day,'Tuesday');(_:booking,name,'Bedouin');(_:booking,people,'5');(_:booking,ref,'PET3GU9H');(_:booking,type,'Booking'))
system
I have your booked for the Bedouin Tuesday at 1600 for 5 people . Your reference number is PET3GU9H . Thank you for allowing me to assist you .
inform((_:search,day,'tuesday');(_:search,type,'Train'))
user
I 'm also looking for a train on Tuesday as well . Can you assist me with this please ?
inform((_:result,amount,'many');(_:result,type,'Train')) request((_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Okay , no problem . There are many trains available . I just need to know where you are departing from and going to , as well as the preferred time .
inform((_:search,day,'same day');(_:search,departure,'leicester');(_:search,destination,'cambridge');(_:search,type,'Train')) request((_:result,leave_at,?);(_:result,ticket,?);(_:result,type,'Train'))
user
should be on the same day as the restaurant booking and should depart from leicester to cambridge . arriving at 13.30 . train i d , price and departure time please
inform((_:result,id,'TR6224');(_:result,type,'Train'))
system
TR6224 	 would be your perfect fit .
request((_:result,leave_at,?);(_:result,type,'Train'))
user
Okay , what time does it depart and how much is it ?
inform((_:result,arrive_by,'12:54(105');(_:result,duration,'105 minutes');(_:result,id,'TR6224');(_:result,leave_at,'11:09');(_:result,ticket,'37.80 pounds');(_:result,type,'Train'))
system
TR6224 leaves at 11:09 , arrives at 12:54(105 minutes ) , and is 37.80 pounds per person .
thank()
user
Great , that is everything I needed ! Thanks !
system
You 're welcome ! Have a great day !
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result area centre
_:result food African
_:result name bedouin
_:result pricerange expensive
_:result type Restaurant
_:search people 5
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result area centre
_:result food African
_:result name bedouin
_:result pricerange expensive
_:result type Restaurant
_:search people 5
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search day tuesday
_:search duration 16:00
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result area centre
_:result food African
_:result name bedouin
_:result pricerange expensive
_:result type Restaurant
_:search people 5
_:booking duration ?
_:search duration 16:00
_:booking day Tuesday
_:booking name Bedouin
_:booking people 5
_:booking ref PET3GU9H
_:booking type Booking
_:search day tuesday
_:search type Train
_:search area centre
_:search pricerange expensive
_:result area centre
_:result food African
_:result name bedouin
_:result pricerange expensive
_:search people 5
_:booking duration ?
_:search duration 16:00
_:booking day Tuesday
_:booking name Bedouin
_:booking people 5
_:booking ref PET3GU9H
_:booking type Booking
_:result amount many
_:result type Train
_:search leave_at ?
_:search day same day
_:search departure leicester
_:search destination cambridge
_:search type Train
_:result leave_at ?
_:result ticket ?
_:search area centre
_:search pricerange expensive
_:result area centre
_:result food African
_:result name bedouin
_:result pricerange expensive
_:search people 5
_:booking duration ?
_:search duration 16:00
_:booking day Tuesday
_:booking name Bedouin
_:booking people 5
_:booking ref PET3GU9H
_:booking type Booking
_:result amount many
_:search leave_at ?
_:search day same day
_:search departure leicester
_:search destination cambridge
_:search type Train
_:result leave_at ?
_:result ticket ?
_:result id TR6224
_:result type Train
_:search area centre
_:search pricerange expensive
_:result area centre
_:result food African
_:result name bedouin
_:result pricerange expensive
_:search people 5
_:booking duration ?
_:search duration 16:00
_:booking day Tuesday
_:booking name Bedouin
_:booking people 5
_:booking ref PET3GU9H
_:booking type Booking
_:result amount many
_:search leave_at ?
_:search day same day
_:search departure leicester
_:search destination cambridge
_:search type Train
_:result arrive_by 12:54(105
_:result duration 105 minutes
_:result id TR6224
_:result leave_at 11:09
_:result ticket 37.80 pounds
_:result type Train