inform((_:search,arrive_by,'17:00');(_:search,type,'Taxi'))
user
I need a tax arriving by 17:00 .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Sure ! where are you going ?
inform((_:search,destination,"queens ' college");(_:search,type,'Taxi'))
user
I am going to visit queens ' college
request((_:search,departure,?);(_:search,type,'Taxi'))
system
What is your departure site ?
inform((_:search,departure,'ask');(_:search,type,'Taxi'))
user
I 'm departing from ask .
inform((_:result,car,'black honda');(_:result,phone,'07810177049');(_:result,type,'Taxi'))
system
I have a black honda for you with contact number 07810177049 .
thank()
user
Wonderful . Thank you .
reqmore()
system
Can I assist you with anything else ?
bye()
user
No , I am all set . Goodbye .
system
Thank you Goodbye
_:search arrive_by 17:00
_:search type Taxi
_:search arrive_by 17:00
_:search destination queens ' college
_:search type Taxi
_:search arrive_by 17:00
_:search destination queens ' college
_:search departure ask
_:search type Taxi
_:search arrive_by 17:00
_:search destination queens ' college
_:search departure ask
_:search type Taxi
_:result car black honda
_:result phone 07810177049
_:result type Taxi
_:search arrive_by 17:00
_:search destination queens ' college
_:search departure ask
_:search type Taxi
_:result car black honda
_:result phone 07810177049
_:result type Taxi
_:system inquired _:user
_:user dismissed _:system