inform((_:search,destination,'ugly duckling');(_:search,type,'Taxi'))
user
I 'd like a taxi to the ugly duckling
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
What time would you like to depart at ?
inform((_:search,arrive_by,'19:15');(_:search,type,'Taxi'))
user
I need to actually arrive by 19:15 .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where will you be departing from today ?
inform((_:search,departure,'parkside police station');(_:search,name,'Parkside Police Station');(_:search,type,'Police');(_:search,type,'Taxi'))
user
I will be departing from parkside police station .
inform((_:result,car,'grey Honda');(_:result,phone,'07817450562');(_:result,type,'Taxi')) reqmore()
system
Your grey Honda is booked , and the contact number for the driver is 07817450562 . Can I do anything else for you today ?
thank()
user
No , that 's great , thanks .
system
Have a nice day . Thank you for contacting us .
_:search destination ugly duckling
_:search type Taxi
_:search destination ugly duckling
_:search leave_at ?
_:search arrive_by 19:15
_:search type Taxi
_:search destination ugly duckling
_:search leave_at ?
_:search arrive_by 19:15
_:search departure parkside police station
_:search name Parkside Police Station
_:search type Police
_:search type Taxi
_:search destination ugly duckling
_:search leave_at ?
_:search arrive_by 19:15
_:search departure parkside police station
_:search name Parkside Police Station
_:search type Police
_:search type Taxi
_:result car grey Honda
_:result phone 07817450562
_:result type Taxi
_:system inquired _:user