inform((_:search,arrive_by,'21:15');(_:search,departure,'el shaddai');(_:search,type,'Taxi'))
user
Please find me a taxi ? I 'm at the el shaddai and I need to arrive by 21:15 .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Okay . I will need your destination first .
inform((_:search,destination,'cocum');(_:search,type,'Taxi'))
user
I 'm going to cocum .
inform((_:result,car,'white bmv');(_:result,phone,'07785490051');(_:result,type,'Taxi'))
system
I have a white bmv with a contact number of 07785490051 .
thank()
user
That will be fine , thank you very much .
reqmore()
system
What else can I do for you today ?
thank()
user
I am finished .   Thank you .
system
Thank you for contacting us and have a nice day .
_:search arrive_by 21:15
_:search departure el shaddai
_:search type Taxi
_:search arrive_by 21:15
_:search departure el shaddai
_:search destination cocum
_:search type Taxi
_:search arrive_by 21:15
_:search departure el shaddai
_:search destination cocum
_:search type Taxi
_:result car white bmv
_:result phone 07785490051
_:result type Taxi
_:search arrive_by 21:15
_:search departure el shaddai
_:search destination cocum
_:search type Taxi
_:result car white bmv
_:result phone 07785490051
_:result type Taxi
_:system inquired _:user