inform((_:search,departure,'hakka');(_:search,destination,'loch fyne');(_:search,type,'Taxi'))
user
Can you set up a taxi to loch fyne from hakka for me ?
request((_:search,arrive_by,?);(_:search,type,'Taxi'))
system
Sure ! when would you like to arrive ?
inform((_:search,leave_at,'23:00');(_:search,type,'Taxi'))
user
I actually need to leave after 23:00
inform((_:result,type,'Taxi')) reqmore()
system
I 've just booked a taxi for you , is there anything else I can help you with ?
request((_:result,car,?);(_:result,type,'Taxi'))
user
Yes I need the car type and contact number .
inform((_:result,car,'white volvo');(_:result,phone,'07915907755');(_:result,type,'Taxi'))
system
Ok it 's a white volvo and the contact number is 07915907755 .
thank()
user
Got it , thanks . Goodbye .
system
Thanks for using the Cambridge TownInfo Centre . Goodbye !
_:search departure hakka
_:search destination loch fyne
_:search type Taxi
_:search departure hakka
_:search destination loch fyne
_:search arrive_by ?
_:search leave_at 23:00
_:search type Taxi
_:search departure hakka
_:search destination loch fyne
_:search arrive_by ?
_:search leave_at 23:00
_:search type Taxi
_:result type Taxi
_:system inquired _:user
_:result car ?
_:search departure hakka
_:search destination loch fyne
_:search arrive_by ?
_:search leave_at 23:00
_:search type Taxi
_:system inquired _:user
_:result car white volvo
_:result phone 07915907755
_:result type Taxi