inform((_:search,destination,'avalon');(_:search,leave_at,'19:15');(_:search,type,'Taxi'))
user
I need a 19:15 taxi to take me to Avalon .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
I can definitely help ! Where are you departing from ?
inform((_:search,departure,'primavera');(_:search,type,'Taxi'))
user
I will be departing from Primavera .
inform((_:result,car,'black volvo');(_:result,type,'Taxi')) reqmore()
system
You car has been booked . It is a black volvo .   Can I assist you any further ?
request((_:result,phone,?);(_:result,type,'Taxi'))
user
Can i get the contact number please
inform((_:result,phone,'07698022958');(_:result,type,'Taxi')) reqmore()
system
Yes , your contact number is 07698022958 .    Can I assist you any further ?
bye()
user
No , that will be all . Good bye .
system
You 're very welcome ! Goodbye .
_:search destination avalon
_:search leave_at 19:15
_:search type Taxi
_:search destination avalon
_:search leave_at 19:15
_:search departure primavera
_:search type Taxi
_:search destination avalon
_:search leave_at 19:15
_:search departure primavera
_:search type Taxi
_:result car black volvo
_:result type Taxi
_:system inquired _:user
_:result phone ?
_:search destination avalon
_:search leave_at 19:15
_:search departure primavera
_:search type Taxi
_:result car black volvo
_:result phone 07698022958
_:result type Taxi
_:system inquired _:user
_:user dismissed _:system