inform((_:search,type,'Taxi'))
user
i want to book a taxi .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Yes of course , from where will you be leaving ?
inform((_:search,departure,'museum of classical archaeology');(_:search,destination,'london kings cross train station');(_:search,type,'Taxi'))
user
From museum of classical archaeology to london kings cross train station , please
inform((_:result,leave_at,'1:00pm');(_:result,type,'Taxi')) request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
I have ordered one for you their pick up time is 1:00pm . Is this time okay or do you need a different time ?
inform((_:search,leave_at,'05:30');(_:search,type,'Taxi'))
user
I need a different time . I want to arrive by 05:30 .
inform((_:result,car,'white lexus');(_:result,phone,'07607179806');(_:result,type,'Taxi')) reqmore()
system
Alright . The type of car is a white lexus and the contact number is 07607179806 . Anything else ?
thank()
user
that is it for today , thank you
system
Thanks for letting me assist you today . Have a great time !
_:search type Taxi
_:search departure museum of classical archaeology
_:search destination london kings cross train station
_:search type Taxi
_:search departure museum of classical archaeology
_:search destination london kings cross train station
_:result leave_at 1:00pm
_:result type Taxi
_:search leave_at 05:30
_:search type Taxi
_:search departure museum of classical archaeology
_:search destination london kings cross train station
_:result leave_at 1:00pm
_:search leave_at 05:30
_:search type Taxi
_:result car white lexus
_:result phone 07607179806
_:result type Taxi
_:system inquired _:user