inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
Hi , I 'm looking for a train from Cambridge please .
request((_:search,destination,?);(_:search,type,'Train'))
system
Where are you traveling to ?
inform((_:search,departure,'Cambridge');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I am leaving from Cambridge going to london kings cross .
inform((_:result,amount,'several');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
I have several trains available .   What day would like to leave and what are your preferred arrival and departure times ?
inform((_:search,day,'sunday');(_:search,leave_at,'19:45');(_:search,type,'Train'))
user
I would like to leave on sunday and leave after 19:45 .
inform((_:result,arrive_by,'21:51');(_:result,leave_at,'21:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have a train that leaves at 21:00 and arrives   at 21:51 . Would you like me to book this for you ?
inform((_:search,category,'theatre');(_:search,type,'Attraction'))
user
Sure , please book that for me , thanks . Oh , and I 'm also looking for places in town to visit , particularly theatre venues .
request((_:search,people,?);(_:search,type,'Train'))
system
How many tickets did you need for the booking ?
inform((_:search,people,'1');(_:search,type,'Train')) request((_:result,area,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction')) inform((_:search,category,'theatre');(_:search,type,'Attraction'))
user
1 should be fine . also find me a theatre . i need the area , postcode , and phone number
inform((_:booking,category,'Train');(_:booking,ref,'9USR2RCX');(_:booking,ticket,'18.88 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 18.88 GBP payable at the station . Reference number is : 9USR2RCX . Where would you like the theater to be ?
user
It depends on what theatre you recommend .
inform((_:result,area,'centre');(_:result,name,'the mumford theatre');(_:result,type,'Attraction'))
system
How about the mumford theatre in the centre ?
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
That sounds great . Can you get me the postcode and phone number for it ?
reqmore() inform((_:result,area,'centre');(_:result,name,'Mumford Theatre');(_:result,phone,'08451962320');(_:result,postcode,'cb11pt');(_:result,type,'Attraction'))
system
Yes , Mumford Theatre is in the town centre at post code cb11pt .   The phone number is 08451962320 .   Can I help with anything else today ?
thank()
user
That is everything , thank you .
system
I am happy I could be of help . Take care . Goodbye .
_:search departure cambridge
_:search type Train
_:search departure Cambridge
_:search destination london kings cross
_:search type Train
_:search departure Cambridge
_:search destination london kings cross
_:result amount several
_:result type Train
_:search arrive_by ?
_:search day sunday
_:search leave_at 19:45
_:search type Train
_:search departure Cambridge
_:search destination london kings cross
_:result amount several
_:search arrive_by ?
_:search day sunday
_:search leave_at 19:45
_:result arrive_by 21:51
_:result leave_at 21:00
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search category theatre
_:search type Attraction
_:search departure Cambridge
_:search destination london kings cross
_:result amount several
_:search arrive_by ?
_:search day sunday
_:search leave_at 19:45
_:result arrive_by 21:51
_:result leave_at 21:00
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 1
_:result area ?
_:result phone ?
_:result postcode ?
_:result type Attraction
_:search category theatre
_:search type Attraction
_:search departure Cambridge
_:search destination london kings cross
_:result amount several
_:search arrive_by ?
_:search day sunday
_:search leave_at 19:45
_:result arrive_by 21:51
_:result leave_at 21:00
_:result type Train
_:system offered _:booking
_:search people 1
_:result area ?
_:result phone ?
_:result postcode ?
_:result type Attraction
_:search category theatre
_:search type Attraction
_:booking category Train
_:booking ref 9USR2RCX
_:booking ticket 18.88 GBP
_:booking type Booking
_:search departure Cambridge
_:search destination london kings cross
_:result amount several
_:search arrive_by ?
_:search day sunday
_:search leave_at 19:45
_:result arrive_by 21:51
_:result leave_at 21:00
_:system offered _:booking
_:search people 1
_:result phone ?
_:result postcode ?
_:search category theatre
_:search type Attraction
_:booking category Train
_:booking ref 9USR2RCX
_:booking ticket 18.88 GBP
_:booking type Booking
_:result area centre
_:result name the mumford theatre
_:result type Attraction
_:search departure Cambridge
_:search destination london kings cross
_:result amount several
_:search arrive_by ?
_:search day sunday
_:search leave_at 19:45
_:result arrive_by 21:51
_:result leave_at 21:00
_:system offered _:booking
_:search people 1
_:search category theatre
_:search type Attraction
_:booking category Train
_:booking ref 9USR2RCX
_:booking ticket 18.88 GBP
_:booking type Booking
_:system inquired _:user
_:result area centre
_:result name Mumford Theatre
_:result phone 08451962320
_:result postcode cb11pt
_:result type Attraction