inform((_:search,departure,'nandos city centre');(_:search,leave_at,'04:00');(_:search,type,'Taxi'))
user
I need to book a taxi to come to Nandos City Centre . I need it here by 04:00 .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
I 'd be happy to book that for you . Where will you be heading ?
inform((_:search,destination,'warworth house');(_:search,type,'Taxi'))
user
i 'm going to warworth house .
system
Booking completed ! 
 Booked car type 	 : 	 red skoda 
 Contact number 	 : 	 07116555709
_:search departure nandos city centre
_:search leave_at 04:00
_:search type Taxi
_:search departure nandos city centre
_:search leave_at 04:00
_:search destination warworth house
_:search type Taxi