inform((_:search,arrive_by,'14:15');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need a train for cambridge , I would like to arrive by 14:15 .
inform((_:result,amount,'several');(_:result,type,'Train')) request((_:search,day,?);(_:search,type,'Train'))
system
I have found several for you . What day would you like to leave ?
inform((_:search,day,'friday');(_:search,departure,'norwich');(_:search,type,'Train'))
user
I 'll be leaving Norwich on Friday .
inform((_:result,arrive_by,'13:35');(_:result,destination,'cambridge');(_:result,id,'TR8151');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR8151 will arrive in cambridge at 13:35 . Will that work ?
inform((_:search,people,'two');(_:search,type,'Train'))
user
Yes . I need two tickets , please .
inform((_:booking,category,'Train');(_:booking,ref,'U6FY6WAD');(_:booking,type,'Booking'))
system
I 've booked that for you , and your reference number is U6FY6WAD .
inform((_:search,food,'indian');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Can you find me an expensive indian restaurant ?
inform((_:result,food,'Indian');(_:result,name,'Curry garden');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Curry garden is in the expensive price range and serves Indian food .
inform((_:search,day,'same day');(_:search,duration,'19:15');(_:search,people,'same group of people');(_:search,type,'Restaurant'))
user
Great , can you book me a table for the same group of people at 19:15 on the same day ?
reqmore() inform((_:booking,ref,'DBUN9LUJ');(_:booking,type,'Booking'))
system
Success ! Your reference number is DBUN9LUJ . They 'll hold your table for 15 minutes , in case you 're running a little late . Need any other help ?
bye()
user
Nope . I think that s it . Have a good one . Bye for now .
system
Thanks , you too .   Goodbye .
_:search arrive_by 14:15
_:search destination cambridge
_:search type Train
_:search arrive_by 14:15
_:search destination cambridge
_:result amount several
_:result type Train
_:search day friday
_:search departure norwich
_:search type Train
_:search arrive_by 14:15
_:search destination cambridge
_:result amount several
_:search day friday
_:search departure norwich
_:result arrive_by 13:35
_:result destination cambridge
_:result id TR8151
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people two
_:search type Train
_:search arrive_by 14:15
_:search destination cambridge
_:result amount several
_:search day friday
_:search departure norwich
_:result arrive_by 13:35
_:result destination cambridge
_:result id TR8151
_:result type Train
_:system offered _:booking
_:search people two
_:booking category Train
_:booking ref U6FY6WAD
_:booking type Booking
_:search food indian
_:search pricerange expensive
_:search type Restaurant
_:search arrive_by 14:15
_:search destination cambridge
_:result amount several
_:search departure norwich
_:result arrive_by 13:35
_:result destination cambridge
_:result id TR8151
_:system offered _:booking
_:booking category Train
_:booking ref U6FY6WAD
_:booking type Booking
_:search food indian
_:search pricerange expensive
_:result food Indian
_:result name Curry garden
_:result pricerange expensive
_:result type Restaurant
_:search day same day
_:search duration 19:15
_:search people same group of people
_:search type Restaurant
_:search arrive_by 14:15
_:search destination cambridge
_:result amount several
_:search departure norwich
_:result arrive_by 13:35
_:result destination cambridge
_:result id TR8151
_:system offered _:booking
_:booking category Train
_:search food indian
_:search pricerange expensive
_:result food Indian
_:result name Curry garden
_:result pricerange expensive
_:result type Restaurant
_:search day same day
_:search duration 19:15
_:search people same group of people
_:search type Restaurant
_:system inquired _:user
_:booking ref DBUN9LUJ
_:booking type Booking
_:user dismissed _:system