inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
I am looking for a train from cambridge
request((_:search,destination,?);(_:search,type,'Train'))
system
Certainly , where is your destination ?
inform((_:search,destination,'norwich');(_:search,type,'Train'))
user
My destination is norwich .
inform((_:result,count,'133');(_:result,type,'Train')) request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
There are 133 trains do you have a day and time you 'd like to travel ?
inform((_:search,day,'saturday');(_:search,leave_at,'17:00');(_:search,type,'Train'))
user
I need to leave Saturday after 17:00 .
inform((_:result,arrive_by,'18:55');(_:result,departure,'Cambridge');(_:result,destination,'Norwich');(_:result,leave_at,'17:36');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have one leaving Cambridge at 17:36 and arriving in Norwich at 18:55 . Would you like to book it ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
What is the train i d and price ?
inform((_:booking,category,'Train');(_:booking,id,'TR4018');(_:booking,ticket,'14.08 pounds');(_:booking,type,'Booking'))
system
The train ID is TR4018 and the cost of the journey will be 14.08 pounds .
thank()
user
That 's everything I needed to know thanks .
system
You 're welcome . Have a great day !
_:search departure cambridge
_:search type Train
_:search departure cambridge
_:search destination norwich
_:search type Train
_:search departure cambridge
_:search destination norwich
_:result count 133
_:result type Train
_:search day saturday
_:search leave_at 17:00
_:search type Train
_:search departure cambridge
_:search destination norwich
_:result count 133
_:search day saturday
_:search leave_at 17:00
_:search type Train
_:result arrive_by 18:55
_:result departure Cambridge
_:result destination Norwich
_:result leave_at 17:36
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket ?
_:search departure cambridge
_:search destination norwich
_:result count 133
_:search day saturday
_:search leave_at 17:00
_:search type Train
_:result arrive_by 18:55
_:result departure Cambridge
_:result destination Norwich
_:result leave_at 17:36
_:result type Train
_:system offered _:booking
_:result ticket ?
_:booking category Train
_:booking id TR4018
_:booking ticket 14.08 pounds
_:booking type Booking