inform((_:search,area,'south');(_:search,food,'italian');(_:search,type,'Restaurant'))
user
Do you know of any places in the south that serve Italian food ?
select((_:result,name,'frankie and bennys');(_:result,name,'pizza hut cherry hinton');(_:result,pricerange,'expensive');(_:result,pricerange,'moderately priced');(_:result,type,'Restaurant')) offer((_:booking,type,'Booking')) inform((_:result,type,'Restaurant'))
system
We have pizza hut cherry hinton which is moderately priced or frankie and bennys which is expensive .   Would you like me to book one of those ?
inform((_:search,name,'frankie and bennys');(_:search,type,'Restaurant'))
user
Sure , lets go with Frankie and Bennys .
request((_:booking,day,?);(_:booking,duration,?);(_:booking,people,?);(_:booking,type,'Booking'))
system
Alright , I will need to know how many people are in your party , and what time / day you would like to book for .
inform((_:search,day,'sunday');(_:search,duration,'15:30');(_:search,people,'eight');(_:search,type,'Restaurant'))
user
I need a table for eight at 15:30 on Sunday .
inform((_:booking,day,'Saturday');(_:booking,duration,'15:30');(_:booking,people,'8');(_:booking,ref,'12263FX1');(_:booking,type,'Booking'))
system
Alright , I have a table for 8 booked at 15:30 on Saturday . your reference number is 12263FX1 .
inform((_:search,area,'south');(_:search,category,'theatre');(_:search,type,'Attraction'))
user
Can you also give me the name of a theatre that is also in the south part of town ?
inform((_:result,area,'south');(_:result,name,'Junction Theatre');(_:result,type,'Attraction'))
system
The Junction Theatre is in the south area . Would you like the phone number ?
request((_:result,address,?);(_:result,type,'Attraction'))
user
No , but the address would be nice .
inform((_:result,address,'Clifton Way');(_:result,name,'Junction Theatre');(_:result,type,'Attraction'))
system
Sure , The Junction Theatre is on Clifton Way .
inform((_:search,type,'Taxi'))
user
Great , thank you .   Could you help with booking a taxi ?
request((_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
I certainly can when and where will you be leaving from , and where would you like to go ?
inform((_:search,departure,'junction theatre');(_:search,destination,'frankie and bennys');(_:search,leave_at,'time for our reservations');(_:search,type,'Taxi'))
user
I 'd like a taxi from Junction Theatre to our restaurant . Please make sure it will arrive in time for our reservations .
inform((_:result,car,'grey skoda');(_:result,leave_at,'15:00');(_:result,phone,'07952875900');(_:result,type,'Taxi'))
system
I have booked you a taxi that will pick you up at 15:00 . The car type booked is a grey skoda and the contact number is 07952875900 .
thank()
user
I think that 's all I need for today . Thank you so much for all your help .
system
You 're welcome ! Have a nice day . Goodbye .
_:search area south
_:search food italian
_:search type Restaurant
_:search area south
_:search food italian
_:result name frankie and bennys
_:result name pizza hut cherry hinton
_:result pricerange expensive
_:result pricerange moderately priced
_:system offered _:booking
_:booking type Booking
_:result type Restaurant
_:search name frankie and bennys
_:search type Restaurant
_:search area south
_:search food italian
_:result name frankie and bennys
_:result name pizza hut cherry hinton
_:result pricerange expensive
_:result pricerange moderately priced
_:system offered _:booking
_:result type Restaurant
_:search name frankie and bennys
_:booking day ?
_:booking duration ?
_:booking people ?
_:booking type Booking
_:search day sunday
_:search duration 15:30
_:search people eight
_:search type Restaurant
_:search food italian
_:result name frankie and bennys
_:result name pizza hut cherry hinton
_:result pricerange expensive
_:result pricerange moderately priced
_:system offered _:booking
_:result type Restaurant
_:search name frankie and bennys
_:search day sunday
_:search duration 15:30
_:search people eight
_:booking day Saturday
_:booking duration 15:30
_:booking people 8
_:booking ref 12263FX1
_:booking type Booking
_:search area south
_:search category theatre
_:search type Attraction
_:search food italian
_:result pricerange expensive
_:result pricerange moderately priced
_:system offered _:booking
_:search name frankie and bennys
_:search day sunday
_:search duration 15:30
_:search people eight
_:booking day Saturday
_:booking duration 15:30
_:booking people 8
_:booking ref 12263FX1
_:booking type Booking
_:search area south
_:search category theatre
_:search type Attraction
_:result area south
_:result name Junction Theatre
_:result type Attraction
_:result address ?
_:search food italian
_:result pricerange expensive
_:result pricerange moderately priced
_:system offered _:booking
_:search name frankie and bennys
_:search day sunday
_:search duration 15:30
_:search people eight
_:booking day Saturday
_:booking duration 15:30
_:booking people 8
_:booking ref 12263FX1
_:booking type Booking
_:search area south
_:search category theatre
_:result area south
_:result address Clifton Way
_:result name Junction Theatre
_:result type Attraction
_:search type Taxi
_:search food italian
_:result pricerange expensive
_:result pricerange moderately priced
_:system offered _:booking
_:search name frankie and bennys
_:search day sunday
_:search duration 15:30
_:search people eight
_:booking day Saturday
_:booking duration 15:30
_:booking people 8
_:booking ref 12263FX1
_:booking type Booking
_:search area south
_:search category theatre
_:result area south
_:result address Clifton Way
_:result name Junction Theatre
_:result type Attraction
_:search departure junction theatre
_:search destination frankie and bennys
_:search leave_at time for our reservations
_:search type Taxi
_:search food italian
_:result pricerange expensive
_:result pricerange moderately priced
_:system offered _:booking
_:search name frankie and bennys
_:search day sunday
_:search duration 15:30
_:search people eight
_:booking day Saturday
_:booking duration 15:30
_:booking people 8
_:booking ref 12263FX1
_:booking type Booking
_:search area south
_:search category theatre
_:result area south
_:result address Clifton Way
_:result name Junction Theatre
_:search departure junction theatre
_:search destination frankie and bennys
_:search leave_at time for our reservations
_:search type Taxi
_:result car grey skoda
_:result leave_at 15:00
_:result phone 07952875900
_:result type Taxi