inform((_:search,area,'south');(_:search,food,'mexican');(_:search,type,'Restaurant'))
user
I 'm looking for a mexican restaurant in the south .
offer((_:booking,type,'Booking')) inform((_:result,amount,'only one');(_:result,name,'Chiquito Restaurant Bar');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There is only one .   It is an expensive restaurant called the Chiquito Restaurant Bar .   Can I reserve a table for you ?
user
Yes , that sounds perfect .
request((_:booking,day,?);(_:booking,duration,?);(_:booking,people,?);(_:booking,type,'Booking'))
system
When would you like to dine and how many people will there be ?
inform((_:search,day,'thursday');(_:search,duration,'14:45');(_:search,people,'1');(_:search,type,'Restaurant'))
user
I would like to dine for 1 person at 14:45 on thursday please
reqmore() inform((_:booking,ref,'H2I6DR4I');(_:booking,type,'Booking'))
system
Booking was successful . The table will be reserved for 15 minutes . 
 Reference number is : H2I6DR4I . Do you need anything else ?
inform((_:search,arrive_by,'08:15');(_:search,departure,'london kings cross');(_:search,type,'Train'))
user
I need a train leaving London Kings Cross and arriving by 08:15 please .
request((_:search,day,?);(_:search,type,'Train'))
system
What day would you like to travel ?
inform((_:search,day,'thursday');(_:search,type,'Train'))
user
Also on Thursday .
inform((_:result,arrive_by,'06:08');(_:result,departure,'London');(_:result,id,'TR2775');(_:result,leave_at,'05:17');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR2775 train leaves London at 05:17 and arrives at 06:08 . Would you like me to make a reservation ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
That wo n't be necessary . What is the price ?
inform((_:result,id,'TR2775');(_:result,ticket,'23.60 pounds');(_:result,type,'Train'))
system
The cost for TR2775 is 23.60 pounds .
thank()
user
thank you so much for all of your help .
thank() reqmore()
system
You 're very welcome . Is there anything else I can assist you with ?
bye()
user
No , that 's all . Goodbye
system
Great ! Have a good day .
_:search area south
_:search food mexican
_:search type Restaurant
_:search area south
_:search food mexican
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:result amount only one
_:result name Chiquito Restaurant Bar
_:result pricerange expensive
_:result type Restaurant
_:search area south
_:search food mexican
_:system offered _:booking
_:result amount only one
_:result name Chiquito Restaurant Bar
_:result pricerange expensive
_:result type Restaurant
_:booking day ?
_:booking duration ?
_:booking people ?
_:booking type Booking
_:search day thursday
_:search duration 14:45
_:search people 1
_:search type Restaurant
_:search area south
_:search food mexican
_:system offered _:booking
_:result amount only one
_:result name Chiquito Restaurant Bar
_:result pricerange expensive
_:result type Restaurant
_:booking day ?
_:booking duration ?
_:booking people ?
_:search day thursday
_:search duration 14:45
_:search people 1
_:system inquired _:user
_:booking ref H2I6DR4I
_:booking type Booking
_:search arrive_by 08:15
_:search departure london kings cross
_:search type Train
_:search area south
_:search food mexican
_:system offered _:booking
_:result amount only one
_:result name Chiquito Restaurant Bar
_:result pricerange expensive
_:result type Restaurant
_:booking day ?
_:booking duration ?
_:booking people ?
_:search duration 14:45
_:search people 1
_:system inquired _:user
_:booking ref H2I6DR4I
_:booking type Booking
_:search arrive_by 08:15
_:search departure london kings cross
_:search day thursday
_:search type Train
_:search area south
_:search food mexican
_:system offered _:booking
_:result amount only one
_:result name Chiquito Restaurant Bar
_:result pricerange expensive
_:booking day ?
_:booking duration ?
_:booking people ?
_:search duration 14:45
_:search people 1
_:system inquired _:user
_:booking ref H2I6DR4I
_:booking type Booking
_:search arrive_by 08:15
_:search departure london kings cross
_:search day thursday
_:search type Train
_:result arrive_by 06:08
_:result departure London
_:result id TR2775
_:result leave_at 05:17
_:result type Train
_:booking category Train
_:result ticket ?
_:search area south
_:search food mexican
_:system offered _:booking
_:result amount only one
_:result name Chiquito Restaurant Bar
_:result pricerange expensive
_:booking day ?
_:booking duration ?
_:booking people ?
_:search duration 14:45
_:search people 1
_:system inquired _:user
_:booking ref H2I6DR4I
_:booking type Booking
_:search arrive_by 08:15
_:search departure london kings cross
_:search day thursday
_:search type Train
_:result arrive_by 06:08
_:result departure London
_:result leave_at 05:17
_:booking category Train
_:result id TR2775
_:result ticket 23.60 pounds
_:result type Train
_:search area south
_:search food mexican
_:system offered _:booking
_:result amount only one
_:result name Chiquito Restaurant Bar
_:result pricerange expensive
_:booking day ?
_:booking duration ?
_:booking people ?
_:search duration 14:45
_:search people 1
_:booking ref H2I6DR4I
_:booking type Booking
_:search arrive_by 08:15
_:search departure london kings cross
_:search day thursday
_:search type Train
_:result arrive_by 06:08
_:result departure London
_:result leave_at 05:17
_:booking category Train
_:result id TR2775
_:result ticket 23.60 pounds
_:result type Train
_:system inquired _:user
_:user dismissed _:system