inform((_:search,departure,'Ian hong house');(_:search,type,'Taxi'))
user
I need to taxi from Ian hong house .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Sure , where would you like to go ?
inform((_:search,destination,'saint johns chop house');(_:search,type,'Taxi'))
user
I 'd like to go to saint johns chop house .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Alright . Now , can you just tell me either when you 'd like to leave after or the time you 'd like to arrive by ?
inform((_:search,arrive_by,'9:00');(_:search,type,'Taxi'))
user
I 'd like to arrive by 9:00 please .
system
Booking completed ! 
 Booked car type 	 : 	 yellow volvo 
 Contact number 	 : 	 07956401800
_:search departure Ian hong house
_:search type Taxi
_:search departure Ian hong house
_:search destination saint johns chop house
_:search type Taxi
_:search departure Ian hong house
_:search destination saint johns chop house
_:search leave_at ?
_:search arrive_by 9:00
_:search type Taxi