inform((_:search,day,'sunday');(_:search,leave_at,'17:30');(_:search,type,'Train'))
user
I am looking for a train on sunday that will leave after 17:30
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Where will you be traveling from and to ?
inform((_:search,departure,'leicester');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I am leaving Leicester and going to Cambridge .
inform((_:result,arrive_by,'19:54');(_:result,id,'TR9320');(_:result,leave_at,'18:09');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR9320 will leave at 18:09 and arrive at 19:54 . Can I book that for you ?
inform((_:search,people,'6');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Please do , I will need this for 6 people . Can I also have the reference number as well ?
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'0RKJ93UG');(_:booking,type,'Booking'))
system
Booking was successful and your reference number is 0RKJ93UG . Can I help you with anything else today ?
inform((_:search,pricerange,'expensive');(_:search,stars,'3');(_:search,type,'Hotel'))
user
I also need a place to stay . I 'm looking for a 3 star place in the expensive price range .
select((_:result,area,'centre');(_:result,area,'south');(_:result,name,'gonville hotel');(_:result,name,'lensfield hotel');(_:result,type,'Hotel')) inform((_:result,count,'2');(_:result,type,'Hotel'))
system
There are two gonville hotel at the centre and the lensfield hotel in the south , which one do you prefer ?
user
I prefer the gonville .
inform((_:booking,name,'gonville');(_:booking,type,'Booking'))
system
Would you like me to book you at the gonville ?
inform((_:search,people,'6');(_:search,pricerange,'expensive');(_:search,stars,'3');(_:search,type,'Hotel'))
user
Yes please . Remember there are 6 people . It should be at least 3 stars and expensive .
request((_:booking,stay,?);(_:booking,type,'Booking'))
system
How long would you like to stay ?
inform((_:search,stay,'1');(_:search,type,'Hotel'))
user
Just 1 night would be perfect .   Thank you .
request((_:booking,stay,?);(_:booking,type,'Booking'))
system
Before booking the hotel I need to know how many days will you stay ?
request((_:result,postcode,?);(_:result,type,'Hotel'))
user
Perhaps I can book it . I will just need the postcode
inform((_:result,postcode,'cb11ly');(_:result,type,'Hotel')) reqmore()
system
The postcode is cb11ly . Is there anything else I can do for you ?
thank()
user
No that is all . Thank you for the help ?
system
You are very welcome . Have a great stay .
_:search day sunday
_:search leave_at 17:30
_:search type Train
_:search day sunday
_:search leave_at 17:30
_:search departure leicester
_:search destination cambridge
_:search type Train
_:search day sunday
_:search leave_at 17:30
_:search departure leicester
_:search destination cambridge
_:result arrive_by 19:54
_:result id TR9320
_:result leave_at 18:09
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 6
_:search type Train
_:result ref ?
_:search day sunday
_:search leave_at 17:30
_:search departure leicester
_:search destination cambridge
_:result arrive_by 19:54
_:result id TR9320
_:result leave_at 18:09
_:result type Train
_:system offered _:booking
_:search people 6
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref 0RKJ93UG
_:booking type Booking
_:search pricerange expensive
_:search stars 3
_:search type Hotel
_:search day sunday
_:search leave_at 17:30
_:search departure leicester
_:search destination cambridge
_:result arrive_by 19:54
_:result id TR9320
_:result leave_at 18:09
_:system offered _:booking
_:search people 6
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref 0RKJ93UG
_:booking type Booking
_:search pricerange expensive
_:search stars 3
_:search type Hotel
_:result area centre
_:result area south
_:result name gonville hotel
_:result name lensfield hotel
_:result count 2
_:result type Hotel
_:search day sunday
_:search leave_at 17:30
_:search departure leicester
_:search destination cambridge
_:result arrive_by 19:54
_:result id TR9320
_:result leave_at 18:09
_:system offered _:booking
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref 0RKJ93UG
_:result area centre
_:result area south
_:result name gonville hotel
_:result name lensfield hotel
_:result count 2
_:result type Hotel
_:booking name gonville
_:booking type Booking
_:search people 6
_:search pricerange expensive
_:search stars 3
_:search type Hotel
_:search day sunday
_:search leave_at 17:30
_:search departure leicester
_:search destination cambridge
_:result arrive_by 19:54
_:result id TR9320
_:result leave_at 18:09
_:system offered _:booking
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref 0RKJ93UG
_:result area centre
_:result area south
_:result name gonville hotel
_:result name lensfield hotel
_:result count 2
_:result type Hotel
_:booking name gonville
_:search people 6
_:search pricerange expensive
_:search stars 3
_:booking stay ?
_:booking type Booking
_:search stay 1
_:search type Hotel
_:search day sunday
_:search leave_at 17:30
_:search departure leicester
_:search destination cambridge
_:result arrive_by 19:54
_:result id TR9320
_:result leave_at 18:09
_:system offered _:booking
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref 0RKJ93UG
_:result area centre
_:result area south
_:result name gonville hotel
_:result name lensfield hotel
_:result count 2
_:result type Hotel
_:booking name gonville
_:search people 6
_:search pricerange expensive
_:search stars 3
_:search stay 1
_:search type Hotel
_:booking stay ?
_:booking type Booking
_:result postcode ?
_:search day sunday
_:search leave_at 17:30
_:search departure leicester
_:search destination cambridge
_:result arrive_by 19:54
_:result id TR9320
_:result leave_at 18:09
_:system offered _:booking
_:result ref ?
_:booking category Train
_:booking ref 0RKJ93UG
_:result area centre
_:result area south
_:result name gonville hotel
_:result name lensfield hotel
_:result count 2
_:booking name gonville
_:search people 6
_:search pricerange expensive
_:search stars 3
_:search stay 1
_:search type Hotel
_:booking stay ?
_:booking type Booking
_:result postcode cb11ly
_:result type Hotel
_:system inquired _:user