inform((_:search,area,'centre');(_:search,category,'entertainment');(_:search,type,'Attraction'))
user
I need something in the realm of entertainment in the centre of town . What do you have ?
request((_:search,area,?);(_:search,category,?);(_:search,type,'Attraction')) canthelp((_:search,area,'centre');(_:search,category,'entertainment');(_:search,type,'Attraction'))
system
There are no entertainment venues in the centre of the city . Would you like to try a different part of town , or a different type of attraction ?
inform((_:search,area,'centre');(_:search,category,'architecture');(_:search,type,'Attraction'))
user
Stay in the centre , but try looking for architecture attractions please .
inform((_:result,name,'Holy Trinity Church');(_:result,type,'Attraction')) reqmore() inform((_:result,category,'architecture');(_:result,count,'5');(_:result,type,'Attraction'))
system
I have 5 different architecture attractions I can offer . Can I suggest Holy Trinity Church ? Or would you like something else ?
request((_:result,address,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
That sounds interesting . Could I please get the church 's address and postcode ?
inform((_:result,address,'market street');(_:result,name,'Holy Trinity Church');(_:result,postcode,'cb23nz');(_:result,type,'Attraction'))
system
Holy Trinity Church 's address is market street and the postcode is cb23nz .
inform((_:search,day,'thursday');(_:search,type,'Train'))
user
Thank you . Can you help me with a train for thursday ?
request((_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Certainly what is your departure location and destination ? And what time would you like to travel ?
inform((_:search,departure,'cambridge');(_:search,destination,'Leiceister');(_:search,leave_at,'15:45');(_:search,type,'Train'))
user
Leave after 15:45 , from Cambridge to Leiceister .
inform((_:result,amount,'a few');(_:result,type,'Train')) offer((_:booking,arrive_by,'19:06');(_:booking,category,'Train');(_:booking,day,'Thursday');(_:booking,id,'TR3564');(_:booking,leave_at,'17:21');(_:booking,type,'Booking'))
system
There 's a few choices , but here 's one that I think will be a good fit . Train TR3564 leaves on Thursday at 17:21 and arrives by 19:06 . Is this good ?
thank()
user
That sounds great , I have everything I needed . Thank you !
system
Welcome , hope you enjoy your stay .
_:search area centre
_:search category entertainment
_:search type Attraction
_:system canthelp _:search/09c0ee32
_:search/09c0ee32 area centre
_:search/09c0ee32 category entertainment
_:search/09c0ee32 type Attraction
_:search area centre
_:search category architecture
_:search type Attraction
_:system canthelp _:search/09c0ee32
_:search/09c0ee32 area centre
_:search/09c0ee32 category entertainment
_:search/09c0ee32 type Attraction
_:search area centre
_:search category architecture
_:search type Attraction
_:result name Holy Trinity Church
_:system inquired _:user
_:result category architecture
_:result count 5
_:result type Attraction
_:result address ?
_:result postcode ?
_:system canthelp _:search/09c0ee32
_:search/09c0ee32 area centre
_:search/09c0ee32 category entertainment
_:search/09c0ee32 type Attraction
_:search area centre
_:search category architecture
_:system inquired _:user
_:result category architecture
_:result count 5
_:result address market street
_:result name Holy Trinity Church
_:result postcode cb23nz
_:result type Attraction
_:search day thursday
_:search type Train
_:system canthelp _:search/09c0ee32
_:search/09c0ee32 area centre
_:search/09c0ee32 category entertainment
_:search/09c0ee32 type Attraction
_:search area centre
_:search category architecture
_:system inquired _:user
_:result category architecture
_:result count 5
_:result address market street
_:result name Holy Trinity Church
_:result postcode cb23nz
_:result type Attraction
_:search day thursday
_:search departure cambridge
_:search destination Leiceister
_:search leave_at 15:45
_:search type Train
_:system canthelp _:search/09c0ee32
_:search/09c0ee32 area centre
_:search/09c0ee32 category entertainment
_:search/09c0ee32 type Attraction
_:search area centre
_:search category architecture
_:system inquired _:user
_:result category architecture
_:result count 5
_:result address market street
_:result name Holy Trinity Church
_:result postcode cb23nz
_:search day thursday
_:search departure cambridge
_:search destination Leiceister
_:search leave_at 15:45
_:search type Train
_:result amount a few
_:result type Train
_:system offered _:booking
_:booking arrive_by 19:06
_:booking category Train
_:booking day Thursday
_:booking id TR3564
_:booking leave_at 17:21
_:booking type Booking