inform((_:search,area,'centre');(_:search,pricerange,'moderately');(_:search,type,'Restaurant'))
user
Can you check if there are any moderately priced restaurants in the centre of town ?
select((_:result,food,'Asian');(_:result,food,'British');(_:result,type,'Restaurant')) inform((_:result,amount,'several');(_:result,type,'Restaurant'))
system
Yes , there are several . Do you prefer Asian or British food ?
inform((_:search,food,'modern european');(_:search,type,'Restaurant'))
user
i will do modern european food
select((_:result,name,'de luca cucina and bar');(_:result,name,'riverside brasserie');(_:result,type,'Restaurant')) inform((_:result,type,'Restaurant'))
system
Okay we have the de luca cucina and bar and the riverside brasserie . Which one would you like ?
inform((_:search,day,'saturday');(_:search,duration,'15:00');(_:search,name,'riverside brasserie');(_:search,people,'3');(_:search,type,'Restaurant'))
user
Let 's do the riverside brasserie . What about a table for 3 at 15:00 on Saturday ?
inform((_:booking,ref,'TYDEG9IJ');(_:booking,type,'Booking'))
system
Booking was successful . The table will be reserved for 15 minutes . Reference number is : TYDEG9IJ .
inform((_:search,departure,'cambridge');(_:search,destination,'ely');(_:search,type,'Train'))
user
Great I also need a train that should depart cambridge and head to ely .
request((_:search,day,?);(_:search,type,'Train'))
system
Sure , what day do you want to travel ?
inform((_:search,day,'sunday');(_:search,type,'Train'))
user
I would like to leave on a Sunday .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Do you have a preferred time frame ?
inform((_:search,arrive_by,'11:15');(_:search,type,'Train'))
user
I want to arrive by 11:15 .
inform((_:result,arrive_by,'10:07');(_:result,id,'TR3177');(_:result,leave_at,'09:50');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR3177 will arrive by 10:07 and leaves at 09:50 would you like me to book it for you ?
request((_:result,ref,?);(_:result,type,'Train'))
user
Yes , please . Include the reference number please
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'WVJC995L');(_:booking,ticket,'3.52 GBP');(_:booking,type,'Booking'))
system
You are set , the total fee is 3.52 GBP payable at the station , your Reference number is WVJC995L .   May I help with anything else ?
thank()
user
No that is all . Thank you . Goodbye
system
Ok . Thank you . Goodbye .
_:search area centre
_:search pricerange moderately
_:search type Restaurant
_:search area centre
_:search pricerange moderately
_:result food Asian
_:result food British
_:result amount several
_:result type Restaurant
_:search food modern european
_:search type Restaurant
_:search area centre
_:search pricerange moderately
_:result food Asian
_:result food British
_:result amount several
_:search food modern european
_:result name de luca cucina and bar
_:result name riverside brasserie
_:result type Restaurant
_:search day saturday
_:search duration 15:00
_:search name riverside brasserie
_:search people 3
_:search type Restaurant
_:search area centre
_:search pricerange moderately
_:result food Asian
_:result food British
_:result amount several
_:search food modern european
_:result name de luca cucina and bar
_:result name riverside brasserie
_:result type Restaurant
_:search day saturday
_:search duration 15:00
_:search name riverside brasserie
_:search people 3
_:booking ref TYDEG9IJ
_:booking type Booking
_:search departure cambridge
_:search destination ely
_:search type Train
_:search area centre
_:search pricerange moderately
_:result food Asian
_:result food British
_:result amount several
_:search food modern european
_:result name de luca cucina and bar
_:result name riverside brasserie
_:result type Restaurant
_:search duration 15:00
_:search name riverside brasserie
_:search people 3
_:booking ref TYDEG9IJ
_:booking type Booking
_:search departure cambridge
_:search destination ely
_:search day sunday
_:search type Train
_:search area centre
_:search pricerange moderately
_:result food Asian
_:result food British
_:result amount several
_:search food modern european
_:result name de luca cucina and bar
_:result name riverside brasserie
_:result type Restaurant
_:search duration 15:00
_:search name riverside brasserie
_:search people 3
_:booking ref TYDEG9IJ
_:booking type Booking
_:search departure cambridge
_:search destination ely
_:search day sunday
_:search leave_at ?
_:search arrive_by 11:15
_:search type Train
_:search area centre
_:search pricerange moderately
_:result food Asian
_:result food British
_:result amount several
_:search food modern european
_:result name de luca cucina and bar
_:result name riverside brasserie
_:search duration 15:00
_:search name riverside brasserie
_:search people 3
_:booking ref TYDEG9IJ
_:booking type Booking
_:search departure cambridge
_:search destination ely
_:search day sunday
_:search leave_at ?
_:search arrive_by 11:15
_:search type Train
_:result arrive_by 10:07
_:result id TR3177
_:result leave_at 09:50
_:result type Train
_:system offered _:booking
_:booking category Train
_:result ref ?
_:search area centre
_:search pricerange moderately
_:result food Asian
_:result food British
_:result amount several
_:search food modern european
_:result name de luca cucina and bar
_:result name riverside brasserie
_:search duration 15:00
_:search name riverside brasserie
_:search people 3
_:search departure cambridge
_:search destination ely
_:search day sunday
_:search leave_at ?
_:search arrive_by 11:15
_:search type Train
_:result arrive_by 10:07
_:result id TR3177
_:result leave_at 09:50
_:result type Train
_:system offered _:booking
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref WVJC995L
_:booking ticket 3.52 GBP
_:booking type Booking