inform((_:search,day,'wednesday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I need to find a train from cambridge on wednesday .
inform((_:result,destination,'london kings cross');(_:result,id,'TR3702');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR3702 takes you to london kings cross .   Do you need a ticket ?
inform((_:search,destination,'norwich');(_:search,leave_at,'9:30');(_:search,type,'Train'))
user
No . I would like to go to Norwich at 9:30 .
select((_:result,arrive_by,'then');(_:result,leave_at,'9:30');(_:result,type,'Train'))
system
Do you want to leave at 9:30 or arrive by then ?
inform((_:search,arrive_by,'9:30');(_:search,destination,'Norwich');(_:search,type,'Train'))
user
Arrive by 9:30 in Norwich .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
What time could you like to depart at ?
inform((_:search,type,'Train'))
user
I have no preference for that . Can you make a booking for me on the train with the earliest departure time ?
request((_:search,people,?);(_:search,type,'Train'))
system
Sure , I can do that .   How many tickets did you need ?
inform((_:search,people,'3');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
3 tickets please . And a reference number too
inform((_:booking,category,'Train');(_:booking,id,'TR9179');(_:booking,ref,'JUAPVB1I');(_:booking,type,'Booking'))
system
I made those reservations on train TR9179 and your reference number is JUAPVB1I .
thank()
user
Thanks so much for your help .
thank() reqmore()
system
You 're welcome ! Is there anything else I can help with today ?
inform((_:search,name,'funky fun house');(_:search,type,'Attraction'))
user
I also need information about funky fun house .
thank()
system
Sure thing let me get that for you .
inform((_:search,type,'Attraction')) request((_:result,area,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Ok , thanks . Can you tell me the postcode and area it 's in ?
reqmore() inform((_:result,area,'east');(_:result,postcode,'cb58hy');(_:result,type,'Attraction'))
system
It 's in the east and the postcode is cb58hy . Is there anything else you need ?
thank()
user
No . That will be all for today . Thanks so much ! Goodbye
system
Funky fun house is located at 8 mercers row , mercers row industrial estate . May i assist you with something else ?
_:search day wednesday
_:search departure cambridge
_:search type Train
_:search day wednesday
_:search departure cambridge
_:result destination london kings cross
_:result id TR3702
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search destination norwich
_:search leave_at 9:30
_:search type Train
_:search day wednesday
_:search departure cambridge
_:result destination london kings cross
_:result id TR3702
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 9:30
_:result arrive_by then
_:result leave_at 9:30
_:result type Train
_:search arrive_by 9:30
_:search destination Norwich
_:search type Train
_:search day wednesday
_:search departure cambridge
_:result destination london kings cross
_:result id TR3702
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by then
_:result leave_at 9:30
_:result type Train
_:search arrive_by 9:30
_:search destination Norwich
_:search leave_at ?
_:search type Train
_:search day wednesday
_:search departure cambridge
_:result destination london kings cross
_:result id TR3702
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by then
_:result leave_at 9:30
_:result type Train
_:search arrive_by 9:30
_:search destination Norwich
_:search leave_at ?
_:search people 3
_:search type Train
_:result ref ?
_:search day wednesday
_:search departure cambridge
_:result destination london kings cross
_:result id TR3702
_:system offered _:booking
_:result arrive_by then
_:result leave_at 9:30
_:result type Train
_:search arrive_by 9:30
_:search destination Norwich
_:search leave_at ?
_:search people 3
_:search type Train
_:result ref ?
_:booking category Train
_:booking id TR9179
_:booking ref JUAPVB1I
_:booking type Booking
_:search day wednesday
_:search departure cambridge
_:result destination london kings cross
_:result id TR3702
_:system offered _:booking
_:result arrive_by then
_:result leave_at 9:30
_:result type Train
_:search arrive_by 9:30
_:search destination Norwich
_:search leave_at ?
_:search people 3
_:result ref ?
_:booking category Train
_:booking id TR9179
_:booking ref JUAPVB1I
_:booking type Booking
_:system inquired _:user
_:search name funky fun house
_:search type Attraction
_:search day wednesday
_:search departure cambridge
_:result destination london kings cross
_:result id TR3702
_:system offered _:booking
_:result arrive_by then
_:result leave_at 9:30
_:result type Train
_:search arrive_by 9:30
_:search destination Norwich
_:search leave_at ?
_:search people 3
_:result ref ?
_:booking category Train
_:booking id TR9179
_:booking ref JUAPVB1I
_:booking type Booking
_:system inquired _:user
_:search name funky fun house
_:search type Attraction
_:result area ?
_:result postcode ?
_:result type Attraction
_:search day wednesday
_:search departure cambridge
_:result destination london kings cross
_:result id TR3702
_:system offered _:booking
_:result arrive_by then
_:result leave_at 9:30
_:search arrive_by 9:30
_:search destination Norwich
_:search leave_at ?
_:search people 3
_:result ref ?
_:booking category Train
_:booking id TR9179
_:booking ref JUAPVB1I
_:booking type Booking
_:search name funky fun house
_:search type Attraction
_:system inquired _:user
_:result area east
_:result postcode cb58hy
_:result type Attraction