inform((_:search,departure,"kettle 's yard");(_:search,leave_at,'19:30');(_:search,type,'Taxi'))
user
I 'm at Kettle 's Yard and need a taxi to pick me up by 19:30 .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
I would be happy to help with your request , what is your destination ?
inform((_:search,destination,'castle galleries');(_:search,type,'Taxi'))
user
I want to go to castle galleries .
request((_:search,arrive_by,?);(_:search,type,'Taxi'))
system
What time would you like to arrive at Castle Galleries ?
user
I need to leave after 19:30 .
inform((_:result,car,'red ford');(_:result,type,'Taxi'))
system
Your booking is complete , a red ford will be picking you up .
thank() request((_:result,phone,?);(_:result,type,'Taxi'))
user
Thank you , what is the contact number ?
inform((_:result,phone,'07833391546');(_:result,type,'Taxi')) reqmore()
system
The contact number is 07833391546 . Do you have any other questions ?
thank()
user
No .   Thank you for your assistance .
system
You are welcome . Thank you for calling Cambridge TownInfo centre . Goodbye .
_:search departure kettle 's yard
_:search leave_at 19:30
_:search type Taxi
_:search departure kettle 's yard
_:search leave_at 19:30
_:search destination castle galleries
_:search type Taxi
_:search departure kettle 's yard
_:search leave_at 19:30
_:search destination castle galleries
_:search arrive_by ?
_:search type Taxi
_:search departure kettle 's yard
_:search leave_at 19:30
_:search destination castle galleries
_:search arrive_by ?
_:search type Taxi
_:result car red ford
_:result type Taxi
_:result phone ?
_:search departure kettle 's yard
_:search leave_at 19:30
_:search destination castle galleries
_:search arrive_by ?
_:search type Taxi
_:result car red ford
_:result phone 07833391546
_:result type Taxi
_:system inquired _:user