inform((_:search,departure,'kings lynn');(_:search,type,'Train'))
user
I need a train from kings lynn , please .
request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
What day and what time ?
inform((_:search,arrive_by,'15:15');(_:search,day,'thursday');(_:search,type,'Train'))
user
I would like to leave on Thursday and arrive by 15:15 .
inform((_:result,count,'10');(_:result,id,'TR2788');(_:result,leave_at,'05:11');(_:result,type,'Train'))
system
I found 10 trains that match . How about TR2788 that leaves at 05:11 ?
inform((_:search,people,'8');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
that sounds fine . book for 8 people and get me the reference number
inform((_:booking,category,'Train');(_:booking,ref,'8FYR7N4L');(_:booking,ticket,'78.4');(_:booking,type,'Booking'))
system
I booked the train . Your reference is 8FYR7N4L and it was 78.4 total .
user
Great ! Can you also recommend something interesting to do while I am in town ?
inform((_:result,category,'architecture');(_:result,name,"Little saint mary 's church");(_:result,type,'Attraction'))
system
Little saint mary 's church 	 has some great architecture you could check out
request((_:result,entrance_fee,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Is that in the Centre ? If so , could I get the postcode , and how much the entrance fee is ?
inform((_:result,entrance_fee,'no');(_:result,postcode,'cb58bs');(_:result,type,'Attraction'))
system
Sure thing ! their postcode is cb58bs and there is no entrance fees to get in
user
Great , that 's all I needed !
system
Wonderful ! Have a great day !
_:search departure kings lynn
_:search type Train
_:search departure kings lynn
_:search leave_at ?
_:search arrive_by 15:15
_:search day thursday
_:search type Train
_:search departure kings lynn
_:search leave_at ?
_:search arrive_by 15:15
_:search day thursday
_:result count 10
_:result id TR2788
_:result leave_at 05:11
_:result type Train
_:search people 8
_:search type Train
_:result ref ?
_:search departure kings lynn
_:search leave_at ?
_:search arrive_by 15:15
_:search day thursday
_:result count 10
_:result id TR2788
_:result leave_at 05:11
_:result type Train
_:search people 8
_:search type Train
_:result ref ?
_:booking category Train
_:booking ref 8FYR7N4L
_:booking ticket 78.4
_:booking type Booking
_:search departure kings lynn
_:search leave_at ?
_:search arrive_by 15:15
_:search day thursday
_:result count 10
_:result id TR2788
_:result leave_at 05:11
_:search people 8
_:search type Train
_:result ref ?
_:booking category Train
_:booking ref 8FYR7N4L
_:booking ticket 78.4
_:booking type Booking
_:result category architecture
_:result name Little saint mary 's church
_:result type Attraction
_:result entrance_fee ?
_:result postcode ?
_:search departure kings lynn
_:search leave_at ?
_:search arrive_by 15:15
_:search day thursday
_:result count 10
_:result id TR2788
_:result leave_at 05:11
_:search people 8
_:search type Train
_:result ref ?
_:booking category Train
_:booking ref 8FYR7N4L
_:booking ticket 78.4
_:booking type Booking
_:result category architecture
_:result name Little saint mary 's church
_:result entrance_fee no
_:result postcode cb58bs
_:result type Attraction