inform((_:search,departure,'cherry hinton hall and grounds');(_:search,leave_at,'2:45');(_:search,type,'Taxi'))
user
I need a taxi at cherry hinton hall and grounds at 2:45 .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Where is the destination ?
request((_:result,car,?);(_:result,type,'Taxi')) inform((_:search,destination,'Avalon');(_:search,type,'Taxi'))
user
I need to go to Avalon and could you give me the car type and contact number once it is booked ?
system
I have booked it . You will look for a white ford , the contact number is 07591624763
_:search departure cherry hinton hall and grounds
_:search leave_at 2:45
_:search type Taxi
_:search departure cherry hinton hall and grounds
_:search leave_at 2:45
_:result car ?
_:result type Taxi
_:search destination Avalon
_:search type Taxi