inform((_:search,departure,'dojo noodle bar');(_:search,type,'Taxi'))
user
Can you arrange for a taxi to pick me up at dojo noodle bar ?
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
Sure .   When do you want to leave ?
inform((_:search,arrive_by,'12:15');(_:search,type,'Taxi'))
user
i actually need to arrive by 12:15 .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
You got it . Can you tell me your destination please ?
inform((_:search,destination,"rosa 's bed and breakfast");(_:search,type,'Taxi'))
user
I am going to rosa 's bed and breakfast .
inform((_:result,car,'red BMW');(_:result,phone,'07207233794');(_:result,type,'Taxi')) reqmore()
system
You 're all set with a red BMW . The driver 's number is 07207233794 . Can I help you with something else ?
thank()
user
that should be all , thanks .
system
Great . If you ever do need anything else do n't hesitate to ask .
_:search departure dojo noodle bar
_:search type Taxi
_:search departure dojo noodle bar
_:search leave_at ?
_:search arrive_by 12:15
_:search type Taxi
_:search departure dojo noodle bar
_:search leave_at ?
_:search arrive_by 12:15
_:search destination rosa 's bed and breakfast
_:search type Taxi
_:search departure dojo noodle bar
_:search leave_at ?
_:search arrive_by 12:15
_:search destination rosa 's bed and breakfast
_:search type Taxi
_:result car red BMW
_:result phone 07207233794
_:result type Taxi
_:system inquired _:user