inform((_:search,destination,'Anatoilia');(_:search,type,'Taxi'))
user
I need a taxi to Anatoilia .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where will you leave from ?
inform((_:search,departure,'kymmoy');(_:search,type,'Taxi'))
user
I 'm   be leaving from kymmoy .
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
What time would you like to depart ?
inform((_:search,leave_at,'22:00');(_:search,type,'Taxi'))
user
I need to leave after 22:00 .
inform((_:result,car,'grey skoda');(_:result,phone,'07708367606');(_:result,type,'Taxi')) reqmore()
system
Alright I have a grey skoda . The contact number is 07708367606 . Is there anything else I can help you with ?
bye()
user
That should do it , thanks so much for your help . Bye !
system
Enjoy your visit .
_:search destination Anatoilia
_:search type Taxi
_:search destination Anatoilia
_:search departure kymmoy
_:search type Taxi
_:search destination Anatoilia
_:search departure kymmoy
_:search leave_at 22:00
_:search type Taxi
_:search destination Anatoilia
_:search departure kymmoy
_:search leave_at 22:00
_:search type Taxi
_:result car grey skoda
_:result phone 07708367606
_:result type Taxi
_:system inquired _:user
_:user dismissed _:system