inform((_:search,category,'boat');(_:search,type,'Attraction'))
user
Yes I was wondering if you could tell me about the boat attractions that are available in town ?
request((_:search,area,?);(_:search,type,'Attraction')) inform((_:result,amount,'many');(_:result,category,'boating');(_:result,type,'Attraction'))
system
Sure , there are many boating attractions . What specific part of town were you looking for ?
user
I 'm open to any part of town , just makes sure you let me know which one it is .
inform((_:result,area,'center');(_:result,name,'Cambridge Punter');(_:result,type,'Attraction'))
system
I recommend The Cambridge Punter in the center of town .
request((_:result,area,?);(_:result,type,'Attraction'))
user
Can I get the area that it is in ?
reqmore() inform((_:result,area,'centre');(_:result,name,'Cambridge Punter');(_:result,type,'Attraction'))
system
The Cambridge Punter is in the Centre area .   Is there any other information you need ?
inform((_:search,day,'monday');(_:search,leave_at,'20:15');(_:search,type,'Train'))
user
I also need a train , please , for Monday after 20:15 .
inform((_:result,amount,'many');(_:result,day,'Monday');(_:result,leave_at,'20:15');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
There are many trains departing Monday at 20:15 .   Where is your destination ?
inform((_:search,destination,'leicester');(_:search,leave_at,'20:15');(_:search,type,'Train'))
user
I would be going to Leicester and would like to take the first train after 20:15 please .
inform((_:result,departure,'Cambridge');(_:result,leave_at,'20:21');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is a train that leaves at 20:21 departing from Cambridge . Would you like me to book that for you ?
request((_:result,id,?);(_:result,type,'Train'))
user
Can you tell me what the train ID is for the train that arrives at 20:21 ?
request((_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train')) canthelp((_:search,arrive_by,'20:21');(_:search,type,'Train'))
system
There are no trains that arrive at 20:21 . Did you mean the train that leaves at 20:21 ?
inform((_:search,day,'monday');(_:search,departure,'cambridge');(_:search,destination,'leicester');(_:search,leave_at,'20:15');(_:search,type,'Train'))
user
I need a Monday train , leaving after 20:15 . From Cambridge to Leicester .
inform((_:result,id,'TR9424');(_:result,leave_at,'20:21');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR9424 will leave at 20:21 , would that work for you ?
thank()
user
Yes . Thank you . That 's all I need .
offer((_:booking,category,'Train');(_:booking,type,'Booking')) request((_:search,people,?);(_:search,type,'Train'))
system
Would you like me to book that for you ? If so , how many tickets will you need ?
thank()
user
That wo n't be necessary . Thanks .
reqmore()
system
Is there anything else I can assist you with ?
bye()
user
No , that 'll be all for now . You were a great help . Have a nice day ! Bye .
system
Have a good one !
_:search category boat
_:search type Attraction
_:search category boat
_:search area ?
_:search type Attraction
_:result amount many
_:result category boating
_:result type Attraction
_:search category boat
_:search area ?
_:search type Attraction
_:result amount many
_:result category boating
_:result area center
_:result name Cambridge Punter
_:result type Attraction
_:result area ?
_:search category boat
_:search area ?
_:result amount many
_:result category boating
_:system inquired _:user
_:result area centre
_:result name Cambridge Punter
_:result type Attraction
_:search day monday
_:search leave_at 20:15
_:search type Train
_:search category boat
_:search area ?
_:result category boating
_:system inquired _:user
_:result area centre
_:result name Cambridge Punter
_:search day monday
_:result amount many
_:result day Monday
_:result leave_at 20:15
_:result type Train
_:search destination leicester
_:search leave_at 20:15
_:search type Train
_:search category boat
_:search area ?
_:result category boating
_:system inquired _:user
_:result area centre
_:result name Cambridge Punter
_:search day monday
_:result amount many
_:result day Monday
_:search destination leicester
_:search leave_at 20:15
_:search type Train
_:result departure Cambridge
_:result leave_at 20:21
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result id ?
_:search category boat
_:search area ?
_:result category boating
_:system inquired _:user
_:result area centre
_:result name Cambridge Punter
_:result amount many
_:result day Monday
_:result departure Cambridge
_:result leave_at 20:21
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result id ?
_:system canthelp _:search/8ac6b0e4
_:search/8ac6b0e4 arrive_by 20:21
_:search/8ac6b0e4 type Train
_:search day monday
_:search departure cambridge
_:search destination leicester
_:search leave_at 20:15
_:search type Train
_:search category boat
_:search area ?
_:result category boating
_:system inquired _:user
_:result area centre
_:result name Cambridge Punter
_:result amount many
_:result day Monday
_:result departure Cambridge
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system canthelp _:search/8ac6b0e4
_:search/8ac6b0e4 arrive_by 20:21
_:search/8ac6b0e4 type Train
_:search day monday
_:search departure cambridge
_:search destination leicester
_:search leave_at 20:15
_:search type Train
_:result id TR9424
_:result leave_at 20:21
_:result type Train
_:search category boat
_:search area ?
_:result category boating
_:system inquired _:user
_:result area centre
_:result name Cambridge Punter
_:result amount many
_:result day Monday
_:result departure Cambridge
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system canthelp _:search/8ac6b0e4
_:search/8ac6b0e4 arrive_by 20:21
_:search/8ac6b0e4 type Train
_:search day monday
_:search departure cambridge
_:search destination leicester
_:search leave_at 20:15
_:result id TR9424
_:result leave_at 20:21
_:result type Train
_:search people ?
_:search type Train
_:search category boat
_:search area ?
_:result category boating
_:result area centre
_:result name Cambridge Punter
_:result amount many
_:result day Monday
_:result departure Cambridge
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system canthelp _:search/8ac6b0e4
_:search/8ac6b0e4 arrive_by 20:21
_:search/8ac6b0e4 type Train
_:search day monday
_:search departure cambridge
_:search destination leicester
_:search leave_at 20:15
_:result id TR9424
_:result leave_at 20:21
_:result type Train
_:search people ?
_:search type Train
_:system inquired _:user
_:user dismissed _:system