inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I am looking for an expensive restaurant in the centre at Cambridge .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,count,'33');(_:result,type,'Restaurant'))
system
There are 33 restaurants that fit your requirements , is there a type of cuisine you are interested in ?
inform((_:search,food,'seafood');(_:search,type,'Restaurant'))
user
The restaurant should serve seafood .
offer((_:booking,type,'Booking')) inform((_:result,area,'centre');(_:result,food,'seafood');(_:result,name,'Loch Fyne');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Loch Fyne is an expensive seafood restaurant in the centre .   Should I book it ?
inform((_:search,day,'wednesday');(_:search,people,'3');(_:search,type,'Restaurant'))
user
Yes please . Can you book it for 3 people on Wednesday ?
request((_:booking,duration,?);(_:booking,type,'Booking'))
system
What time would you like me to book the reservation ?
inform((_:search,duration,'18:30');(_:search,type,'Restaurant'))
user
Please book the reservation for 18:30 .
inform((_:booking,ref,'JX5WC64A');(_:booking,type,'Booking'))
system
The booking was successful . The reference number is JX5WC64A .
inform((_:search,day,'wednesday');(_:search,departure,'stansted airport');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Thanks . Now I need to find a train from stansted airport to cambridge on wednesday .
inform((_:result,count,'19');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
i have found 19 trains . what time do you wish to depart ?
inform((_:search,arrive_by,'15:15');(_:search,type,'Train')) request((_:result,id,?);(_:result,leave_at,?);(_:result,type,'Train'))
user
I need to arrive by 15:15 , can you give me a train ID matching that and a departure time ?
inform((_:result,arrive_by,'14:52');(_:result,departure,'Stansted Airport');(_:result,destination,'Cambridge');(_:result,id,'TR5499');(_:result,leave_at,'14:24');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR5499 leaves Stansted Airport at 14:24 and arrives in Cambridge at 14:52 .   Would that work for you ?
thank()
user
That is everything I needed to know . Thanks for your help !
system
Okay I am glad to be of service . Thanks for calling .
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result count 33
_:result type Restaurant
_:search food seafood
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result count 33
_:search food seafood
_:system offered _:booking
_:booking type Booking
_:result area centre
_:result food seafood
_:result name Loch Fyne
_:result pricerange expensive
_:result type Restaurant
_:search day wednesday
_:search people 3
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result count 33
_:search food seafood
_:system offered _:booking
_:result area centre
_:result food seafood
_:result name Loch Fyne
_:result pricerange expensive
_:result type Restaurant
_:search day wednesday
_:search people 3
_:booking duration ?
_:booking type Booking
_:search duration 18:30
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:result count 33
_:search food seafood
_:system offered _:booking
_:result area centre
_:result food seafood
_:result name Loch Fyne
_:result pricerange expensive
_:result type Restaurant
_:search people 3
_:booking duration ?
_:search duration 18:30
_:booking ref JX5WC64A
_:booking type Booking
_:search day wednesday
_:search departure stansted airport
_:search destination cambridge
_:search type Train
_:search area centre
_:search pricerange expensive
_:search food seafood
_:system offered _:booking
_:result area centre
_:result food seafood
_:result name Loch Fyne
_:result pricerange expensive
_:search people 3
_:booking duration ?
_:search duration 18:30
_:booking ref JX5WC64A
_:booking type Booking
_:search day wednesday
_:search departure stansted airport
_:search destination cambridge
_:result count 19
_:result type Train
_:search leave_at ?
_:search arrive_by 15:15
_:search type Train
_:result id ?
_:result leave_at ?
_:search area centre
_:search pricerange expensive
_:search food seafood
_:system offered _:booking
_:result area centre
_:result food seafood
_:result name Loch Fyne
_:result pricerange expensive
_:search people 3
_:booking duration ?
_:search duration 18:30
_:booking ref JX5WC64A
_:booking type Booking
_:search day wednesday
_:search departure stansted airport
_:search destination cambridge
_:result count 19
_:search leave_at ?
_:search arrive_by 15:15
_:search type Train
_:result arrive_by 14:52
_:result departure Stansted Airport
_:result destination Cambridge
_:result id TR5499
_:result leave_at 14:24
_:result type Train
_:booking category Train