inform((_:search,departure,'golden house');(_:search,leave_at,'12:15');(_:search,type,'Taxi'))
user
Hi , I 'm looking for a taxi .   I need to leave from Golden House at 12:15 .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Sure , can I have the destination for your taxi please ?
inform((_:search,destination,'soul tree nightclub');(_:search,type,'Taxi'))
user
I 'm headed to the soul tree nightclub .
inform((_:result,car,'blue ford');(_:result,phone,'07710275202');(_:result,type,'Taxi')) reqmore()
system
I have booked a taxi for you . It is a blue ford and the contact number is 07710275202 . Is there anything else I can help you with today ?
thank()
user
No , you have been very helpful . Thank you .
system
Have a nice day !
_:search departure golden house
_:search leave_at 12:15
_:search type Taxi
_:search departure golden house
_:search leave_at 12:15
_:search destination soul tree nightclub
_:search type Taxi
_:search departure golden house
_:search leave_at 12:15
_:search destination soul tree nightclub
_:search type Taxi
_:result car blue ford
_:result phone 07710275202
_:result type Taxi
_:system inquired _:user