inform((_:search,destination,'club salsa');(_:search,leave_at,'01:30');(_:search,type,'Taxi'))
user
Please book me a taxi to club salsa after 01:30 .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
I can book you a taxi to club salsa at 1:30 . Where do you need to be picked up ?
inform((_:search,departure,"saint john 's college");(_:search,type,'Taxi'))
user
I am at saint john 's college .
request((_:search,arrive_by,?);(_:search,type,'Taxi'))
system
What time would you like to arrive by ?
inform((_:search,arrive_by,'02:30');(_:search,type,'Taxi'))
user
I want to arrive by 02:30 .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
Before booking , please confirm either your arrival or departure time .   There are 2 different times stated , so I want to be sure before reserving .
inform((_:search,leave_at,'01:30');(_:search,type,'Taxi'))
user
I 'm sorry for the mixup .   I want to leave after 01:30 .
inform((_:result,car,'yellow ford');(_:result,phone,'07427696778');(_:result,type,'Taxi')) reqmore()
system
Booking completed ! Anything else I can help with ? 
 Booked car type 	 : 	 yellow ford 
 Contact number 	 : 	 07427696778
thank()
user
Thanks ! That would be all .
system
Have a nice day .
_:search destination club salsa
_:search leave_at 01:30
_:search type Taxi
_:search destination club salsa
_:search leave_at 01:30
_:search departure saint john 's college
_:search type Taxi
_:search destination club salsa
_:search leave_at 01:30
_:search departure saint john 's college
_:search arrive_by 02:30
_:search type Taxi
_:search arrive_by 02:30
_:search departure ?
_:search destination ?
_:search leave_at 01:30
_:search type Taxi
_:search arrive_by 02:30
_:search departure ?
_:search destination ?
_:search leave_at 01:30
_:search type Taxi
_:result car yellow ford
_:result phone 07427696778
_:result type Taxi
_:system inquired _:user