inform((_:search,type,'Hotel'))
user
I am looking for a particular hotel .
request((_:search,area,?);(_:search,name,?);(_:search,type,'Hotel'))
system
Do you know which hotel or the area the hotel is in ?
inform((_:search,name,'university arms hotel');(_:search,type,'Hotel'))
user
University Arms Hotel .
offer((_:booking,type,'Booking')) inform((_:result,area,'center');(_:result,name,'University Arms');(_:result,type,'Hotel'))
system
Yes I have located the University Arms and it is located in the center . Would you like a booking ?
inform((_:search,day,'monday');(_:search,people,'two');(_:search,stay,'2');(_:search,type,'Hotel'))
user
Yes thank you .   2 nights for two people starting on monday .
reqmore() inform((_:booking,ref,'OG3NRCWJ');(_:booking,type,'Booking'))
system
Booking was successful . Your reference number is OG3NRCWJ . Will that be all ?
inform((_:search,day,'tuesday');(_:search,destination,'stevenage');(_:search,type,'Train'))
user
I also need a train going to Stevenage on Tuesday .
request((_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Ok , where you departing from and what time would you like to leave ?
inform((_:search,leave_at,'11:45');(_:search,type,'Train'))
user
I 'd like to leave after 11:45 , please .
request((_:search,departure,?);(_:search,type,'Train'))
system
And from where are you departing ?
inform((_:search,departure,'cambridge');(_:search,type,'Train')) request((_:result,duration,?);(_:result,type,'Train'))
user
I am departing from cambridge .   Can you please provide me with the train i d and travel time .   thank you .
inform((_:result,duration,'49 minutes');(_:result,id,'TR0743');(_:result,type,'Train')) thank()
system
Sure .   TR0743 will be the train you want , and it has a travel time of 49 minutes .
thank()
user
Excellent ,   thanks for all of your help !
system
Have a great day !
_:search type Hotel
_:search area ?
_:search name university arms hotel
_:search type Hotel
_:search area ?
_:search name university arms hotel
_:system offered _:booking
_:booking type Booking
_:result area center
_:result name University Arms
_:result type Hotel
_:search day monday
_:search people two
_:search stay 2
_:search type Hotel
_:search area ?
_:search name university arms hotel
_:system offered _:booking
_:result area center
_:result name University Arms
_:result type Hotel
_:search people two
_:search stay 2
_:system inquired _:user
_:booking ref OG3NRCWJ
_:booking type Booking
_:search day tuesday
_:search destination stevenage
_:search type Train
_:search area ?
_:search name university arms hotel
_:system offered _:booking
_:result area center
_:result name University Arms
_:result type Hotel
_:search people two
_:search stay 2
_:system inquired _:user
_:booking ref OG3NRCWJ
_:booking type Booking
_:search day tuesday
_:search destination stevenage
_:search departure ?
_:search leave_at 11:45
_:search type Train
_:search area ?
_:search name university arms hotel
_:system offered _:booking
_:result area center
_:result name University Arms
_:result type Hotel
_:search people two
_:search stay 2
_:system inquired _:user
_:booking ref OG3NRCWJ
_:booking type Booking
_:search day tuesday
_:search destination stevenage
_:search leave_at 11:45
_:search departure cambridge
_:search type Train
_:result duration ?
_:result type Train
_:search area ?
_:search name university arms hotel
_:system offered _:booking
_:result area center
_:result name University Arms
_:search people two
_:search stay 2
_:system inquired _:user
_:booking ref OG3NRCWJ
_:booking type Booking
_:search day tuesday
_:search destination stevenage
_:search leave_at 11:45
_:search departure cambridge
_:search type Train
_:result duration 49 minutes
_:result id TR0743
_:result type Train