inform((_:search,arrive_by,'16:45');(_:search,type,'Taxi'))
user
I need a taxi arriving by 16:45 .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Sure ! Where are you coming from ?
inform((_:search,departure,'nandos , city center');(_:search,type,'Taxi'))
user
I want to leave from nandos , city center .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Great . And where will you be traveling to ?
inform((_:search,destination,'parkside police station');(_:search,name,'Parkside Police Station');(_:search,type,'Police');(_:search,type,'Taxi'))
user
I 'm going to parkside police station to turn myself in .
inform((_:result,car,'black volvo');(_:result,phone,'07037812928');(_:result,type,'Taxi')) reqmore()
system
Ok , your contact number is 07037812928 and it will be a black volvo .   Is there anything else I can help you with ?
thank()
user
That was all . Thanks
system
You are very welcome . Goodbye .
_:search arrive_by 16:45
_:search type Taxi
_:search arrive_by 16:45
_:search departure nandos , city center
_:search type Taxi
_:search arrive_by 16:45
_:search departure nandos , city center
_:search destination parkside police station
_:search name Parkside Police Station
_:search type Police
_:search type Taxi
_:search arrive_by 16:45
_:search departure nandos , city center
_:search destination parkside police station
_:search name Parkside Police Station
_:search type Police
_:search type Taxi
_:result car black volvo
_:result phone 07037812928
_:result type Taxi
_:system inquired _:user