inform((_:search,leave_at,'11:30');(_:search,type,'Train'))
user
I need a train that is leaving after 11:30 .
inform((_:result,amount,'multiple');(_:result,type,'Train')) request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Yes , there are multiple trains available . What day and time will you be departing ?
inform((_:search,day,'monday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I need to leave from Cambridge on Monday please .
request((_:search,destination,?);(_:search,type,'Train'))
system
And where are you bound ?
inform((_:search,destination,'birmingham new street');(_:search,type,'Train'))
user
I am going to Birmingham New Street .
inform((_:result,leave_at,'11:30');(_:result,type,'Train'))
system
Is there a train leaving earlier than 11:30 , since there is nothing after 11:30 ?
inform((_:search,destination,'birmingham');(_:search,leave_at,'11:30');(_:search,type,'Train'))
user
I need to leave after 11:30 , and go to Birmingham , New Street .
inform((_:result,count,'12');(_:result,id,'TR6162');(_:result,leave_at,'12:01');(_:result,type,'Train'))
system
Sorry about that , there are actually 12 options here . The first train is TR6162 , which leaves at 12:01
inform((_:search,people,'6');(_:search,type,'Train'))
user
Please make a booking for 6 people on that first train .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'ISOR1J8A');(_:booking,ticket,'450.6 GBP');(_:booking,type,'Booking'))
system
Your booking was successful , the total fee is 450.6 GBP payable at the station . Reference number is : ISOR1J8A . Can I help with anything else ?
inform((_:search,category,'college');(_:search,type,'Attraction'))
user
I would also like somewhere fun to go , a college I think .
request((_:search,area,?);(_:search,type,'Attraction')) inform((_:result,category,'colleges');(_:result,count,'18');(_:result,type,'Attraction'))
system
We have 18 colleges is there a specific area you 'd like me to look at ?
request((_:result,phone,?);(_:result,type,'Attraction'))
user
Can you recommend one for me and give me their phone number please ?
reqmore() inform((_:result,address,"king 's parade");(_:result,name,'corpus christi');(_:result,phone,'01223338000');(_:result,type,'Attraction'))
system
Sure , corpus christi is located at king 's parade , phone 01223338000 . Is there anything else I can assist you with today ?
bye()
user
No thank you , I am all set ! Bye !
system
Thank you for contacting us .   Have a great day !
_:search leave_at 11:30
_:search type Train
_:result amount multiple
_:result type Train
_:search leave_at ?
_:search day monday
_:search departure cambridge
_:search type Train
_:result amount multiple
_:result type Train
_:search leave_at ?
_:search day monday
_:search departure cambridge
_:search destination birmingham new street
_:search type Train
_:result amount multiple
_:search day monday
_:search departure cambridge
_:result leave_at 11:30
_:result type Train
_:search destination birmingham
_:search leave_at 11:30
_:search type Train
_:result amount multiple
_:search day monday
_:search departure cambridge
_:search destination birmingham
_:search leave_at 11:30
_:result count 12
_:result id TR6162
_:result leave_at 12:01
_:result type Train
_:search people 6
_:search type Train
_:result amount multiple
_:search day monday
_:search departure cambridge
_:search destination birmingham
_:search leave_at 11:30
_:result count 12
_:result id TR6162
_:result leave_at 12:01
_:result type Train
_:search people 6
_:system inquired _:user
_:booking category Train
_:booking ref ISOR1J8A
_:booking ticket 450.6 GBP
_:booking type Booking
_:search category college
_:search type Attraction
_:result amount multiple
_:search day monday
_:search departure cambridge
_:search destination birmingham
_:search leave_at 11:30
_:result id TR6162
_:result leave_at 12:01
_:search people 6
_:system inquired _:user
_:booking category Train
_:booking ref ISOR1J8A
_:booking ticket 450.6 GBP
_:booking type Booking
_:search category college
_:search area ?
_:search type Attraction
_:result category colleges
_:result count 18
_:result type Attraction
_:result phone ?
_:result amount multiple
_:search day monday
_:search departure cambridge
_:search destination birmingham
_:search leave_at 11:30
_:result id TR6162
_:result leave_at 12:01
_:search people 6
_:booking category Train
_:booking ref ISOR1J8A
_:booking ticket 450.6 GBP
_:booking type Booking
_:search category college
_:search area ?
_:search type Attraction
_:result category colleges
_:result count 18
_:system inquired _:user
_:result address king 's parade
_:result name corpus christi
_:result phone 01223338000
_:result type Attraction
_:user dismissed _:system