inform((_:search,type,'Taxi'))
user
Please book a taxi for me
request((_:search,arrive_by,?);(_:search,type,'Taxi'))
system
Sure ! when would you like to arrive ?
inform((_:search,arrive_by,'19:00');(_:search,type,'Taxi'))
user
I want to arrive by 19:00
request((_:search,departure,?);(_:search,type,'Taxi'))
system
I can definitely help ! Where are you departing from ?
inform((_:search,departure,'alpha - milton guest house');(_:search,type,'Taxi'))
user
I am leaving from the Alpha - Milton Guest House .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Where will the taxi be taking you tonight ?
inform((_:search,destination,'cambridge university botanic gardens');(_:search,type,'Taxi'))
user
I am eager to visit cambridge university botanic gardens .
inform((_:result,car,'grey lexus');(_:result,phone,'07229148300');(_:result,type,'Taxi'))
system
Ok , I 've booked your taxi . It will be a grey lexus , contact number 07229148300
inform((_:search,type,'Taxi'))
user
What time will the taxi be arriving at the Alpha - Milton ?
inform((_:result,type,'Taxi'))
system
You should contact the taxi for an approximate time .
bye()
user
That is all I need . Goodbye .
system
Anytime !   Enjoy your stay .
_:search type Taxi
_:search arrive_by 19:00
_:search type Taxi
_:search arrive_by 19:00
_:search departure alpha - milton guest house
_:search type Taxi
_:search arrive_by 19:00
_:search departure alpha - milton guest house
_:search destination cambridge university botanic gardens
_:search type Taxi
_:search arrive_by 19:00
_:search departure alpha - milton guest house
_:search destination cambridge university botanic gardens
_:result car grey lexus
_:result phone 07229148300
_:result type Taxi
_:search type Taxi
_:search arrive_by 19:00
_:search departure alpha - milton guest house
_:search destination cambridge university botanic gardens
_:result car grey lexus
_:result phone 07229148300
_:search type Taxi
_:result type Taxi
_:user dismissed _:system