inform((_:search,type,'Restaurant'))
user
Hello , I 'd like some information on a restaurant today .
request((_:search,area,?);(_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,count,'110');(_:result,type,'Restaurant'))
system
There are 110 restaurants . What area or type of food would you like ?
inform((_:search,area,'south');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I really need something cheap and in the South please .
select((_:result,food,'Chinese');(_:result,food,'Portuguese');(_:result,type,'Restaurant')) inform((_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
There is Portuguese adn Chinese cheap in this area . Any preference ?
inform((_:search,day,'wednesday');(_:search,duration,'12:00');(_:search,food,'chinese');(_:search,people,'2');(_:search,type,'Restaurant'))
user
Let 's go Chinese .   Please book for 2 people on Wednesday at 12:00
offer((_:booking,type,'Booking')) reqmore() inform((_:result,address,'cambridge leisure park clifton way cherry hinton');(_:result,area,'south');(_:result,food,'chinese');(_:result,name,'lucky star');(_:result,type,'Restaurant'))
system
I can book the lucky star chinese restaurant in the south . It 's address is cambridge leisure park clifton way cherry hinton . Is there anything else I can help with ?
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Sounds great ! Can i get a reference number after it is booked ?
inform((_:booking,day,'Wednesday');(_:booking,duration,'12:00');(_:booking,people,'2');(_:booking,ref,'LERUQAPY');(_:booking,type,'Booking'))
system
Your reservation is for 2 people on Wednesday at 12:00 . The reservation number is LERUQAPY .
inform((_:search,arrive_by,'8:00');(_:search,departure,'kings lynn');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Great . I also need a train from kings lynn to cambridge that morning . I need it to get in by 8:00 .
inform((_:result,arrive_by,'07:58');(_:result,destination,'Cambridge');(_:result,id,'TR5831');(_:result,leave_at,'07:11');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have train TR5831 that leaves at 07:11 and will arrive in Cambridge by 07:58 . Would that work for you ?
thank()
user
Yeah , that works for me . Thanks for the help .
offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
How many tickets would you like ?
inform((_:search,type,'Train'))
user
I wo n't be needing the train after all . Thank you for the help !
thank() reqmore()
system
OKay ! You 're very welcome ! Is there anything else I can do for you today ?
thank()
user
No thank you that will be all
system
Have a great day !
_:search type Restaurant
_:search food ?
_:result count 110
_:result type Restaurant
_:search area south
_:search pricerange cheap
_:search type Restaurant
_:result count 110
_:search area south
_:search pricerange cheap
_:result food Chinese
_:result food Portuguese
_:result pricerange cheap
_:result type Restaurant
_:search day wednesday
_:search duration 12:00
_:search food chinese
_:search people 2
_:search type Restaurant
_:result count 110
_:search area south
_:search pricerange cheap
_:result pricerange cheap
_:search day wednesday
_:search duration 12:00
_:search food chinese
_:search people 2
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:system inquired _:user
_:result address cambridge leisure park clifton way cherry hinton
_:result area south
_:result food chinese
_:result name lucky star
_:result type Restaurant
_:result ref ?
_:result count 110
_:search area south
_:search pricerange cheap
_:result pricerange cheap
_:search day wednesday
_:search duration 12:00
_:search food chinese
_:search people 2
_:system offered _:booking
_:system inquired _:user
_:result address cambridge leisure park clifton way cherry hinton
_:result area south
_:result food chinese
_:result name lucky star
_:result type Restaurant
_:result ref ?
_:booking day Wednesday
_:booking duration 12:00
_:booking people 2
_:booking ref LERUQAPY
_:booking type Booking
_:search arrive_by 8:00
_:search departure kings lynn
_:search destination cambridge
_:search type Train
_:result count 110
_:search area south
_:search pricerange cheap
_:result pricerange cheap
_:search day wednesday
_:search duration 12:00
_:search food chinese
_:search people 2
_:system offered _:booking
_:system inquired _:user
_:result address cambridge leisure park clifton way cherry hinton
_:result area south
_:result food chinese
_:result name lucky star
_:result ref ?
_:booking day Wednesday
_:booking duration 12:00
_:booking people 2
_:booking ref LERUQAPY
_:booking type Booking
_:search arrive_by 8:00
_:search departure kings lynn
_:search destination cambridge
_:search type Train
_:result arrive_by 07:58
_:result destination Cambridge
_:result id TR5831
_:result leave_at 07:11
_:result type Train
_:booking category Train
_:result count 110
_:search area south
_:search pricerange cheap
_:result pricerange cheap
_:search day wednesday
_:search duration 12:00
_:search food chinese
_:search people 2
_:system offered _:booking
_:system inquired _:user
_:result address cambridge leisure park clifton way cherry hinton
_:result area south
_:result food chinese
_:result name lucky star
_:result ref ?
_:booking day Wednesday
_:booking duration 12:00
_:booking people 2
_:booking ref LERUQAPY
_:booking type Booking
_:search arrive_by 8:00
_:search departure kings lynn
_:search destination cambridge
_:result arrive_by 07:58
_:result destination Cambridge
_:result id TR5831
_:result leave_at 07:11
_:result type Train
_:booking category Train
_:search type Train
_:result count 110
_:search area south
_:search pricerange cheap
_:result pricerange cheap
_:search day wednesday
_:search duration 12:00
_:search food chinese
_:search people 2
_:system offered _:booking
_:result address cambridge leisure park clifton way cherry hinton
_:result area south
_:result food chinese
_:result name lucky star
_:result ref ?
_:booking day Wednesday
_:booking duration 12:00
_:booking people 2
_:booking ref LERUQAPY
_:booking type Booking
_:search arrive_by 8:00
_:search departure kings lynn
_:search destination cambridge
_:result arrive_by 07:58
_:result destination Cambridge
_:result id TR5831
_:result leave_at 07:11
_:result type Train
_:booking category Train
_:search type Train
_:system inquired _:user