inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I feel like spoiling myself so find me an expensive place to eat in the centre
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What is your favorite kind of cuisine ?
inform((_:search,food,'halal');(_:search,type,'Restaurant'))
user
Lets try some halal food ?
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,food,'halal style');(_:search,type,'Restaurant'))
system
I 'm sorry , but I could not find any listings for restaurants serving halal style food . Do you have any other favorite types of cuisines ?
inform((_:search,food,'african');(_:search,type,'Restaurant'))
user
Ok , well how about african food ?
offer((_:booking,type,'Booking')) inform((_:result,area,'centre');(_:result,food,'African');(_:result,name,'Bedouin');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Bedouin is an African restaurant in the centre . It 's expensive , but I hear it 's great . Would you like me to book it for you ?
inform((_:search,day,'monday');(_:search,duration,'17:15');(_:search,people,'6');(_:search,type,'Restaurant'))
user
Yes that would be wonderful . Could you reserve for 6 people at 17:15 on Monday ?
inform((_:booking,ref,'HYTD7MDQ');(_:booking,type,'Booking'))
system
It is all booked , reference number is HYTD7MDQ
inform((_:search,type,'Train'))
user
Thank you . I would also like to find a train , please .
inform((_:result,amount,'thousands');(_:result,departure,'Cambridge');(_:result,type,'Train')) reqmore() request((_:search,arrive_by,?);(_:search,day,?);(_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
There are thousands of trains going in and out of Cambridge ! Can you be a little more specific ?
inform((_:search,day,'tuesday');(_:search,departure,'cambridge');(_:search,destination,'peterborough');(_:search,type,'Train'))
user
I and going to Peterborough from Cambridge on Tuesday .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
Okay and what time would you like to leave ?
inform((_:search,arrive_by,'19:00');(_:search,leave_at,'dontcare');(_:search,type,'Train'))
user
I want to arrive by 19:00 . I do n't mind when I depart .
inform((_:result,arrive_by,'8:24');(_:result,id,'TR5009');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR5009 fits your criteria . It arrives at 8:24 . Would you like to book tickets ?
request((_:result,leave_at,?);(_:result,ticket,?);(_:result,type,'Train'))
user
No thanks .   I need the departure time and the ticket price .
system
I will look that up for you .
thank()
user
Thank you for your time and help with this .
system
Departure Time is 7:34 and the cost is $ 16.50 pounds for TR 5009 .
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:search food halal
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:system canthelp _:search/4fef492d
_:search/4fef492d food halal style
_:search/4fef492d type Restaurant
_:search food african
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:system canthelp _:search/4fef492d
_:search/4fef492d food halal style
_:search/4fef492d type Restaurant
_:search food african
_:system offered _:booking
_:booking type Booking
_:result area centre
_:result food African
_:result name Bedouin
_:result pricerange expensive
_:result type Restaurant
_:search day monday
_:search duration 17:15
_:search people 6
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:system canthelp _:search/4fef492d
_:search/4fef492d food halal style
_:search/4fef492d type Restaurant
_:search food african
_:system offered _:booking
_:result area centre
_:result food African
_:result name Bedouin
_:result pricerange expensive
_:result type Restaurant
_:search day monday
_:search duration 17:15
_:search people 6
_:booking ref HYTD7MDQ
_:booking type Booking
_:search type Train
_:search area centre
_:search pricerange expensive
_:system canthelp _:search/4fef492d
_:search/4fef492d food halal style
_:search/4fef492d type Restaurant
_:search food african
_:system offered _:booking
_:result area centre
_:result food African
_:result name Bedouin
_:result pricerange expensive
_:search duration 17:15
_:search people 6
_:booking ref HYTD7MDQ
_:booking type Booking
_:result amount thousands
_:result departure Cambridge
_:result type Train
_:system inquired _:user
_:search arrive_by ?
_:search leave_at ?
_:search day tuesday
_:search departure cambridge
_:search destination peterborough
_:search type Train
_:search area centre
_:search pricerange expensive
_:system canthelp _:search/4fef492d
_:search/4fef492d food halal style
_:search/4fef492d type Restaurant
_:search food african
_:system offered _:booking
_:result area centre
_:result food African
_:result name Bedouin
_:result pricerange expensive
_:search duration 17:15
_:search people 6
_:booking ref HYTD7MDQ
_:booking type Booking
_:result amount thousands
_:result departure Cambridge
_:result type Train
_:system inquired _:user
_:search day tuesday
_:search departure cambridge
_:search destination peterborough
_:search arrive_by 19:00
_:search leave_at dontcare
_:search type Train
_:search area centre
_:search pricerange expensive
_:system canthelp _:search/4fef492d
_:search/4fef492d food halal style
_:search/4fef492d type Restaurant
_:search food african
_:system offered _:booking
_:result area centre
_:result food African
_:result name Bedouin
_:result pricerange expensive
_:search duration 17:15
_:search people 6
_:booking ref HYTD7MDQ
_:booking type Booking
_:result amount thousands
_:result departure Cambridge
_:system inquired _:user
_:search day tuesday
_:search departure cambridge
_:search destination peterborough
_:search arrive_by 19:00
_:search leave_at dontcare
_:search type Train
_:result arrive_by 8:24
_:result id TR5009
_:result type Train
_:booking category Train
_:result leave_at ?
_:result ticket ?
_:search area centre
_:search pricerange expensive
_:system canthelp _:search/4fef492d
_:search/4fef492d food halal style
_:search/4fef492d type Restaurant
_:search food african
_:system offered _:booking
_:result area centre
_:result food African
_:result name Bedouin
_:result pricerange expensive
_:search duration 17:15
_:search people 6
_:booking ref HYTD7MDQ
_:booking type Booking
_:result amount thousands
_:result departure Cambridge
_:system inquired _:user
_:search day tuesday
_:search departure cambridge
_:search destination peterborough
_:search arrive_by 19:00
_:search leave_at dontcare
_:search type Train
_:result arrive_by 8:24
_:result id TR5009
_:result type Train
_:booking category Train
_:result leave_at ?
_:result ticket ?