inform((_:search,departure,'cambridge belfry');(_:search,leave_at,'21:25');(_:search,type,'Taxi'))
user
I need a taxi to pick me up after 21:25 at The Cambridge Belfry .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
And where are you going ?
inform((_:search,destination,'the gardenia');(_:search,type,'Taxi'))
user
The taxi should go to the gardenia .
inform((_:result,arrive_by,'21:30');(_:result,car,'a grey honda');(_:result,type,'Taxi'))
system
Your taxi will pick you up at 21:30 . It is a grey Honda .
request((_:result,phone,?);(_:result,type,'Taxi'))
user
I 'll also need the contact number please .
inform((_:result,phone,'07650376516');(_:result,type,'Taxi'))
system
The contact number is 07650376516 .
user
Than you , I think that 's all I need for now .
system
Thank you for using our services .
_:search departure cambridge belfry
_:search leave_at 21:25
_:search type Taxi
_:search departure cambridge belfry
_:search leave_at 21:25
_:search destination the gardenia
_:search type Taxi
_:search departure cambridge belfry
_:search leave_at 21:25
_:search destination the gardenia
_:search type Taxi
_:result arrive_by 21:30
_:result car a grey honda
_:result type Taxi
_:result phone ?
_:search departure cambridge belfry
_:search leave_at 21:25
_:search destination the gardenia
_:search type Taxi
_:result arrive_by 21:30
_:result car a grey honda
_:result phone 07650376516
_:result type Taxi