inform((_:search,name,'archway house');(_:search,type,'Hotel'))
user
Yeah , what can you tell me about Archway House ?
inform((_:result,area,'north');(_:result,pricerange,'moderate');(_:result,type,'Hotel'))
system
It 's on the north side of town and in the moderate price range .
inform((_:search,people,'6');(_:search,stay,'5');(_:search,type,'Hotel'))
user
I need to book a stay for 5 nights for 6 people there .
request((_:booking,day,?);(_:booking,type,'Booking'))
system
Certainly ! What day would you like to arrive ?
inform((_:search,day,'friday');(_:search,type,'Hotel'))
user
I would like to travel on Friday .
inform((_:booking,ref,'JZ930ED7');(_:booking,type,'Booking'))
system
I have made your reservations . Your reference number is JZ930ED7 .
inform((_:search,day,'friday');(_:search,departure,'birmingham new street');(_:search,destination,'cambridge');(_:search,leave_at,'10:15');(_:search,type,'Train'))
user
Thanks ! I would also like to book a train that goes to cambridge after 10:15 and leaves from birmingham new street on friday
inform((_:result,id,'TR0044');(_:result,leave_at,'10:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
ok , the TR0044 leaves at 10:40 . do you need a ticket ?
request((_:result,arrive_by,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Before booking I need to make sure that train meets my needs .   May I please get the arrival time of that train and the price ?
inform((_:result,arrive_by,'13:23');(_:result,ticket,'75.10 pounds');(_:result,type,'Train'))
system
it arrives at 13:23 and will cost you 75.10 pounds
thank()
user
Okay , thanks so much ... that 's all I need ! Have a great day !
system
Thank you for using our service , goodbye !
_:search name archway house
_:search type Hotel
_:search name archway house
_:result area north
_:result pricerange moderate
_:result type Hotel
_:search people 6
_:search stay 5
_:search type Hotel
_:search name archway house
_:result area north
_:result pricerange moderate
_:result type Hotel
_:search people 6
_:search stay 5
_:booking day ?
_:booking type Booking
_:search day friday
_:search type Hotel
_:search name archway house
_:result area north
_:result pricerange moderate
_:result type Hotel
_:search people 6
_:search stay 5
_:booking day ?
_:booking ref JZ930ED7
_:booking type Booking
_:search day friday
_:search departure birmingham new street
_:search destination cambridge
_:search leave_at 10:15
_:search type Train
_:search name archway house
_:result area north
_:result pricerange moderate
_:search people 6
_:search stay 5
_:booking day ?
_:booking ref JZ930ED7
_:booking type Booking
_:search day friday
_:search departure birmingham new street
_:search destination cambridge
_:search leave_at 10:15
_:search type Train
_:result id TR0044
_:result leave_at 10:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:result arrive_by ?
_:result ticket ?
_:search name archway house
_:result area north
_:result pricerange moderate
_:search people 6
_:search stay 5
_:booking day ?
_:booking ref JZ930ED7
_:booking type Booking
_:search day friday
_:search departure birmingham new street
_:search destination cambridge
_:search leave_at 10:15
_:search type Train
_:result id TR0044
_:result leave_at 10:40
_:system offered _:booking
_:booking category Train
_:result arrive_by 13:23
_:result ticket 75.10 pounds
_:result type Train