inform((_:search,arrive_by,'21:45');(_:search,destination,'ruskin gallery');(_:search,type,'Taxi'))
user
I need to book a taxi to arrive at Ruskin Gallery by 21:45 .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Alright . I will just need to know what the departure site will be please
inform((_:search,departure,'Ruskin gallery');(_:search,type,'Taxi'))
user
I am going to be leaving from the Ruskin gallery .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
I 'm confused . Are you leaving from Ruskin Gallery or going to Ruskin Gallery ?
inform((_:search,departure,'ruskin gallery');(_:search,type,'Taxi'))
user
I am leaving from Ruskin Gallery .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Alright , where will the taxi be taking you tonight ?
inform((_:search,destination,'magdalene college');(_:search,type,'Taxi'))
user
I will be going to magdalene college .
inform((_:result,car,'grey honda');(_:result,phone,'07402352518');(_:result,type,'Taxi')) reqmore()
system
Booking completed ! Is there anything else I can help you with today ? 
 Booked car type 	 : 	 grey honda 
 Contact number 	 : 	 07402352518
thank() inform((_:search,arrive_by,'21:45');(_:search,destination,'Magdalene College');(_:search,type,'Taxi'))
user
Great , thanks . Can you confirm the time on that car ? I just want to make sure I arrive at Magdalene College by 21:45 .
system
Have a safe trip !
_:search arrive_by 21:45
_:search destination ruskin gallery
_:search type Taxi
_:search arrive_by 21:45
_:search destination ruskin gallery
_:search departure Ruskin gallery
_:search type Taxi
_:search arrive_by 21:45
_:search destination ?
_:search departure ruskin gallery
_:search type Taxi
_:search arrive_by 21:45
_:search departure ruskin gallery
_:search destination magdalene college
_:search type Taxi
_:search departure ruskin gallery
_:result car grey honda
_:result phone 07402352518
_:result type Taxi
_:system inquired _:user
_:search arrive_by 21:45
_:search destination Magdalene College
_:search type Taxi