inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I need to book a nice expensive restaurant in the centre please .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'several');(_:result,area,'centre');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There are several nice expensive restaurants in the centre area .   Is there a particular food type that interests you most ?
inform((_:search,day,'thursday');(_:search,duration,'13:45');(_:search,food,"do n't have a preference");(_:search,people,'six');(_:search,type,'Restaurant'))
user
I do n't have a preference . I need a table booked for six people at 13:45 on Thursday , though .
canthelp((_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking'))
system
I am sorry none of the listings have tables available for that time , is there another time that will work ?
inform((_:search,duration,'12:45');(_:search,type,'Restaurant'))
user
How about 12:45 instead ?
inform((_:booking,ref,'L7HRCY1K');(_:booking,type,'Booking')) reqmore() inform((_:result,food,'Asian Oriental');(_:result,name,'Kymmoy');(_:result,type,'Restaurant'))
system
Sure . Kymmoy , a good Asian Oriental restaurant has space . You are reserved and your reference number is L7HRCY1K . Can I help with anything else ?
inform((_:search,departure,'cambridge');(_:search,leave_at,'21:45');(_:search,type,'Train'))
user
I am looking for a train that departs from Cambridge and leaves after 21:45 .
request((_:search,destination,?);(_:search,type,'Train'))
system
I can help you with that . What is your destination ?
inform((_:search,destination,'stansted airport');(_:search,type,'Train'))
user
It is stansted airport .
inform((_:result,arrive_by,'23:08');(_:result,leave_at,'22:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
How about the 22:40 train ? It gets in at 23:08 . Does that work ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
Yes I need the price also .
inform((_:result,id,'TR3864');(_:result,ticket,'10.10 pounds');(_:result,type,'Train'))
system
10.10 pounds , and it 's TR3864
thank()
user
Thank you . That is all for now .
reqmore()
system
Are you certain I ca n't help with anything else right now ?
thank()
user
No , that is all I need , thank you .
system
Thank you so much for using our service . Have a good day . Goodbye .
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result amount several
_:result area centre
_:result pricerange expensive
_:result type Restaurant
_:search day thursday
_:search duration 13:45
_:search food do n't have a preference
_:search people six
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result amount several
_:result area centre
_:result pricerange expensive
_:result type Restaurant
_:search day thursday
_:search food do n't have a preference
_:search people six
_:system canthelp _:booking/78b4ecfd
_:booking/78b4ecfd type Booking
_:booking duration ?
_:booking type Booking
_:search duration 12:45
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result amount several
_:result area centre
_:result pricerange expensive
_:search day thursday
_:search food do n't have a preference
_:search people six
_:system canthelp _:booking/78b4ecfd
_:booking/78b4ecfd type Booking
_:booking duration ?
_:search duration 12:45
_:booking ref L7HRCY1K
_:booking type Booking
_:system inquired _:user
_:result food Asian Oriental
_:result name Kymmoy
_:result type Restaurant
_:search departure cambridge
_:search leave_at 21:45
_:search type Train
_:search area centre
_:search pricerange expensive
_:result amount several
_:result area centre
_:result pricerange expensive
_:search day thursday
_:search food do n't have a preference
_:search people six
_:system canthelp _:booking/78b4ecfd
_:booking/78b4ecfd type Booking
_:booking duration ?
_:search duration 12:45
_:booking ref L7HRCY1K
_:booking type Booking
_:system inquired _:user
_:result food Asian Oriental
_:result name Kymmoy
_:result type Restaurant
_:search departure cambridge
_:search leave_at 21:45
_:search destination stansted airport
_:search type Train
_:search area centre
_:search pricerange expensive
_:result amount several
_:result area centre
_:result pricerange expensive
_:search day thursday
_:search food do n't have a preference
_:search people six
_:system canthelp _:booking/78b4ecfd
_:booking/78b4ecfd type Booking
_:booking duration ?
_:search duration 12:45
_:booking ref L7HRCY1K
_:booking type Booking
_:system inquired _:user
_:result food Asian Oriental
_:result name Kymmoy
_:search departure cambridge
_:search leave_at 21:45
_:search destination stansted airport
_:search type Train
_:result arrive_by 23:08
_:result leave_at 22:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:result ticket ?
_:search area centre
_:search pricerange expensive
_:result amount several
_:result area centre
_:result pricerange expensive
_:search day thursday
_:search food do n't have a preference
_:search people six
_:system canthelp _:booking/78b4ecfd
_:booking/78b4ecfd type Booking
_:booking duration ?
_:search duration 12:45
_:booking ref L7HRCY1K
_:booking type Booking
_:system inquired _:user
_:result food Asian Oriental
_:result name Kymmoy
_:search departure cambridge
_:search leave_at 21:45
_:search destination stansted airport
_:search type Train
_:result arrive_by 23:08
_:result leave_at 22:40
_:system offered _:booking
_:booking category Train
_:result id TR3864
_:result ticket 10.10 pounds
_:result type Train
_:search area centre
_:search pricerange expensive
_:result amount several
_:result area centre
_:result pricerange expensive
_:search day thursday
_:search food do n't have a preference
_:search people six
_:system canthelp _:booking/78b4ecfd
_:booking/78b4ecfd type Booking
_:booking duration ?
_:search duration 12:45
_:booking ref L7HRCY1K
_:booking type Booking
_:result food Asian Oriental
_:result name Kymmoy
_:search departure cambridge
_:search leave_at 21:45
_:search destination stansted airport
_:search type Train
_:result arrive_by 23:08
_:result leave_at 22:40
_:system offered _:booking
_:booking category Train
_:result id TR3864
_:result ticket 10.10 pounds
_:result type Train
_:system inquired _:user