inform((_:search,day,'monday');(_:search,destination,'birmingham new street');(_:search,type,'Train'))
user
I am looking for a train .   The train should leave on monday and should go to birmingham new street
request((_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
What is your departure time and location ?
inform((_:search,day,'monday');(_:search,departure,'cambridge');(_:search,destination,'Birmingham New Street');(_:search,leave_at,'15:15');(_:search,type,'Train'))
user
Leaving Cambridge going to Birmingham New Street on Monday any time after 15:15 .
inform((_:result,amount,'several');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
There are several trains available . Are you able to provide a specific time ?
inform((_:search,leave_at,'15:15');(_:search,people,'8');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
No , the first train after 15:15 will work . I need to book the trip for 8 people , and please include my reference number .
inform((_:booking,category,'Train');(_:booking,ref,'OCF8O3GJ');(_:booking,type,'Booking');(_:result,day,'monday');(_:result,departure,'cambridge');(_:result,destination,'birmingham new street');(_:result,id,'TR7900');(_:result,leave_at,'16:01');(_:result,type,'Train'))
system
Train TR7900 leaves cambridge for birmingham new street monday at 16:01 . Your reference number is OCF8O3GJ .
inform((_:search,area,'centre');(_:search,category,'theatre');(_:search,type,'Attraction'))
user
Can you help me find a theatre in the centre of town ?
inform((_:result,address,"6 saint edward 's passage");(_:result,count,'3');(_:result,name,'cambridge arts theatre');(_:result,type,'Attraction'))
system
Sure , there is cambridge arts theatre , it is located at 6 saint edward 's passage . There are 3 others if you would like information on them as well .
request((_:result,address,?);(_:result,type,'Attraction'))
user
Sure . Can you give me the names and addresses of the other 3 as well ?
inform((_:result,address,"6 saint edward 's passage");(_:result,address,'anglia ruskin enterprise , east road');(_:result,address,'wheeler street');(_:result,name,'cambridge arts theatre');(_:result,name,'mumford theatre');(_:result,name,'the cambridge corn exchange');(_:result,type,'Attraction'))
system
cambridge arts theatre is at 6 saint edward 's passage , mumford theatre is at anglia ruskin enterprise , east road ; and the cambridge corn exchange is at wheeler street .
thank()
user
Ok , great . That 's all I needed . Thank you for all of your help !
system
Have a great day !
_:search day monday
_:search destination birmingham new street
_:search type Train
_:search day monday
_:search departure cambridge
_:search destination Birmingham New Street
_:search leave_at 15:15
_:search type Train
_:search day monday
_:search departure cambridge
_:search destination Birmingham New Street
_:result amount several
_:result type Train
_:search leave_at 15:15
_:search people 8
_:search type Train
_:result ref ?
_:search day monday
_:search departure cambridge
_:search destination Birmingham New Street
_:result amount several
_:search leave_at 15:15
_:search people 8
_:result ref ?
_:booking category Train
_:booking ref OCF8O3GJ
_:booking type Booking
_:result day monday
_:result departure cambridge
_:result destination birmingham new street
_:result id TR7900
_:result leave_at 16:01
_:result type Train
_:search area centre
_:search category theatre
_:search type Attraction
_:search day monday
_:search departure cambridge
_:search destination Birmingham New Street
_:result amount several
_:search leave_at 15:15
_:search people 8
_:result ref ?
_:booking category Train
_:booking ref OCF8O3GJ
_:booking type Booking
_:result day monday
_:result departure cambridge
_:result destination birmingham new street
_:result id TR7900
_:result leave_at 16:01
_:search area centre
_:search category theatre
_:search type Attraction
_:result address 6 saint edward 's passage
_:result count 3
_:result name cambridge arts theatre
_:result type Attraction
_:result address ?
_:search day monday
_:search departure cambridge
_:search destination Birmingham New Street
_:result amount several
_:search leave_at 15:15
_:search people 8
_:result ref ?
_:booking category Train
_:booking ref OCF8O3GJ
_:booking type Booking
_:result day monday
_:result departure cambridge
_:result destination birmingham new street
_:result id TR7900
_:result leave_at 16:01
_:search area centre
_:search category theatre
_:search type Attraction
_:result count 3
_:result address 6 saint edward 's passage
_:result address anglia ruskin enterprise , east road
_:result address wheeler street
_:result name cambridge arts theatre
_:result name mumford theatre
_:result name the cambridge corn exchange
_:result type Attraction