inform((_:search,departure,'holy trinity church');(_:search,type,'Taxi'))
user
I need to get a taxi out of holy trinity church .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
What is your destination ?
inform((_:search,destination,'saint johns chop house');(_:search,type,'Taxi'))
user
I 'm going to saint johns chop house .
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
I can help you with that . When do you need to leave ?
inform((_:search,arrive_by,'22:30');(_:search,type,'Taxi'))
user
I need to arrive at the chop house by 22:30 .
inform((_:result,car,'yellow Volkswagen');(_:result,type,'Taxi'))
system
Your taxi is booked . Look for a yellow Volkswagen .
request((_:result,phone,?);(_:result,type,'Taxi'))
user
I need the contact number please .
inform((_:result,phone,'07727071722');(_:result,type,'Taxi')) reqmore()
system
The contact number is 07727071722 . Is there anything else I can help you with ?
thank()
user
No that is all Thank you goodbye .
system
Please call us anytime . Good Bye .
_:search departure holy trinity church
_:search type Taxi
_:search departure holy trinity church
_:search destination saint johns chop house
_:search type Taxi
_:search departure holy trinity church
_:search destination saint johns chop house
_:search leave_at ?
_:search arrive_by 22:30
_:search type Taxi
_:search departure holy trinity church
_:search destination saint johns chop house
_:search leave_at ?
_:search arrive_by 22:30
_:search type Taxi
_:result car yellow Volkswagen
_:result type Taxi
_:result phone ?
_:search departure holy trinity church
_:search destination saint johns chop house
_:search leave_at ?
_:search arrive_by 22:30
_:search type Taxi
_:result car yellow Volkswagen
_:result phone 07727071722
_:result type Taxi
_:system inquired _:user