inform((_:search,leave_at,'11:30');(_:search,type,'Train'))
user
I need a train that is leaving after 11:30
inform((_:result,arrive_by,'13:51');(_:result,day,'Friday');(_:result,departure,'London Kings Cross');(_:result,destination,'Cambridge');(_:result,leave_at,'13:00');(_:result,type,'Train'))
system
The closest time I have is a train from London Kings Cross on Friday at 13:00 . It will arrive to Cambridge at 13:51 .
inform((_:search,departure,'birmingham new street');(_:search,type,'Train'))
user
I 'm nowhere near London Kings Cross though . What about Birmingham New Street ?
inform((_:result,arrive_by,'14:23');(_:result,count,'1');(_:result,departure,'Birmingham new street');(_:result,leave_at,'11:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have one leaving Birmingham new street at 11:40 and arriving by 14:23 , would you like me to book it for you ?
request((_:result,duration,?);(_:result,id,?);(_:result,type,'Train'))
user
What 's the travel time and Train ID for that one ?
inform((_:result,arrive_by,'14:23');(_:result,departure,'Birmingham New Street');(_:result,destination,'Cambridge');(_:result,duration,'163 minutes');(_:result,id,'TR7040');(_:result,leave_at,'11:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
That would be the TR7040 , leaving Birmingham New Street 11:40 , arriving Cambridge 14:23 , for a travel duration of 163 minutes . Would you like to book a ticket ?
inform((_:search,name,'the fitzwilliam museum');(_:search,type,'Attraction'))
user
Great . Could you please get me some information on a   particular attraction called the fitzwilliam museum ?
inform((_:result,category,'museum');(_:result,type,'Attraction'))
system
Yes , of course . What information do you require about this museum ?
inform((_:search,category,'museum');(_:search,type,'Attraction')) thank()
user
I just need adress for the museum , thank you
inform((_:result,address,'trumpington street');(_:result,postcode,'cb21rb');(_:result,type,'Attraction'))
system
The address is trumpington street the postcode is cb21rb .
inform((_:search,type,'Restaurant'))
user
Thank you can you help me find a restaurant too ?
request((_:search,food,?);(_:search,type,'Restaurant'))
system
Do you have a particular kind of restaurant in mind ?
inform((_:search,food,'Chinese');(_:search,type,'Restaurant'))
user
Yes , I would like to eat at a Chinese restaurant .
request((_:search,area,?);(_:search,type,'Restaurant'))
system
Okay ! In what part of town ?
inform((_:search,name,'the fitzwilliam museum');(_:search,type,'Attraction'))
user
Actually I am just looking for an attraction called the fitzwilliam museum .
select((_:result,name,'Fitzwilliam Museum');(_:result,type,'Attraction'))
system
What would you like to know about The Fitzwilliam Museum ?
request((_:result,address,?);(_:result,type,'Attraction'))
user
I just need the address please .
reqmore() inform((_:result,address,'trumpington street');(_:result,category,'museum');(_:result,type,'Attraction'))
system
Sure , the museum is on trumpington street .   Do you need any additional information ?
user
No , I 'm all set .
system
Great , have a wonderful day !
_:search leave_at 11:30
_:search type Train
_:search leave_at 11:30
_:result arrive_by 13:51
_:result day Friday
_:result departure London Kings Cross
_:result destination Cambridge
_:result leave_at 13:00
_:result type Train
_:search departure birmingham new street
_:search type Train
_:search leave_at 11:30
_:result day Friday
_:result destination Cambridge
_:search departure birmingham new street
_:search type Train
_:result arrive_by 14:23
_:result count 1
_:result departure Birmingham new street
_:result leave_at 11:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:result id ?
_:search leave_at 11:30
_:result day Friday
_:search departure birmingham new street
_:result count 1
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 14:23
_:result departure Birmingham New Street
_:result destination Cambridge
_:result duration 163 minutes
_:result id TR7040
_:result leave_at 11:40
_:result type Train
_:search name the fitzwilliam museum
_:search type Attraction
_:search leave_at 11:30
_:result day Friday
_:search departure birmingham new street
_:result count 1
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 14:23
_:result departure Birmingham New Street
_:result destination Cambridge
_:result duration 163 minutes
_:result id TR7040
_:result leave_at 11:40
_:search name the fitzwilliam museum
_:result category museum
_:result type Attraction
_:search category museum
_:search type Attraction
_:search leave_at 11:30
_:result day Friday
_:search departure birmingham new street
_:result count 1
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 14:23
_:result departure Birmingham New Street
_:result destination Cambridge
_:result duration 163 minutes
_:result id TR7040
_:result leave_at 11:40
_:search name the fitzwilliam museum
_:result category museum
_:search category museum
_:result address trumpington street
_:result postcode cb21rb
_:result type Attraction
_:search type Restaurant
_:search leave_at 11:30
_:result day Friday
_:search departure birmingham new street
_:result count 1
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 14:23
_:result departure Birmingham New Street
_:result destination Cambridge
_:result duration 163 minutes
_:result id TR7040
_:result leave_at 11:40
_:search name the fitzwilliam museum
_:result category museum
_:search category museum
_:result address trumpington street
_:result postcode cb21rb
_:result type Attraction
_:search food Chinese
_:search type Restaurant
_:search leave_at 11:30
_:result day Friday
_:search departure birmingham new street
_:result count 1
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 14:23
_:result departure Birmingham New Street
_:result destination Cambridge
_:result duration 163 minutes
_:result id TR7040
_:result leave_at 11:40
_:result category museum
_:search category museum
_:result address trumpington street
_:result postcode cb21rb
_:result type Attraction
_:search food Chinese
_:search area ?
_:search name the fitzwilliam museum
_:search type Attraction
_:search leave_at 11:30
_:result day Friday
_:search departure birmingham new street
_:result count 1
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 14:23
_:result departure Birmingham New Street
_:result destination Cambridge
_:result duration 163 minutes
_:result id TR7040
_:result leave_at 11:40
_:result category museum
_:search category museum
_:result address trumpington street
_:result postcode cb21rb
_:search food Chinese
_:search area ?
_:search name the fitzwilliam museum
_:search type Attraction
_:result name Fitzwilliam Museum
_:result type Attraction
_:result address ?
_:search leave_at 11:30
_:result day Friday
_:search departure birmingham new street
_:result count 1
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 14:23
_:result departure Birmingham New Street
_:result destination Cambridge
_:result duration 163 minutes
_:result id TR7040
_:result leave_at 11:40
_:search category museum
_:result postcode cb21rb
_:search food Chinese
_:search area ?
_:search name the fitzwilliam museum
_:search type Attraction
_:result name Fitzwilliam Museum
_:system inquired _:user
_:result address trumpington street
_:result category museum
_:result type Attraction