inform((_:search,arrive_by,'23:00');(_:search,type,'Taxi'))
user
I need to book a taxi departing from clown 's cafe that should arrive by 23:00 .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
And where do you need the taxi to take you ?
inform((_:search,destination,'the hotpot');(_:search,type,'Taxi'))
user
I need to go to the hotpot .
inform((_:result,car,'yellow BMW');(_:result,type,'Taxi'))
system
Okay . I have a yellow BMW available . Would you like to book that ?
request((_:result,phone,?);(_:result,type,'Taxi'))
user
Yes , may I also have the contact number for they yellow BMW ?
inform((_:result,phone,'07635951153');(_:result,type,'Taxi'))
system
Sure .   It is 07635951153 .   Can I help you with a hotel room perhaps ?
thank()
user
No , you 've already helped me with all I need at this time . Thank you !
bye()
system
Sounds good , let me know if you need anything else .
user
Nope I 'm done .
system
All right , if there 's anything else you can think of , please contact the front desk again . Thank you and have a great day .
_:search arrive_by 23:00
_:search type Taxi
_:search arrive_by 23:00
_:search departure ?
_:search destination the hotpot
_:search type Taxi
_:search arrive_by 23:00
_:search departure ?
_:search destination the hotpot
_:search type Taxi
_:result car yellow BMW
_:result type Taxi
_:result phone ?
_:search arrive_by 23:00
_:search departure ?
_:search destination the hotpot
_:search type Taxi
_:result car yellow BMW
_:result phone 07635951153
_:result type Taxi
_:search arrive_by 23:00
_:search departure ?
_:search destination the hotpot
_:search type Taxi
_:result car yellow BMW
_:result phone 07635951153
_:result type Taxi
_:system dismissed _:user