inform((_:search,departure,"saint catharine 's college");(_:search,type,'Taxi'))
user
Please help me reserve a taxi from saint catharine 's college
request((_:search,arrive_by,?);(_:search,type,'Taxi'))
system
Sure ! when would you like to arrive ?
inform((_:search,arrive_by,'01:15');(_:search,type,'Taxi'))
user
I would like to arrive by 01:15 .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Great ! And what is your destination ?
inform((_:search,destination,'loch fyne');(_:search,type,'Taxi'))
user
I 'm going to loch fyne .
inform((_:result,car,'red lexus');(_:result,phone,'07866626052');(_:result,type,'Taxi'))
system
You are booked for a red lexus with the contact number 07866626052 .
thank()
user
Thank you .   I am now finished .
system
I 'm glad we could help .   Have a good day .
_:search departure saint catharine 's college
_:search type Taxi
_:search departure saint catharine 's college
_:search arrive_by 01:15
_:search type Taxi
_:search departure saint catharine 's college
_:search arrive_by 01:15
_:search destination loch fyne
_:search type Taxi
_:search departure saint catharine 's college
_:search arrive_by 01:15
_:search destination loch fyne
_:search type Taxi
_:result car red lexus
_:result phone 07866626052
_:result type Taxi