inform((_:search,food,'spanish');(_:search,pricerange,'moderately');(_:search,type,'Restaurant')) request((_:result,ticket,?);(_:result,type,'Train'))
user
I want to find a moderately priced restaurant that has Spanish food .
inform((_:result,amount,'only');(_:result,area,'center');(_:result,name,'La tasca');(_:result,type,'Restaurant'))
system
La tasca is the only matching restaurant . It is in the center of town .
inform((_:search,name,'la tasca');(_:search,type,'Restaurant'))
user
I would like to book at La tasca please .
request((_:booking,day,?);(_:booking,people,?);(_:booking,type,'Booking'))
system
Ok . When and for how many people ?
inform((_:search,day,'wednesday');(_:search,duration,'16:30');(_:search,people,'2');(_:search,type,'Restaurant'))
user
I want to book a table for 2 people at 16:30 on wednesday .
reqmore() inform((_:booking,day,'Wednesday');(_:booking,duration,'16:30');(_:booking,people,'two');(_:booking,ref,'NXLK0Z1U');(_:booking,type,'Booking'))
system
I 've booked your table for two for Wednesday at 16:30 . Your Reference number is : NXLK0Z1U . Can I assist you with anything else today ?
inform((_:search,day,'same day');(_:search,departure,'london kings cross');(_:search,type,'Train'))
user
Yes , I 'll need a train on the same day , departing from london kings cross .
inform((_:result,count,'10');(_:result,type,'Train')) request((_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
I found 10 trains do you have a destination or time you would like to go ?
inform((_:search,arrive_by,'8:15');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Yes , I am travelling to cambridge and need to arrive there by 8:15 .
inform((_:result,arrive_by,'6:08');(_:result,arrive_by,'8:08');(_:result,leave_at,'5:17');(_:result,leave_at,'7:17');(_:result,type,'Train'))
system
If you want to leave very early , there is a 5:17 train arriving at 6:08 . Your other option is the 7:17 , arriving at 8:08 .
request((_:result,id,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Can I have the train ID and price of the 7:17 departure ?
inform((_:result,id,'407');(_:result,ticket,'$ 7.50');(_:result,type,'Train'))
system
The train ID is 407 . Adult tickets are $ 7.50 each way .
request((_:result,id,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Hmm , that train ID and price do n't look right to me . Could you double - check that ?
inform((_:result,id,'TR4543');(_:result,ticket,'23.60');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I apologize for my error . The trainID is TR4543   and the price is 23.60 . Would you like me to book that for you ?
request((_:result,leave_at,?);(_:result,type,'Train'))
user
I just need the departure time confirmed and that 's all , I should n't need it booked .
inform((_:result,arrive_by,'08:08');(_:result,departure,'london kings');(_:result,destination,'cambridge');(_:result,id,'TR4543');(_:result,leave_at,'07:17');(_:result,type,'Train'))
system
TR4543 leaves london kings cross at 07:17 arriving in cambridge 08:08 .
thank()
user
Perfect , thank you ! That 's all I need .
system
Thank you for using our system !
_:search food spanish
_:search pricerange moderately
_:search type Restaurant
_:result ticket ?
_:result type Train
_:search food spanish
_:search pricerange moderately
_:result ticket ?
_:result amount only
_:result area center
_:result name La tasca
_:result type Restaurant
_:search name la tasca
_:search type Restaurant
_:search food spanish
_:search pricerange moderately
_:result ticket ?
_:result amount only
_:result area center
_:result name La tasca
_:result type Restaurant
_:search name la tasca
_:booking day ?
_:booking people ?
_:booking type Booking
_:search day wednesday
_:search duration 16:30
_:search people 2
_:search type Restaurant
_:search food spanish
_:search pricerange moderately
_:result ticket ?
_:result amount only
_:result area center
_:result name La tasca
_:result type Restaurant
_:search name la tasca
_:search duration 16:30
_:search people 2
_:system inquired _:user
_:booking day Wednesday
_:booking duration 16:30
_:booking people two
_:booking ref NXLK0Z1U
_:booking type Booking
_:search day same day
_:search departure london kings cross
_:search type Train
_:search food spanish
_:search pricerange moderately
_:result ticket ?
_:result amount only
_:result area center
_:result name La tasca
_:search name la tasca
_:search duration 16:30
_:search people 2
_:system inquired _:user
_:booking day Wednesday
_:booking duration 16:30
_:booking people two
_:booking ref NXLK0Z1U
_:booking type Booking
_:search day same day
_:search departure london kings cross
_:result count 10
_:result type Train
_:search leave_at ?
_:search arrive_by 8:15
_:search destination cambridge
_:search type Train
_:search food spanish
_:search pricerange moderately
_:result ticket ?
_:result amount only
_:result area center
_:result name La tasca
_:search name la tasca
_:search duration 16:30
_:search people 2
_:system inquired _:user
_:booking day Wednesday
_:booking duration 16:30
_:booking people two
_:booking ref NXLK0Z1U
_:booking type Booking
_:search day same day
_:search departure london kings cross
_:result count 10
_:search leave_at ?
_:search arrive_by 8:15
_:search destination cambridge
_:search type Train
_:result arrive_by 6:08
_:result arrive_by 8:08
_:result leave_at 5:17
_:result leave_at 7:17
_:result type Train
_:result id ?
_:search food spanish
_:search pricerange moderately
_:result amount only
_:result area center
_:result name La tasca
_:search name la tasca
_:search duration 16:30
_:search people 2
_:system inquired _:user
_:booking day Wednesday
_:booking duration 16:30
_:booking people two
_:booking ref NXLK0Z1U
_:booking type Booking
_:search day same day
_:search departure london kings cross
_:result count 10
_:search leave_at ?
_:search arrive_by 8:15
_:search destination cambridge
_:search type Train
_:result arrive_by 6:08
_:result arrive_by 8:08
_:result leave_at 5:17
_:result leave_at 7:17
_:result id 407
_:result ticket $ 7.50
_:result type Train
_:result id ?
_:result ticket ?
_:search food spanish
_:search pricerange moderately
_:result amount only
_:result area center
_:result name La tasca
_:search name la tasca
_:search duration 16:30
_:search people 2
_:system inquired _:user
_:booking day Wednesday
_:booking duration 16:30
_:booking people two
_:booking ref NXLK0Z1U
_:booking type Booking
_:search day same day
_:search departure london kings cross
_:result count 10
_:search leave_at ?
_:search arrive_by 8:15
_:search destination cambridge
_:search type Train
_:result arrive_by 6:08
_:result arrive_by 8:08
_:result leave_at 5:17
_:result leave_at 7:17
_:result id TR4543
_:result ticket 23.60
_:result type Train
_:system offered _:booking
_:booking category Train
_:result leave_at ?
_:search food spanish
_:search pricerange moderately
_:result amount only
_:result area center
_:result name La tasca
_:search name la tasca
_:search duration 16:30
_:search people 2
_:system inquired _:user
_:booking day Wednesday
_:booking duration 16:30
_:booking people two
_:booking ref NXLK0Z1U
_:booking type Booking
_:search day same day
_:search departure london kings cross
_:result count 10
_:search leave_at ?
_:search arrive_by 8:15
_:search destination cambridge
_:search type Train
_:result ticket 23.60
_:system offered _:booking
_:booking category Train
_:result arrive_by 08:08
_:result departure london kings
_:result destination cambridge
_:result id TR4543
_:result leave_at 07:17
_:result type Train