inform((_:search,arrive_by,'22:45');(_:search,destination,'zizzi cambridge');(_:search,leave_at,'22:45');(_:search,type,'Taxi'))
user
Can you help me get to zizzi cambridge after 22:45 ?
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Sure ! What is your departure site ?
inform((_:search,departure,'saint johns chop shop house');(_:search,type,'Taxi'))
user
Saint Johns Chop shop house .
inform((_:result,car,'red bmw');(_:result,type,'Taxi'))
system
Okay you are all set with a red bmw
request((_:result,phone,?);(_:result,type,'Taxi'))
user
That is great .   Is there a contact number available ?
inform((_:result,phone,'07934564095');(_:result,type,'Taxi'))
system
The contact number is 07934564095 .
thank()
user
Great , thanks so much for your help !
reqmore()
system
Is there anything else I can help you with , such as finding a restaurant or an attraction ?
thank()
user
that is all , thanks
system
Thank you for choosing Cambridge TownInfo centre to help you with your booking needs . Have a great day !
_:search arrive_by 22:45
_:search destination zizzi cambridge
_:search leave_at 22:45
_:search type Taxi
_:search arrive_by 22:45
_:search destination zizzi cambridge
_:search leave_at 22:45
_:search departure saint johns chop shop house
_:search type Taxi
_:search arrive_by 22:45
_:search destination zizzi cambridge
_:search leave_at 22:45
_:search departure saint johns chop shop house
_:search type Taxi
_:result car red bmw
_:result type Taxi
_:result phone ?
_:search arrive_by 22:45
_:search destination zizzi cambridge
_:search leave_at 22:45
_:search departure saint johns chop shop house
_:search type Taxi
_:result car red bmw
_:result phone 07934564095
_:result type Taxi
_:search arrive_by 22:45
_:search destination zizzi cambridge
_:search leave_at 22:45
_:search departure saint johns chop shop house
_:search type Taxi
_:result car red bmw
_:result phone 07934564095
_:result type Taxi
_:system inquired _:user