inform((_:search,day,'friday');(_:search,leave_at,'13:15');(_:search,type,'Train'))
user
Hi , I am looking for a train that is leaving on friday after 13:15 .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Where would you like to leave from and go to ?
inform((_:search,departure,'norwich');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I want to depart from norwich and go to cambridge .
inform((_:result,arrive_by,'14:35');(_:result,departure,'Norwich');(_:result,destination,'Cambridge');(_:result,id,'TR1952');(_:result,leave_at,'13:16');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR1952 leaves Norwich at 13:16 and arrives in Cambridge at 14:35 .   Would that work for you ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
Before I commit , what would the price of the ticket be ?
inform((_:result,ticket,'17.60 pounds');(_:result,type,'Train'))
system
It would cost 17.60 pounds .
inform((_:search,name,'scott polar museum');(_:search,type,'Attraction'))
user
That would be great . I am also looking for the scott polar museum in town , can you tell me a little about it ?
inform((_:result,area,'centre');(_:result,entrance_fee,'free');(_:result,name,'Scott Polar Museum');(_:result,type,'Attraction'))
system
The Scott Polar Museum is located in the centre area of town , and the entrance fee is free .
request((_:result,postcode,?);(_:result,type,'Attraction'))
user
Can you tell me the postcode for the museum as well ?
reqmore() inform((_:result,postcode,'cb21er');(_:result,type,'Attraction'))
system
Yes , their postcode is cb21er . Is there anything else I can help you with today ?
thank()
user
No , thanks , I 've got everything . Have a nice day .
system
You 're welcome . Good - bye .
_:search day friday
_:search leave_at 13:15
_:search type Train
_:search day friday
_:search leave_at 13:15
_:search departure norwich
_:search destination cambridge
_:search type Train
_:search day friday
_:search leave_at 13:15
_:search departure norwich
_:search destination cambridge
_:search type Train
_:result arrive_by 14:35
_:result departure Norwich
_:result destination Cambridge
_:result id TR1952
_:result leave_at 13:16
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket ?
_:search day friday
_:search leave_at 13:15
_:search departure norwich
_:search destination cambridge
_:result arrive_by 14:35
_:result departure Norwich
_:result destination Cambridge
_:result id TR1952
_:result leave_at 13:16
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket 17.60 pounds
_:result type Train
_:search name scott polar museum
_:search type Attraction
_:search day friday
_:search leave_at 13:15
_:search departure norwich
_:search destination cambridge
_:result arrive_by 14:35
_:result departure Norwich
_:result destination Cambridge
_:result id TR1952
_:result leave_at 13:16
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket 17.60 pounds
_:search name scott polar museum
_:search type Attraction
_:result area centre
_:result entrance_fee free
_:result name Scott Polar Museum
_:result type Attraction
_:result postcode ?
_:search day friday
_:search leave_at 13:15
_:search departure norwich
_:search destination cambridge
_:result arrive_by 14:35
_:result departure Norwich
_:result destination Cambridge
_:result id TR1952
_:result leave_at 13:16
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket 17.60 pounds
_:search name scott polar museum
_:search type Attraction
_:result area centre
_:result entrance_fee free
_:result name Scott Polar Museum
_:system inquired _:user
_:result postcode cb21er
_:result type Attraction