inform((_:search,destination,'cambridge');(_:search,leave_at,'17:00');(_:search,type,'Train'))
user
I need a train to Cambridge , leaving after 17:00 .
inform((_:result,amount,'quite a few');(_:result,type,'Train')) request((_:search,departure,?);(_:search,type,'Train'))
system
There are quite a few . What station will you be leaving from ?
inform((_:search,day,'wednesday');(_:search,departure,'norwich');(_:search,type,'Train'))
user
I 'll be leaving from Norwich on Wednesday .
inform((_:result,arrive_by,'18:35');(_:result,departure,'Norwich');(_:result,destination,'Cambridge');(_:result,id,'TR2379');(_:result,leave_at,'17:16');(_:result,type,'Train'))
system
How about the TR2379 train ? It leaves Norwich at 17:16 and arrives in Cambridge at 18:35 .
request((_:result,duration,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Can you give me the price and travel time of TR2379 , please ?
inform((_:result,duration,'79 minutes');(_:result,id,'TR2379');(_:result,ticket,'17.60 pounds');(_:result,type,'Train'))
system
TR2379 is 17.60 pounds per ticket , and the travel time is 79 minutes .
inform((_:search,name,'kirkwood house');(_:search,type,'Hotel'))
user
Great , please book that . I would also like to book a hotel , called Kirkwood house
inform((_:booking,name,'kirkwood house');(_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,stay,?);(_:booking,type,'Booking')) inform((_:booking,category,'Train');(_:booking,ref,'ZLRL98VP');(_:booking,type,'Booking'))
system
Trains all booked for you and your reference number is ZLRL98VP . What nights would you need me to book at kirkwood house for you ?
inform((_:search,day,'wednesday');(_:search,people,'4');(_:search,stay,'4');(_:search,type,'Hotel'))
user
Can you book the hotel for 4 people starting Wednesday night for 4 nights ?
reqmore() inform((_:booking,name,'Kirkwood');(_:booking,ref,'90EPN6VX');(_:booking,type,'Booking'))
system
Alright , I got your room at the Kirkwood booked . The reference number is : 90EPN6VX . Anything else I can do for you today ?
bye()
user
No , that looks good to me . You have a great day .
system
Thank you for using our service , have a wonderful day . If you need any assistance , feel free to contact us again .
_:search destination cambridge
_:search leave_at 17:00
_:search type Train
_:search destination cambridge
_:search leave_at 17:00
_:result amount quite a few
_:result type Train
_:search day wednesday
_:search departure norwich
_:search type Train
_:search destination cambridge
_:search leave_at 17:00
_:result amount quite a few
_:search day wednesday
_:search departure norwich
_:search type Train
_:result arrive_by 18:35
_:result departure Norwich
_:result destination Cambridge
_:result id TR2379
_:result leave_at 17:16
_:result type Train
_:result duration ?
_:result ticket ?
_:search destination cambridge
_:search leave_at 17:00
_:result amount quite a few
_:search day wednesday
_:search departure norwich
_:result arrive_by 18:35
_:result departure Norwich
_:result destination Cambridge
_:result leave_at 17:16
_:result duration 79 minutes
_:result id TR2379
_:result ticket 17.60 pounds
_:result type Train
_:search name kirkwood house
_:search type Hotel
_:search destination cambridge
_:search leave_at 17:00
_:result amount quite a few
_:search departure norwich
_:result arrive_by 18:35
_:result departure Norwich
_:result destination Cambridge
_:result leave_at 17:16
_:result duration 79 minutes
_:result id TR2379
_:result ticket 17.60 pounds
_:result type Train
_:search name kirkwood house
_:booking name kirkwood house
_:booking day ?
_:booking stay ?
_:booking category Train
_:booking ref ZLRL98VP
_:booking type Booking
_:search day wednesday
_:search people 4
_:search stay 4
_:search type Hotel
_:search destination cambridge
_:search leave_at 17:00
_:result amount quite a few
_:search departure norwich
_:result arrive_by 18:35
_:result departure Norwich
_:result destination Cambridge
_:result leave_at 17:16
_:result duration 79 minutes
_:result id TR2379
_:result ticket 17.60 pounds
_:result type Train
_:search name kirkwood house
_:booking day ?
_:booking stay ?
_:booking category Train
_:search day wednesday
_:search people 4
_:search stay 4
_:search type Hotel
_:system inquired _:user
_:booking name Kirkwood
_:booking ref 90EPN6VX
_:booking type Booking
_:user dismissed _:system