inform((_:search,destination,'golden hous');(_:search,leave_at,'8:15');(_:search,type,'Taxi'))
user
i need a taxi by 8:15 going to the golden hous
request((_:search,departure,?);(_:search,type,'Taxi')) thank()
system
Great .   And where will you be leaving from ?
inform((_:search,departure,'holy trinity church');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I 'll need to be picked up at holy trinity church . If you 've got it handy I 'll be needing the car type and their contact number too , please .
system
Booking completed ! 
 Booked car type 	 : 	 blue tesla 
 Contact number 	 : 	 07288413004
_:search destination golden hous
_:search leave_at 8:15
_:search type Taxi
_:search destination golden hous
_:search leave_at 8:15
_:search departure holy trinity church
_:search type Taxi
_:result car ?
_:result type Taxi