inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
I need a restaurant in the centre of town .
inform((_:booking,name,'J restaurant');(_:booking,type,'Booking'))
system
I can book you a table at J restaurant .
inform((_:search,food,'indian');(_:search,type,'Restaurant'))
user
I would like a restaurant that also serves indian food please .
request((_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,count,'9');(_:result,type,'Restaurant'))
system
There are 9 results . Is there a certain price range you are wanting ?
user
Do you have a recommendation ?
inform((_:result,name,'Curry Garden');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
The Curry Garden is delicious but it is also expensive .
inform((_:search,day,'friday');(_:search,duration,'13:30');(_:search,people,'2');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Great book for 2 on friday at 13:30 . I need the reference number .   I need to get train tickets too then
inform((_:booking,ref,'JWD13X11');(_:booking,type,'Booking'))
system
I was able to book you at the restaurant .   The Reference number is : JWD13X11 .
inform((_:search,day,'sunday');(_:search,departure,'kings lynn');(_:search,destination,'cambridge');(_:search,leave_at,'19:45');(_:search,type,'Train'))
user
Great . Could you also help me with a train from Kings Lynn to Cambridge . I need to leave after 19:45 on Sunday .
inform((_:result,count,'4');(_:result,departure,'kings lynn');(_:result,leave_at,'19:45');(_:result,leave_at,'hourly starting at 20:11 until 23:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There are four trains leaving kings lynn after 19:45 . They leave hourly starting at 20:11 until 23:11 . Would you like me to book one for you ?
inform((_:search,people,'2');(_:search,type,'Train'))
user
Yes I need a booking for 2 people .   Please book the one leaving at 20:11 .
inform((_:booking,category,'Train');(_:booking,departure,'Kings Lynn');(_:booking,id,'TR1120');(_:booking,leave_at,'20:11');(_:booking,people,'2');(_:booking,ref,'O5BX1Y1G');(_:booking,type,'Booking'))
system
Train TR1120 , departing Kings Lynn at 20:11 has been booked for 2 seats . Your reference number is O5BX1Y1G .
inform((_:search,day,'saturday');(_:search,type,'Train'))
user
I 'm so sorry , I misspoke , I need the train on Saturday . Is it possible to change the reservation ?
inform((_:result,day,'Saturday');(_:result,type,'Train'))
system
The train is for Saturday you are all set
thank()
user
Oh ok , thank you .
reqmore()
system
Is there anything else I can assist you with today ?
thank()
user
No , thank you . I think we 've covered it all .
system
Ok great . Have a wonderful day !
_:search area centre
_:search type Restaurant
_:search area centre
_:booking name J restaurant
_:booking type Booking
_:search food indian
_:search type Restaurant
_:search area centre
_:booking name J restaurant
_:booking type Booking
_:search food indian
_:search pricerange ?
_:search type Restaurant
_:result count 9
_:result type Restaurant
_:search area centre
_:booking name J restaurant
_:booking type Booking
_:search food indian
_:search pricerange ?
_:result count 9
_:result name Curry Garden
_:result pricerange expensive
_:result type Restaurant
_:search day friday
_:search duration 13:30
_:search people 2
_:search type Restaurant
_:result ref ?
_:search area centre
_:booking name J restaurant
_:search food indian
_:search pricerange ?
_:result count 9
_:result name Curry Garden
_:result pricerange expensive
_:result type Restaurant
_:search duration 13:30
_:search people 2
_:result ref ?
_:booking ref JWD13X11
_:booking type Booking
_:search day sunday
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 19:45
_:search type Train
_:search area centre
_:booking name J restaurant
_:search food indian
_:search pricerange ?
_:result name Curry Garden
_:result pricerange expensive
_:search duration 13:30
_:result ref ?
_:booking ref JWD13X11
_:booking type Booking
_:search day sunday
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 19:45
_:result count 4
_:result departure kings lynn
_:result leave_at 19:45
_:result leave_at hourly starting at 20:11 until 23:11
_:result type Train
_:system offered _:booking
_:booking category Train
_:search people 2
_:search type Train
_:search area centre
_:booking name J restaurant
_:search food indian
_:search pricerange ?
_:result name Curry Garden
_:result pricerange expensive
_:search duration 13:30
_:result ref ?
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 19:45
_:result count 4
_:result departure kings lynn
_:result leave_at 19:45
_:result leave_at hourly starting at 20:11 until 23:11
_:result type Train
_:system offered _:booking
_:search people 2
_:booking category Train
_:booking departure Kings Lynn
_:booking id TR1120
_:booking leave_at 20:11
_:booking people 2
_:booking ref O5BX1Y1G
_:booking type Booking
_:search day saturday
_:search type Train
_:search area centre
_:booking name J restaurant
_:search food indian
_:search pricerange ?
_:result name Curry Garden
_:result pricerange expensive
_:search duration 13:30
_:result ref ?
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 19:45
_:result count 4
_:result departure kings lynn
_:result leave_at 19:45
_:result leave_at hourly starting at 20:11 until 23:11
_:system offered _:booking
_:search people 2
_:booking category Train
_:booking departure Kings Lynn
_:booking id TR1120
_:booking leave_at 20:11
_:booking people 2
_:booking ref O5BX1Y1G
_:booking type Booking
_:search day saturday
_:search type Train
_:result day Saturday
_:result type Train
_:search area centre
_:booking name J restaurant
_:search food indian
_:search pricerange ?
_:result name Curry Garden
_:result pricerange expensive
_:search duration 13:30
_:result ref ?
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 19:45
_:result count 4
_:result departure kings lynn
_:result leave_at 19:45
_:result leave_at hourly starting at 20:11 until 23:11
_:system offered _:booking
_:search people 2
_:booking category Train
_:booking departure Kings Lynn
_:booking id TR1120
_:booking leave_at 20:11
_:booking people 2
_:booking ref O5BX1Y1G
_:booking type Booking
_:search day saturday
_:search type Train
_:result day Saturday
_:result type Train
_:system inquired _:user