inform((_:search,area,'north');(_:search,type,'Restaurant'))
user
Can I ask you for a restaurant suggestion in the north today ?
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,count,'9');(_:result,type,'Restaurant'))
system
Okay , there are 9 different available restaurants . What type of food would you like to eat ?
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
What types of expensive restaurants are in that part of town ?
select((_:result,food,'Asian Oriental');(_:result,food,'Chinese');(_:result,food,'French');(_:result,food,'Indian');(_:result,food,'Italian');(_:result,type,'Restaurant')) inform((_:result,type,'Restaurant'))
system
I have Asian Oriental , Chinese , French , Italian and Indian . Any preference ?
inform((_:search,day,'friday');(_:search,duration,'12:45');(_:search,food,'french');(_:search,people,'2');(_:search,type,'Restaurant'))
user
I would like to try French and I need a reservation for 2 people at 12:45 on Friday .
reqmore() inform((_:booking,duration,'12:45');(_:booking,name,'Restaurant Two Two');(_:booking,ref,'6BD74VBB');(_:booking,type,'Booking'))
system
I have booked you for Restaurant Two Two .   The table will be reserved 15 minutes after 12:45 .   Reference number is 6BD74VBB .   Is there anything else I can do ?
inform((_:search,arrive_by,'08:15');(_:search,departure,'King Lynn');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I am looking for a train going to Cambridge and should depart from King Lynn arriving by 08:15
request((_:search,day,?);(_:search,type,'Train'))
system
What day will you be traveling ?
inform((_:search,day,'friday');(_:search,type,'Train'))
user
I need it on Friday .
offer((_:booking,category,'Train');(_:booking,leave_at,'07:58');(_:booking,type,'Booking'))
system
There is a train arriving at 07:58 would you like me to book tickets for that one ?
inform((_:search,people,'2');(_:search,type,'Train'))
user
Yes , I need 2 tickets please .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'SKG9JJLB');(_:booking,ticket,'19.6 GBP');(_:booking,type,'Booking'))
system
Your booking was successful , the total fee is 19.6 GBP payable at the station . 
 Reference number is : SKG9JJLB .   What else can I help you with today ?
bye()
user
that is it for today . have a god day
system
You 're welcome ! And thank you , likewise !
_:search area north
_:search type Restaurant
_:search area north
_:search food ?
_:result count 9
_:result type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:search area north
_:result count 9
_:search pricerange expensive
_:result food Asian Oriental
_:result food Chinese
_:result food French
_:result food Indian
_:result food Italian
_:result type Restaurant
_:search day friday
_:search duration 12:45
_:search food french
_:search people 2
_:search type Restaurant
_:search area north
_:result count 9
_:search pricerange expensive
_:result food Asian Oriental
_:result food Chinese
_:result food French
_:result food Indian
_:result food Italian
_:result type Restaurant
_:search day friday
_:search duration 12:45
_:search food french
_:search people 2
_:system inquired _:user
_:booking duration 12:45
_:booking name Restaurant Two Two
_:booking ref 6BD74VBB
_:booking type Booking
_:search arrive_by 08:15
_:search departure King Lynn
_:search destination cambridge
_:search type Train
_:search area north
_:result count 9
_:search pricerange expensive
_:result food Asian Oriental
_:result food Chinese
_:result food French
_:result food Indian
_:result food Italian
_:result type Restaurant
_:search duration 12:45
_:search food french
_:search people 2
_:system inquired _:user
_:booking duration 12:45
_:booking name Restaurant Two Two
_:booking ref 6BD74VBB
_:booking type Booking
_:search arrive_by 08:15
_:search departure King Lynn
_:search destination cambridge
_:search day friday
_:search type Train
_:search area north
_:result count 9
_:search pricerange expensive
_:result food Asian Oriental
_:result food Chinese
_:result food French
_:result food Indian
_:result food Italian
_:result type Restaurant
_:search duration 12:45
_:search food french
_:system inquired _:user
_:booking duration 12:45
_:booking name Restaurant Two Two
_:booking ref 6BD74VBB
_:booking type Booking
_:search arrive_by 08:15
_:search departure King Lynn
_:search destination cambridge
_:search day friday
_:system offered _:booking
_:booking category Train
_:booking leave_at 07:58
_:search people 2
_:search type Train
_:search area north
_:result count 9
_:search pricerange expensive
_:result food Asian Oriental
_:result food Chinese
_:result food French
_:result food Indian
_:result food Italian
_:result type Restaurant
_:search duration 12:45
_:search food french
_:booking duration 12:45
_:booking name Restaurant Two Two
_:search arrive_by 08:15
_:search departure King Lynn
_:search destination cambridge
_:search day friday
_:system offered _:booking
_:booking leave_at 07:58
_:search people 2
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking ref SKG9JJLB
_:booking ticket 19.6 GBP
_:booking type Booking
_:user dismissed _:system