inform((_:search,departure,'cafe uno');(_:search,leave_at,'24:30');(_:search,type,'Taxi'))
user
Hi , I 'm needing a taxi , leaving cafe uno and I need to arrive by 24:30
request((_:search,destination,?);(_:search,type,'Taxi'))
system
I can help you with that . where are you going ?
inform((_:search,destination,'churchill college');(_:search,type,'Taxi'))
user
I 'm headed to churchill college
inform((_:result,car,'yellow honda');(_:result,type,'Taxi'))
system
I have confirmed a booking for a yellow honda .
thank()
user
Thank you for your help , before you go , could I get the contact number please ?
inform((_:result,phone,'07226817225');(_:result,type,'Taxi')) thank()
system
Sure . It 's 07226817225 .
bye()
user
Thank you . Bye
system
You are welcome . Have a good day . Goodbye .
_:search departure cafe uno
_:search leave_at 24:30
_:search type Taxi
_:search departure cafe uno
_:search leave_at 24:30
_:search destination churchill college
_:search type Taxi
_:search departure cafe uno
_:search leave_at 24:30
_:search destination churchill college
_:search type Taxi
_:result car yellow honda
_:result type Taxi
_:search departure cafe uno
_:search leave_at 24:30
_:search destination churchill college
_:search type Taxi
_:result car yellow honda
_:result phone 07226817225
_:result type Taxi
_:user dismissed _:system