inform((_:search,arrive_by,'20:15');(_:search,departure,'fitzwilliam museum');(_:search,type,'Taxi'))
user
I need a taxi . I 'll be departing the Fitzwilliam museum and need to arrive by 20:15
request((_:search,destination,?);(_:search,type,'Taxi'))
system
I can reserve that for you . Where is your destination ?
inform((_:search,destination,'restaurant one seven');(_:search,type,'Taxi'))
user
I am heading to restaurant one seven .
inform((_:result,car,'white honda');(_:result,phone,'07631927676');(_:result,type,'Taxi')) reqmore()
system
Okay a white honda will be picking you up and the contact number is 07631927676 .   What else can I help you with ?
thank()
user
That is all that I need thanks .
bye()
system
Great , thank you for using our service !
bye()
user
Thanks for your help .   Bye .
system
You are welcome .   Have a great day .   Bye .
_:search arrive_by 20:15
_:search departure fitzwilliam museum
_:search type Taxi
_:search arrive_by 20:15
_:search departure fitzwilliam museum
_:search destination restaurant one seven
_:search type Taxi
_:search arrive_by 20:15
_:search departure fitzwilliam museum
_:search destination restaurant one seven
_:search type Taxi
_:result car white honda
_:result phone 07631927676
_:result type Taxi
_:system inquired _:user
_:search arrive_by 20:15
_:search departure fitzwilliam museum
_:search destination restaurant one seven
_:search type Taxi
_:result car white honda
_:result phone 07631927676
_:result type Taxi
_:system inquired _:user
_:system dismissed _:user
_:user dismissed _:system