inform((_:search,departure,'bishops stortford');(_:search,type,'Train'))
user
I want to book a train departing from bishops stortford .
request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train')) inform((_:result,departure,'bishops stortford');(_:result,type,'Train'))
system
What day and time do you want to leave bishops stortford ?
inform((_:search,day,'saturday');(_:search,leave_at,'18:00');(_:search,type,'Train'))
user
I want to leave on Saturday , after 18:00
inform((_:result,amount,'first');(_:result,arrive_by,'20:07');(_:result,destination,'Cambridge');(_:result,id,'TR7734');(_:result,leave_at,'19:29');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The first train leaving after 18:00 is TR7734 departing at 19:29 and arriving by 20:07 in Cambridge . Would you like to book a ticket ?
inform((_:search,people,'8');(_:search,type,'Train'))
user
Yes , could I book 8 tickets for that train ?
reqmore() inform((_:booking,category,'Train');(_:booking,people,'8');(_:booking,ref,'TXEB3LHO');(_:booking,ticket,'64.64 GBP');(_:booking,type,'Booking'))
system
I have 8 train tickets ready with a total of 64.64 GBP and your reference number is TXEB3LHO . Can I help you with anything else ?
inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Yes , I am also looking for an expensive place to eat near the centre area .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'several');(_:result,type,'Restaurant'))
system
There are several restaurants in the area that meet your criteria .   What type of cuisine would you like ?
inform((_:search,day,'saturday');(_:search,duration,'21:00');(_:search,food,'dontcare');(_:search,people,'8');(_:search,type,'Restaurant'))
user
Anywhere that has availability for 8 people at 21:00 on Saturday
offer((_:booking,type,'Booking')) inform((_:result,food,'African');(_:result,name,'Bedouin');(_:result,type,'Restaurant'))
system
Shall I try to book you at the Bedouin ? It serves African cuisine .
user
ok , that sounds good .
reqmore() inform((_:booking,ref,'43DRAAAJ');(_:booking,type,'Booking'))
system
Booking was successful . The table will be reserved for 15 minutes . Your reference number is 43DRAAAJ . Will that be all for today ?
thank()
user
Yes that will be all . Thank you for all of your help !
system
Enjoy your trip and have a good day .
_:search departure bishops stortford
_:search type Train
_:search departure bishops stortford
_:result departure bishops stortford
_:result type Train
_:search day saturday
_:search leave_at 18:00
_:search type Train
_:search departure bishops stortford
_:result departure bishops stortford
_:search day saturday
_:search leave_at 18:00
_:result amount first
_:result arrive_by 20:07
_:result destination Cambridge
_:result id TR7734
_:result leave_at 19:29
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 8
_:search type Train
_:search departure bishops stortford
_:result departure bishops stortford
_:search day saturday
_:search leave_at 18:00
_:result amount first
_:result arrive_by 20:07
_:result destination Cambridge
_:result id TR7734
_:result leave_at 19:29
_:result type Train
_:system offered _:booking
_:search people 8
_:system inquired _:user
_:booking category Train
_:booking people 8
_:booking ref TXEB3LHO
_:booking ticket 64.64 GBP
_:booking type Booking
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search departure bishops stortford
_:result departure bishops stortford
_:search leave_at 18:00
_:result arrive_by 20:07
_:result destination Cambridge
_:result id TR7734
_:result leave_at 19:29
_:system offered _:booking
_:system inquired _:user
_:booking category Train
_:booking people 8
_:booking ref TXEB3LHO
_:booking ticket 64.64 GBP
_:booking type Booking
_:search area centre
_:search pricerange expensive
_:result amount several
_:result type Restaurant
_:search day saturday
_:search duration 21:00
_:search food dontcare
_:search people 8
_:search type Restaurant
_:search departure bishops stortford
_:result departure bishops stortford
_:search leave_at 18:00
_:result arrive_by 20:07
_:result destination Cambridge
_:result id TR7734
_:result leave_at 19:29
_:system offered _:booking
_:system inquired _:user
_:booking category Train
_:booking people 8
_:booking ref TXEB3LHO
_:booking ticket 64.64 GBP
_:booking type Booking
_:search area centre
_:search pricerange expensive
_:result amount several
_:search day saturday
_:search duration 21:00
_:search food dontcare
_:search people 8
_:search type Restaurant
_:result food African
_:result name Bedouin
_:result type Restaurant
_:search departure bishops stortford
_:result departure bishops stortford
_:search leave_at 18:00
_:result arrive_by 20:07
_:result destination Cambridge
_:result id TR7734
_:result leave_at 19:29
_:system offered _:booking
_:booking category Train
_:booking people 8
_:booking ticket 64.64 GBP
_:search area centre
_:search pricerange expensive
_:result amount several
_:search day saturday
_:search duration 21:00
_:search food dontcare
_:search people 8
_:search type Restaurant
_:result food African
_:result name Bedouin
_:result type Restaurant
_:system inquired _:user
_:booking ref 43DRAAAJ
_:booking type Booking