inform((_:search,type,'Taxi'))
user
i want to book a taxi .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
Where is your departure and destination locations ?
inform((_:search,arrive_by,'11:30');(_:search,departure,'vue cinema');(_:search,destination,'clowns cafe');(_:search,type,'Taxi'))
user
I need to leave vue cinema and arrive at clowns cafe by 11:30 .
inform((_:result,car,'white volvo');(_:result,phone,'07119414615');(_:result,type,'Taxi')) reqmore()
system
Okay , I have a white volvo for you with the contact number 07119414615 . Anything else ?
thank()
user
No thanks that will be all . Thank you for your time .
system
Glad I could help . Have a great day .
_:search type Taxi
_:search arrive_by 11:30
_:search departure vue cinema
_:search destination clowns cafe
_:search type Taxi
_:search arrive_by 11:30
_:search departure vue cinema
_:search destination clowns cafe
_:search type Taxi
_:result car white volvo
_:result phone 07119414615
_:result type Taxi
_:system inquired _:user