inform((_:search,area,'north');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I 'm on the North side , please find me an expensive restaurant here
select((_:result,food,'Chinese');(_:result,food,'European');(_:result,food,'French');(_:result,type,'Restaurant'))
system
Would you prefer Chinese , French , or European cuisine ?
user
I 'm open .   What would you recommend ?
offer((_:booking,type,'Booking')) inform((_:result,food,'Chinese');(_:result,name,'Hotspot');(_:result,type,'Restaurant'))
system
I 'd recommend The Hotspot . It 's a Chinese restaurant . Would you like to book a table ?
inform((_:search,day,'friday');(_:search,duration,'13:15');(_:search,people,'4');(_:search,type,'Restaurant'))
user
Yes please , book me for 4 people at 13:15 on friday .
inform((_:booking,ref,'37DDZB4H');(_:booking,type,'Booking'))
system
The booking was successful . The reference number is : 37DDZB4H .
inform((_:search,day,'saturday');(_:search,departure,'leicester');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Can you find me a train from Leicester to Cambridge on Saturday >
request((_:search,arrive_by,?);(_:search,type,'Train'))
system
What time would you like to arrive by ?
inform((_:search,leave_at,'16:30');(_:search,type,'Train'))
user
I just need to leave sometime after 16:30 .
inform((_:result,id,'TR7824');(_:result,leave_at,'17:09');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR7824 bus leaves at 17:09 . Would you like to book this one ?
request((_:result,arrive_by,?);(_:result,ticket,?);(_:result,type,'Train'))
user
I do need the price and arrival time first .
inform((_:result,arrive_by,'18:54');(_:result,ticket,'30.24 pounds');(_:result,type,'Train'))
system
It arrives at 18:54 and is 30.24 pounds .
thank()
user
Thank you , that is all I need , you helped me a lot .
system
Great , have a terrific trip !
_:search area north
_:search pricerange expensive
_:search type Restaurant
_:search area north
_:search pricerange expensive
_:search type Restaurant
_:result food Chinese
_:result food European
_:result food French
_:result type Restaurant
_:search area north
_:search pricerange expensive
_:system offered _:booking
_:booking type Booking
_:result food Chinese
_:result name Hotspot
_:result type Restaurant
_:search day friday
_:search duration 13:15
_:search people 4
_:search type Restaurant
_:search area north
_:search pricerange expensive
_:system offered _:booking
_:result food Chinese
_:result name Hotspot
_:result type Restaurant
_:search duration 13:15
_:search people 4
_:booking ref 37DDZB4H
_:booking type Booking
_:search day saturday
_:search departure leicester
_:search destination cambridge
_:search type Train
_:search area north
_:search pricerange expensive
_:system offered _:booking
_:result food Chinese
_:result name Hotspot
_:result type Restaurant
_:search duration 13:15
_:search people 4
_:booking ref 37DDZB4H
_:booking type Booking
_:search day saturday
_:search departure leicester
_:search destination cambridge
_:search arrive_by ?
_:search leave_at 16:30
_:search type Train
_:search area north
_:search pricerange expensive
_:system offered _:booking
_:result food Chinese
_:result name Hotspot
_:search duration 13:15
_:search people 4
_:booking ref 37DDZB4H
_:booking type Booking
_:search day saturday
_:search departure leicester
_:search destination cambridge
_:search arrive_by ?
_:search leave_at 16:30
_:search type Train
_:result id TR7824
_:result leave_at 17:09
_:result type Train
_:booking category Train
_:result arrive_by ?
_:result ticket ?
_:search area north
_:search pricerange expensive
_:system offered _:booking
_:result food Chinese
_:result name Hotspot
_:search duration 13:15
_:search people 4
_:booking ref 37DDZB4H
_:booking type Booking
_:search day saturday
_:search departure leicester
_:search destination cambridge
_:search arrive_by ?
_:search leave_at 16:30
_:search type Train
_:result id TR7824
_:result leave_at 17:09
_:booking category Train
_:result arrive_by 18:54
_:result ticket 30.24 pounds
_:result type Train