inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
I would like to come visit cambridge and need a train .
request((_:search,departure,?);(_:search,type,'Train'))
system
Where will you be departing from ?
inform((_:search,day,'tuesday');(_:search,departure,'birmingham new street');(_:search,type,'Train'))
user
I am leaving from Birmingham New Street and want to leave on Tuesday .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Sure , is there a particular time you 'd like to either arrive or leave by ?
inform((_:search,leave_at,'12:15');(_:search,type,'Train'))
user
I need a train that will leave after 12:15 please .
inform((_:result,id,'TR0734');(_:result,leave_at,'12:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR0734 leaves at 12:40 , would that be okay ?
inform((_:search,people,'4');(_:search,type,'Train'))
user
Yes , can you please make a booking for 4 people ?
inform((_:booking,category,'Train');(_:booking,ref,'G1ZZIBBD');(_:booking,type,'Booking'))
system
Okay , I 've done that for you . Your reference number is G1ZZIBBD
inform((_:search,name,'cityroomz');(_:search,type,'Hotel'))
user
Thank you . I 'm also looking for a hotel called cityroomz .
offer((_:booking,type,'Booking')) inform((_:result,name,'cityroomz');(_:result,type,'Hotel'))
system
I 've found cityroomz .   Would you like a room booked ?
inform((_:search,day,'tuesday');(_:search,people,'4');(_:search,stay,'4');(_:search,type,'Hotel'))
user
Yes , please book the room for 4 people and 4 nights starting from Tuesday .
reqmore() inform((_:booking,name,'Cityroomz');(_:booking,ref,'0R3345MS');(_:booking,type,'Booking'))
system
Your Cityroomz reservation has been made and your reference number is 0R3345MS . Can I help you with anything else ?
thank()
user
No that is everything thank you
system
Okay great , have a good day !
_:search destination cambridge
_:search type Train
_:search destination cambridge
_:search day tuesday
_:search departure birmingham new street
_:search type Train
_:search destination cambridge
_:search day tuesday
_:search departure birmingham new street
_:search arrive_by ?
_:search leave_at 12:15
_:search type Train
_:search destination cambridge
_:search day tuesday
_:search departure birmingham new street
_:search arrive_by ?
_:search leave_at 12:15
_:result id TR0734
_:result leave_at 12:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 4
_:search type Train
_:search destination cambridge
_:search day tuesday
_:search departure birmingham new street
_:search arrive_by ?
_:search leave_at 12:15
_:result id TR0734
_:result leave_at 12:40
_:result type Train
_:system offered _:booking
_:search people 4
_:booking category Train
_:booking ref G1ZZIBBD
_:booking type Booking
_:search name cityroomz
_:search type Hotel
_:search destination cambridge
_:search departure birmingham new street
_:search arrive_by ?
_:search leave_at 12:15
_:result id TR0734
_:result leave_at 12:40
_:system offered _:booking
_:booking category Train
_:booking ref G1ZZIBBD
_:booking type Booking
_:search name cityroomz
_:result name cityroomz
_:result type Hotel
_:search day tuesday
_:search people 4
_:search stay 4
_:search type Hotel
_:search destination cambridge
_:search departure birmingham new street
_:search arrive_by ?
_:search leave_at 12:15
_:result id TR0734
_:result leave_at 12:40
_:system offered _:booking
_:booking category Train
_:search name cityroomz
_:result name cityroomz
_:result type Hotel
_:search day tuesday
_:search people 4
_:search stay 4
_:search type Hotel
_:system inquired _:user
_:booking name Cityroomz
_:booking ref 0R3345MS
_:booking type Booking