inform((_:search,type,'Restaurant'))
user
I 'm looking for a place to dine , can you help ?
request((_:search,area,?);(_:search,food,?);(_:search,pricerange,?);(_:search,type,'Restaurant'))
system
Sure can , do you have a type of food , area , or price range you 'd like ?
inform((_:search,area,'centre');(_:search,food,'chinese');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I am looking for cheap Chinese food in centre .
request((_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,amount,'several');(_:result,area,'centre');(_:result,food,'Chinese');(_:result,name,'Charlie Chan');(_:result,type,'Restaurant'))
system
There are several Chinese restaurants in city centre , do you have a preferred price range ? Otherwise might I suggest Charlie Chan ?
inform((_:search,name,'Charlie Chan');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I would like to find something cheap .   Is Charlie Chan cheap ?
offer((_:booking,type,'Booking')) inform((_:result,name,'Charlie Chan');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
Yes Charlie Chan is in the cheap price range . Would you like a reservation ?
user
Yes can you please get me a reservation ?
request((_:booking,day,?);(_:booking,people,?);(_:booking,type,'Booking'))
system
Yes . How many people in your party and when would you like this for ?
inform((_:search,day,'friday');(_:search,duration,'18:15');(_:search,people,'5');(_:search,type,'Restaurant'))
user
There are 5 people , and we 'd like it for Friday at 18:15
reqmore() inform((_:booking,day,'Friday');(_:booking,duration,'18:15');(_:booking,name,'Charlie Chan');(_:booking,people,'5');(_:booking,type,'Booking'))
system
You now have a reservation for 5 at Charlie Chan on Friday at 18:15 .   Is there anything else I can help you with ?
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Can I have the reference number please ?
reqmore() inform((_:result,ref,'BIKD8UK9');(_:result,type,'Restaurant'))
system
Of course .   Reference number is : BIKD8UK9 .   How else can I help today ?
inform((_:search,area,'near the restaurant');(_:search,category,'college');(_:search,type,'Attraction')) request((_:result,car,?);(_:result,entrance_fee,?);(_:result,phone,?);(_:result,type,'Attraction');(_:result,type,'Taxi'))
user
I need to visit an attraction type college near the restaurant , give me the entrance fee and phone number . Also , I need a taxi , will need the phone and car type .
inform((_:result,amount,'several');(_:result,entrance_fee,'free');(_:result,name,"saint catharine 's college");(_:result,phone,'01223338300');(_:result,type,'Attraction'))
system
There are several , but my favorite one is saint catharine 's college . Their phone number is 01223338300 and admission is free . Do you need a cab ?
inform((_:search,arrive_by,'18:15');(_:search,type,'Taxi'))
user
Yes , please . Get me a taxi and make sure it gets to the restaurant by 18:15
request((_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
I can book your taxi I need to know the time you would like to travel , the departure and destination .
inform((_:search,arrive_by,'the booking time');(_:search,destination,'the restaurant');(_:search,type,'Taxi'))
user
i would like it to arrive at the restaurant by the booking time
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where will you be departing from ?
inform((_:search,departure,"saint catharine 's college");(_:search,type,'Taxi'))
user
I will be departing from saint catharine 's college .
inform((_:result,car,'grey tesla');(_:result,leave_at,'18:15');(_:result,phone,'07764615987');(_:result,type,'Taxi'))
system
A grey tesla will pick you up at 18:15 . You can contact the driver at 07764615987
bye()
user
Thanks ! That 's all I needed ! Bye !
system
Thank you , and have a good evening !
_:search type Restaurant
_:search area centre
_:search food chinese
_:search pricerange cheap
_:search type Restaurant
_:search area centre
_:search food chinese
_:result amount several
_:result area centre
_:result food Chinese
_:result name Charlie Chan
_:result type Restaurant
_:search name Charlie Chan
_:search pricerange cheap
_:search type Restaurant
_:search area centre
_:search food chinese
_:result amount several
_:result area centre
_:result food Chinese
_:search name Charlie Chan
_:search pricerange cheap
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:result name Charlie Chan
_:result pricerange cheap
_:result type Restaurant
_:search area centre
_:search food chinese
_:result amount several
_:result area centre
_:result food Chinese
_:search name Charlie Chan
_:search pricerange cheap
_:system offered _:booking
_:result name Charlie Chan
_:result pricerange cheap
_:result type Restaurant
_:booking day ?
_:booking people ?
_:booking type Booking
_:search day friday
_:search duration 18:15
_:search people 5
_:search type Restaurant
_:search area centre
_:search food chinese
_:result amount several
_:result area centre
_:result food Chinese
_:search name Charlie Chan
_:search pricerange cheap
_:system offered _:booking
_:result name Charlie Chan
_:result pricerange cheap
_:result type Restaurant
_:search day friday
_:search duration 18:15
_:search people 5
_:search type Restaurant
_:system inquired _:user
_:booking day Friday
_:booking duration 18:15
_:booking name Charlie Chan
_:booking people 5
_:booking type Booking
_:result ref ?
_:search food chinese
_:result amount several
_:result area centre
_:result food Chinese
_:search name Charlie Chan
_:search pricerange cheap
_:system offered _:booking
_:result name Charlie Chan
_:result pricerange cheap
_:search day friday
_:search duration 18:15
_:search people 5
_:booking day Friday
_:booking duration 18:15
_:booking name Charlie Chan
_:booking people 5
_:booking type Booking
_:system inquired _:user
_:result ref BIKD8UK9
_:result type Restaurant
_:search area near the restaurant
_:search category college
_:search type Attraction
_:result car ?
_:result entrance_fee ?
_:result phone ?
_:result type Attraction
_:result type Taxi
_:search food chinese
_:result area centre
_:result food Chinese
_:search name Charlie Chan
_:search pricerange cheap
_:system offered _:booking
_:result pricerange cheap
_:search day friday
_:search duration 18:15
_:search people 5
_:booking day Friday
_:booking duration 18:15
_:booking name Charlie Chan
_:booking people 5
_:booking type Booking
_:system inquired _:user
_:result ref BIKD8UK9
_:search area near the restaurant
_:search category college
_:result car ?
_:result amount several
_:result entrance_fee free
_:result name saint catharine 's college
_:result phone 01223338300
_:result type Attraction
_:search arrive_by 18:15
_:search type Taxi
_:search food chinese
_:result area centre
_:result food Chinese
_:search name Charlie Chan
_:search pricerange cheap
_:system offered _:booking
_:result pricerange cheap
_:search day friday
_:search duration 18:15
_:search people 5
_:booking day Friday
_:booking duration 18:15
_:booking name Charlie Chan
_:booking people 5
_:booking type Booking
_:system inquired _:user
_:result ref BIKD8UK9
_:search area near the restaurant
_:search category college
_:result car ?
_:result amount several
_:result entrance_fee free
_:result name saint catharine 's college
_:result phone 01223338300
_:result type Attraction
_:search departure ?
_:search leave_at ?
_:search arrive_by the booking time
_:search destination the restaurant
_:search type Taxi
_:search food chinese
_:result area centre
_:result food Chinese
_:search name Charlie Chan
_:search pricerange cheap
_:system offered _:booking
_:result pricerange cheap
_:search day friday
_:search duration 18:15
_:search people 5
_:booking day Friday
_:booking duration 18:15
_:booking name Charlie Chan
_:booking people 5
_:booking type Booking
_:system inquired _:user
_:result ref BIKD8UK9
_:search area near the restaurant
_:search category college
_:result car ?
_:result amount several
_:result entrance_fee free
_:result name saint catharine 's college
_:result phone 01223338300
_:result type Attraction
_:search leave_at ?
_:search arrive_by the booking time
_:search destination the restaurant
_:search departure saint catharine 's college
_:search type Taxi
_:search food chinese
_:result area centre
_:result food Chinese
_:search name Charlie Chan
_:search pricerange cheap
_:system offered _:booking
_:result pricerange cheap
_:search day friday
_:search duration 18:15
_:search people 5
_:booking day Friday
_:booking duration 18:15
_:booking name Charlie Chan
_:booking people 5
_:booking type Booking
_:system inquired _:user
_:result ref BIKD8UK9
_:search area near the restaurant
_:search category college
_:result amount several
_:result entrance_fee free
_:result name saint catharine 's college
_:search leave_at ?
_:search arrive_by the booking time
_:search destination the restaurant
_:search departure saint catharine 's college
_:search type Taxi
_:result car grey tesla
_:result leave_at 18:15
_:result phone 07764615987
_:result type Taxi
_:user dismissed _:system