inform((_:search,area,'centre');(_:search,pricerange,'moderately');(_:search,type,'Restaurant'))
user
I am looking for a restaurant in the centre that is moderately priced .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,count,'21');(_:result,type,'Restaurant'))
system
There are 21 different options . Did you prefer a certain type of food ?
inform((_:search,day,'saturday');(_:search,duration,'13:15');(_:search,people,'7');(_:search,type,'Restaurant'))
user
Not really , but any place that can handle a booking for 7 people at 13:15 on saturday
canthelp((_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
Booking was unsuccessful . Would you like to try for another day or time slot ?
inform((_:search,duration,'12:15');(_:search,type,'Restaurant'))
user
How about 12:15 instead , will that work ?
inform((_:booking,ref,'K3MQVQ4N');(_:booking,type,'Booking');(_:result,name,'yippee noodle bar');(_:result,type,'Restaurant'))
system
Your reservation at yippee noodle bar is all set , reference number is K3MQVQ4N
inform((_:search,departure,'cambridge');(_:search,leave_at,'20:30');(_:search,type,'Train'))
user
Thank , I also need train tickets leaving cambridge at 20:30 or later .
inform((_:result,count,'259');(_:result,departure,'cambridge');(_:result,type,'Train')) request((_:search,day,?);(_:search,destination,?);(_:search,type,'Train'))
system
I have 259 trains departing cambridge . Could you be more specific on your destination and what day you 'd like to leave on ?
inform((_:search,day,'sunday');(_:search,destination,'bishops stortford');(_:search,type,'Train'))
user
I would be travelling to bishops stortford leaving on Sunday .
inform((_:result,count,'2');(_:result,leave_at,'21:29');(_:result,leave_at,'23:29');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have two trains meeting your criteria . One leaves at 21:29 and the other at 23:29 . Would you like me to book either one of those for you ?
inform((_:search,people,'7');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
I will take the earlier one , can you reserve me 7 tickets and provide me with the reference number ?
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'NHA8SEGI');(_:booking,ticket,'56.56 GBP');(_:booking,type,'Booking'))
system
Great ! You 're booked with reference number NHA8SEGI . The total fee is 56.56 GBP payable at the station . Anything else ?
thank()
user
That should be it thank you very much
system
You are welcome . Have a good day now .
_:search area centre
_:search pricerange moderately
_:search type Restaurant
_:search area centre
_:search pricerange moderately
_:search food ?
_:result count 21
_:result type Restaurant
_:search day saturday
_:search duration 13:15
_:search people 7
_:search type Restaurant
_:search area centre
_:search pricerange moderately
_:search food ?
_:result count 21
_:result type Restaurant
_:search day saturday
_:search people 7
_:system canthelp _:booking/db824a48
_:booking/db824a48 type Booking
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search duration 12:15
_:search type Restaurant
_:search area centre
_:search pricerange moderately
_:search food ?
_:result count 21
_:search day saturday
_:search people 7
_:system canthelp _:booking/db824a48
_:booking/db824a48 type Booking
_:booking day ?
_:booking duration ?
_:search duration 12:15
_:booking ref K3MQVQ4N
_:booking type Booking
_:result name yippee noodle bar
_:result type Restaurant
_:search departure cambridge
_:search leave_at 20:30
_:search type Train
_:search area centre
_:search pricerange moderately
_:search food ?
_:search people 7
_:system canthelp _:booking/db824a48
_:booking/db824a48 type Booking
_:booking day ?
_:booking duration ?
_:search duration 12:15
_:booking ref K3MQVQ4N
_:booking type Booking
_:result name yippee noodle bar
_:search departure cambridge
_:search leave_at 20:30
_:result count 259
_:result departure cambridge
_:result type Train
_:search day sunday
_:search destination bishops stortford
_:search type Train
_:search area centre
_:search pricerange moderately
_:search food ?
_:system canthelp _:booking/db824a48
_:booking/db824a48 type Booking
_:booking day ?
_:booking duration ?
_:search duration 12:15
_:booking ref K3MQVQ4N
_:booking type Booking
_:result name yippee noodle bar
_:search departure cambridge
_:search leave_at 20:30
_:result departure cambridge
_:search day sunday
_:search destination bishops stortford
_:result count 2
_:result leave_at 21:29
_:result leave_at 23:29
_:result type Train
_:system offered _:booking
_:booking category Train
_:search people 7
_:search type Train
_:result ref ?
_:search area centre
_:search pricerange moderately
_:search food ?
_:system canthelp _:booking/db824a48
_:booking/db824a48 type Booking
_:booking day ?
_:booking duration ?
_:search duration 12:15
_:result name yippee noodle bar
_:search departure cambridge
_:search leave_at 20:30
_:result departure cambridge
_:search day sunday
_:search destination bishops stortford
_:result count 2
_:result leave_at 21:29
_:result leave_at 23:29
_:result type Train
_:system offered _:booking
_:search people 7
_:search type Train
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref NHA8SEGI
_:booking ticket 56.56 GBP
_:booking type Booking