inform((_:search,day,'monday');(_:search,leave_at,'16:30');(_:search,type,'Train'))
user
I 'm looking for a train leaving after 16:30 leaving on monday .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
What are your departure and arrival stations ?
inform((_:search,departure,'cambridge');(_:search,destination,'birmingham new street');(_:search,type,'Train'))
user
I want to go birmingham new street from cambridge .
inform((_:result,id,'TR7728');(_:result,leave_at,'17:01');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have the TR7728 that leaves at 17:01 . Would you like me to book that for you ?
inform((_:search,people,'4');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes , please . I need a booking for 4 people and I want the reference number . Thanks for being so helpful !
reqmore() inform((_:booking,category,'Train');(_:booking,id,'TR7728');(_:booking,people,'4');(_:booking,ref,'3USY2KMX');(_:booking,type,'Booking'))
system
I have booked you 4 tickets on TR7728 . Your reference number is 3USY2KMX . I hope you have a great trip and can I assist you with anything else ?
inform((_:search,name,'Lensfield Hotel');(_:search,type,'Hotel'))
user
Yes , I 'm also looking for information on the Lensfield Hotel .
inform((_:result,area,'south');(_:result,category,'hotel');(_:result,has_internet,'none');(_:result,has_parking,'none');(_:result,name,'Lensfield');(_:result,pricerange,'expensive');(_:result,type,'Hotel'))
system
Yes what would you like to know ? The Lensfield is an expensive hotel with free wifi and parking on the city 's south side .
inform((_:search,day,'saturday');(_:search,people,'4');(_:search,stay,'2');(_:search,type,'Hotel'))
user
Okay , thanks ! Can you please book it for the same group of 4 people for 2 nights , starting Saturday ?
reqmore() inform((_:booking,ref,'A4XTCDP7');(_:booking,type,'Booking'))
system
Booking was successful , your reference number is : A4XTCDP7 . Can I help with anything else today ?
bye()
user
No , that 's all . good bye .
system
Are you sure you do n't need a taxi or a restaurant recommendation ?
_:search day monday
_:search leave_at 16:30
_:search type Train
_:search day monday
_:search leave_at 16:30
_:search departure cambridge
_:search destination birmingham new street
_:search type Train
_:search day monday
_:search leave_at 16:30
_:search departure cambridge
_:search destination birmingham new street
_:result id TR7728
_:result leave_at 17:01
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 4
_:search type Train
_:result ref ?
_:search day monday
_:search leave_at 16:30
_:search departure cambridge
_:search destination birmingham new street
_:result id TR7728
_:result leave_at 17:01
_:result type Train
_:system offered _:booking
_:search people 4
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking id TR7728
_:booking people 4
_:booking ref 3USY2KMX
_:booking type Booking
_:search name Lensfield Hotel
_:search type Hotel
_:search leave_at 16:30
_:search departure cambridge
_:search destination birmingham new street
_:result id TR7728
_:result leave_at 17:01
_:system offered _:booking
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking id TR7728
_:booking people 4
_:booking ref 3USY2KMX
_:booking type Booking
_:search name Lensfield Hotel
_:result area south
_:result category hotel
_:result has_internet none
_:result has_parking none
_:result name Lensfield
_:result pricerange expensive
_:result type Hotel
_:search day saturday
_:search people 4
_:search stay 2
_:search type Hotel
_:search leave_at 16:30
_:search departure cambridge
_:search destination birmingham new street
_:result id TR7728
_:result leave_at 17:01
_:system offered _:booking
_:result ref ?
_:booking category Train
_:booking id TR7728
_:booking people 4
_:search name Lensfield Hotel
_:result area south
_:result category hotel
_:result has_internet none
_:result has_parking none
_:result name Lensfield
_:result pricerange expensive
_:result type Hotel
_:search day saturday
_:search people 4
_:search stay 2
_:search type Hotel
_:system inquired _:user
_:booking ref A4XTCDP7
_:booking type Booking
_:user dismissed _:system