inform((_:search,type,'Taxi'))
user
I need to book a taxi .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
I can do that for you . Where would you like to be picked up and what is your final destination ?
inform((_:search,arrive_by,'16:15');(_:search,destination,'whale of a time');(_:search,type,'Taxi'))
user
I have to be to whale of a time by 16:15
request((_:search,departure,?);(_:search,type,'Taxi'))
system
I 'd be happy to book that for you , where do you need picked up from ?
inform((_:search,departure,'gallery at twelve a high street');(_:search,type,'Taxi'))
user
I would like to leave from the gallery at twelve a high street .
inform((_:result,car,'yellow skoda');(_:result,type,'Taxi'))
system
Your taxi is booked . It is a yellow skoda .
thank()
user
Thank you .   Can I get a contact number ?
inform((_:result,phone,'07123859913');(_:result,type,'Taxi'))
system
The contact number 07123859913 .
bye()
user
Thank you , that 's all . Good bye .
system
Thank you for using our services .
_:search type Taxi
_:search departure ?
_:search arrive_by 16:15
_:search destination whale of a time
_:search type Taxi
_:search arrive_by 16:15
_:search destination whale of a time
_:search departure gallery at twelve a high street
_:search type Taxi
_:search arrive_by 16:15
_:search destination whale of a time
_:search departure gallery at twelve a high street
_:search type Taxi
_:result car yellow skoda
_:result type Taxi
_:search arrive_by 16:15
_:search destination whale of a time
_:search departure gallery at twelve a high street
_:search type Taxi
_:result car yellow skoda
_:result phone 07123859913
_:result type Taxi
_:user dismissed _:system