inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I 'm looking for an expensive place to dine in the centre .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,count,'33');(_:result,type,'Restaurant'))
system
There are 33 restaurants that meet your needs . Would you like to narrow it down by cuisine ?
inform((_:search,day,'friday');(_:search,duration,'15:15');(_:search,people,'7');(_:search,type,'Restaurant'))
user
What is available for Friday at 15:15 for 7 people ?
canthelp((_:booking,duration,'15:15');(_:booking,people,'7');(_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking'))
system
It seems there are no tables for 7 available at 15:15 , did you want to book for something later in the day ?
inform((_:search,duration,'14:15');(_:search,type,'Restaurant'))
user
Actually , let 's try a little earlier . Is there anything at 14:15 ?
inform((_:booking,duration,'14:15');(_:booking,name,'Bedouin');(_:booking,ref,'K6QAFBCR');(_:booking,type,'Booking'))
system
I 've booked table at Bedouin for you at 14:15 . The table will be reserved for 15 minutes . Your reference number is K6QAFBCR .
inform((_:search,arrive_by,'14:45');(_:search,day,'saturday');(_:search,type,'Train'))
user
Thank you , I also need a train that will arrive by 14:45 on saturday
inform((_:result,arrive_by,'14:08');(_:result,destination,'Cambridge');(_:result,id,'TR4748');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR4748 arrives in Cambridge at 14:08 .   Would you like me to book it ?
user
yes please book it .
request((_:search,departure,?);(_:search,type,'Train'))
system
I 'm sorry , but what is your departure station ?
inform((_:search,departure,'cambridge');(_:search,destination,'ely');(_:search,type,'Train'))
user
I 'm sorry that train wo n't work . I need to depart from Cambridge and go to Ely .
inform((_:result,arrive_by,'12:07');(_:result,arrive_by,'14:07');(_:result,id,'TR0721');(_:result,id,'TR9809');(_:result,type,'Train'))
system
How about TR0721 , it arrives by 12:07 ? Alternatively , the TR9809 arrives by 14:07 .
request((_:result,ticket,?);(_:result,type,'Train'))
user
Thank You . What is the price ?
inform((_:result,ticket,'3.52 pounds');(_:result,type,'Train'))
system
The price for either train is 3.52 pounds .
thank()
user
Alright . I will have to get back to you about which I would like to book . Thank you for everything though .
system
Thank you for using the Help Desk ! Contact me again if you decide you want me to help you book a train .
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:search food ?
_:result count 33
_:result type Restaurant
_:search day friday
_:search duration 15:15
_:search people 7
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:search food ?
_:result count 33
_:result type Restaurant
_:search day friday
_:search people 7
_:system canthelp _:booking/1369154a
_:booking/1369154a duration 15:15
_:booking/1369154a people 7
_:booking/1369154a type Booking
_:booking duration ?
_:booking type Booking
_:search duration 14:15
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:search food ?
_:result count 33
_:result type Restaurant
_:search people 7
_:system canthelp _:booking/1369154a
_:booking/1369154a duration 15:15
_:booking/1369154a people 7
_:booking/1369154a type Booking
_:search duration 14:15
_:booking duration 14:15
_:booking name Bedouin
_:booking ref K6QAFBCR
_:booking type Booking
_:search arrive_by 14:45
_:search day saturday
_:search type Train
_:search area centre
_:search pricerange expensive
_:search food ?
_:result count 33
_:search people 7
_:system canthelp _:booking/1369154a
_:booking/1369154a duration 15:15
_:booking/1369154a people 7
_:booking/1369154a type Booking
_:search duration 14:15
_:booking duration 14:15
_:booking name Bedouin
_:booking ref K6QAFBCR
_:booking type Booking
_:search arrive_by 14:45
_:search day saturday
_:search type Train
_:result arrive_by 14:08
_:result destination Cambridge
_:result id TR4748
_:result type Train
_:system offered _:booking
_:booking category Train
_:search area centre
_:search pricerange expensive
_:search food ?
_:result count 33
_:search people 7
_:system canthelp _:booking/1369154a
_:booking/1369154a duration 15:15
_:booking/1369154a people 7
_:booking/1369154a type Booking
_:search duration 14:15
_:booking duration 14:15
_:booking name Bedouin
_:booking ref K6QAFBCR
_:booking type Booking
_:search arrive_by 14:45
_:search day saturday
_:result arrive_by 14:08
_:result destination Cambridge
_:result id TR4748
_:result type Train
_:system offered _:booking
_:booking category Train
_:search departure cambridge
_:search destination ely
_:search type Train
_:search area centre
_:search pricerange expensive
_:search food ?
_:result count 33
_:search people 7
_:system canthelp _:booking/1369154a
_:booking/1369154a duration 15:15
_:booking/1369154a people 7
_:booking/1369154a type Booking
_:search duration 14:15
_:booking duration 14:15
_:booking name Bedouin
_:booking ref K6QAFBCR
_:booking type Booking
_:search arrive_by 14:45
_:search day saturday
_:result destination Cambridge
_:system offered _:booking
_:booking category Train
_:search departure cambridge
_:search destination ely
_:search type Train
_:result arrive_by 12:07
_:result arrive_by 14:07
_:result id TR0721
_:result id TR9809
_:result type Train
_:result ticket ?
_:search area centre
_:search pricerange expensive
_:search food ?
_:result count 33
_:search people 7
_:system canthelp _:booking/1369154a
_:booking/1369154a duration 15:15
_:booking/1369154a people 7
_:booking/1369154a type Booking
_:search duration 14:15
_:booking duration 14:15
_:booking name Bedouin
_:booking ref K6QAFBCR
_:booking type Booking
_:search arrive_by 14:45
_:search day saturday
_:result destination Cambridge
_:system offered _:booking
_:booking category Train
_:search departure cambridge
_:search destination ely
_:search type Train
_:result arrive_by 12:07
_:result arrive_by 14:07
_:result id TR0721
_:result id TR9809
_:result ticket 3.52 pounds
_:result type Train