inform((_:search,arrive_by,'14:30');(_:search,departure,'yu garden');(_:search,type,'Taxi'))
user
I am looking for a taxi from yu garden arriving by 14:30
request((_:search,destination,?);(_:search,type,'Taxi'))
system
I 'll need a destination to give them before I can book that for you .
inform((_:search,destination,'holy trinity church');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I 'd be going to holy trinity church . I 'll need the car type and contact number as well .
inform((_:result,car,'grey Toyota');(_:result,phone,'07997985529');(_:result,type,'Taxi')) reqmore()
system
The car that is reserved for you is a grey Toyota , and the contact number is 07997985529 .   Can I do anything else for you ?
thank()
user
nope that s all thank you
system
Alright , enjoy your trip !
_:search arrive_by 14:30
_:search departure yu garden
_:search type Taxi
_:search arrive_by 14:30
_:search departure yu garden
_:search destination holy trinity church
_:search type Taxi
_:result car ?
_:result type Taxi
_:search arrive_by 14:30
_:search departure yu garden
_:search destination holy trinity church
_:search type Taxi
_:result car grey Toyota
_:result phone 07997985529
_:result type Taxi
_:system inquired _:user