inform((_:search,departure,'cambridge');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I am wanting to take a train to London Kings Cross from Cambridge .
request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train')) thank()
system
Sure ! What day and time would you like to travel ?
inform((_:search,arrive_by,'12:45');(_:search,day,'thursday');(_:search,type,'Train'))
user
I need to arrive on Thursday by 12:45 .
inform((_:result,departure,'Cambridge');(_:result,id,'TR8272');(_:result,leave_at,'05:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
Earliest is the TR8272 , leaving Cambridge at 05:00 . Would you like to reserve a seat or look for something a bit later in the morning ?
inform((_:search,people,'3');(_:search,type,'Train'))
user
I would like to book this train , for 3 people , thank you .
reqmore() inform((_:booking,category,'Train');(_:booking,people,'3');(_:booking,ref,'AZI34L6D');(_:booking,type,'Booking'))
system
Okay , you 're booked for 3 tickets with reference number AZI34L6D . May I help with something else ?
inform((_:search,has_internet,'yes');(_:search,has_parking,'yes');(_:search,type,'Hotel'))
user
Thank you . I am also looking for a place to stay while I am there . I would like it to include free wifi and parking .
request((_:search,area,?);(_:search,pricerange,?);(_:search,type,'Hotel')) inform((_:result,count,'29');(_:result,has_internet,'none');(_:result,has_parking,'none');(_:result,type,'Hotel'))
system
We have 29 hotels with free wifi and parking , is there a particular area or price range you prefer ?
inform((_:search,pricerange,'expensive');(_:search,type,'Hotel'))
user
I do n't mind the area , but I 'd like it to be expensive . I love spending money !
offer((_:booking,type,'Booking')) inform((_:result,amount,'so many');(_:result,type,'Restaurant'))
system
I have so many to choose from in this category . Would you like me to choose one for you ?
inform((_:search,has_internet,'yes');(_:search,has_parking,'yes');(_:search,type,'Hotel'))
user
I want one with free wifi and free parking .
inform((_:result,area,'centre');(_:result,has_internet,'none');(_:result,has_parking,'none');(_:result,name,'university arms hotel');(_:result,pricerange,'expensive');(_:result,stars,'4');(_:result,type,'Hotel'))
system
I think the university arms hotel would be perfect for you . It is a 4 star expensive hotel right in the centre of town with both free parking and internet
request((_:result,phone,?);(_:result,type,'Hotel'))
user
That sounds wonderful , could you get me their phone number ?
inform((_:result,phone,'01223351241');(_:result,type,'Hotel')) reqmore()
system
Sure thing .   You can phone at 01223351241 .   Anything else ?
thank()
user
No , that will be all for now . Thank you for your help .
system
You 're welcome , have a great day !
_:search departure cambridge
_:search destination london kings cross
_:search type Train
_:search departure cambridge
_:search destination london kings cross
_:search leave_at ?
_:search arrive_by 12:45
_:search day thursday
_:search type Train
_:search departure cambridge
_:search destination london kings cross
_:search arrive_by 12:45
_:search day thursday
_:result departure Cambridge
_:result id TR8272
_:result leave_at 05:00
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at ?
_:search people 3
_:search type Train
_:search departure cambridge
_:search destination london kings cross
_:search arrive_by 12:45
_:search day thursday
_:result departure Cambridge
_:result id TR8272
_:result leave_at 05:00
_:result type Train
_:system offered _:booking
_:search leave_at ?
_:search people 3
_:system inquired _:user
_:booking category Train
_:booking people 3
_:booking ref AZI34L6D
_:booking type Booking
_:search has_internet yes
_:search has_parking yes
_:search type Hotel
_:search departure cambridge
_:search destination london kings cross
_:search arrive_by 12:45
_:search day thursday
_:result departure Cambridge
_:result id TR8272
_:result leave_at 05:00
_:system offered _:booking
_:search leave_at ?
_:search people 3
_:system inquired _:user
_:booking category Train
_:booking people 3
_:booking ref AZI34L6D
_:booking type Booking
_:search has_internet yes
_:search has_parking yes
_:search area ?
_:result count 29
_:result has_internet none
_:result has_parking none
_:result type Hotel
_:search pricerange expensive
_:search type Hotel
_:search departure cambridge
_:search destination london kings cross
_:search arrive_by 12:45
_:search day thursday
_:result departure Cambridge
_:result id TR8272
_:result leave_at 05:00
_:system offered _:booking
_:search leave_at ?
_:search people 3
_:system inquired _:user
_:booking category Train
_:booking people 3
_:booking ref AZI34L6D
_:booking type Booking
_:search area ?
_:result count 29
_:result has_internet none
_:result has_parking none
_:search pricerange expensive
_:result amount so many
_:result type Restaurant
_:search has_internet yes
_:search has_parking yes
_:search type Hotel
_:search departure cambridge
_:search destination london kings cross
_:search arrive_by 12:45
_:search day thursday
_:result departure Cambridge
_:result id TR8272
_:result leave_at 05:00
_:system offered _:booking
_:search leave_at ?
_:search people 3
_:system inquired _:user
_:booking category Train
_:booking people 3
_:booking ref AZI34L6D
_:booking type Booking
_:search area ?
_:result count 29
_:search pricerange expensive
_:result amount so many
_:search has_internet yes
_:search has_parking yes
_:search type Hotel
_:result area centre
_:result has_internet none
_:result has_parking none
_:result name university arms hotel
_:result pricerange expensive
_:result stars 4
_:result type Hotel
_:result phone ?
_:search departure cambridge
_:search destination london kings cross
_:search arrive_by 12:45
_:search day thursday
_:result departure Cambridge
_:result id TR8272
_:result leave_at 05:00
_:system offered _:booking
_:search leave_at ?
_:search people 3
_:booking category Train
_:booking people 3
_:booking ref AZI34L6D
_:booking type Booking
_:search area ?
_:result count 29
_:search pricerange expensive
_:result amount so many
_:search has_internet yes
_:search has_parking yes
_:search type Hotel
_:result area centre
_:result has_internet none
_:result has_parking none
_:result name university arms hotel
_:result pricerange expensive
_:result stars 4
_:result phone 01223351241
_:result type Hotel
_:system inquired _:user