inform((_:search,arrive_by,'05:15');(_:search,departure,'the junction');(_:search,destination,'the hotspot');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I need a taxi to arrive at the hotspot by 05:15 . I need to leave from the junction . I also need the contact number and car type .
inform((_:result,car,'grey audi');(_:result,phone,'07899518276');(_:result,type,'Taxi')) reqmore()
system
A grey audi will pick you up , and the contact number is 07899518276 . Can I help with anything else today ?
thank()
user
No that will be all thanks .
system
Thank you , let us know if we can help anymore .
_:search arrive_by 05:15
_:search departure the junction
_:search destination the hotspot
_:search type Taxi
_:result car ?
_:result type Taxi
_:search arrive_by 05:15
_:search departure the junction
_:search destination the hotspot
_:search type Taxi
_:result car grey audi
_:result phone 07899518276
_:result type Taxi
_:system inquired _:user