inform((_:search,departure,'the missing sock');(_:search,leave_at,'05:45');(_:search,type,'Taxi'))
user
i want to book a taxi . The taxi should leave after 05:45 and should depart from the missing sock .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
What is the destination you are trying to get to ?
inform((_:search,destination,"great saint mary 's church");(_:search,type,'Taxi'))
user
I would like to go to great saint mary 's church .
inform((_:result,car,'black bmw');(_:result,phone,'07939407760');(_:result,type,'Taxi')) reqmore()
system
I booked you a black bmw at with a contact number of 07939407760 .   Is there anything else ?
thank()
user
No that was it . Thank you very much !
system
I 'm glad we could help . Please contact us anytime . Good Bye .
_:search departure the missing sock
_:search leave_at 05:45
_:search type Taxi
_:search departure the missing sock
_:search leave_at 05:45
_:search destination great saint mary 's church
_:search type Taxi
_:search departure the missing sock
_:search leave_at 05:45
_:search destination great saint mary 's church
_:search type Taxi
_:result car black bmw
_:result phone 07939407760
_:result type Taxi
_:system inquired _:user