inform((_:search,day,'thursday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
Hi , I 'd like a train leaving from Cambridge on Thursday , please .
thank() request((_:search,destination,?);(_:search,type,'Train'))
system
Certainly . Did you have a destination in mind ?
inform((_:search,destination,'london kings cross');(_:search,type,'Train'))
user
Yes London Kings Cross .
thank() request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Great . Now what time would you like to leave by or arrive by ?
inform((_:search,arrive_by,'10:30');(_:search,destination,'London Kings Cross');(_:search,type,'Train'))
user
Arrive by 10:30 in London Kings Cross .
inform((_:result,arrive_by,'09:51');(_:result,id,'TR8636');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR8636 will arrive by 09:51 , would that work for you ?
request((_:result,leave_at,?);(_:result,type,'Train'))
user
Yes please bookm it for me and I need the departure time .
request((_:search,people,?);(_:search,type,'Train'))
system
How many tickets do you need ?
inform((_:search,people,'one');(_:search,type,'Train'))
user
Just one please
reqmore() inform((_:booking,category,'Train');(_:booking,type,'Booking'))
system
OK perfect , I have that booked for you then , is there anything else I can help you with ?
inform((_:search,area,'west');(_:search,category,'college');(_:search,type,'Attraction'))
user
I also need a college to go to in the west .
inform((_:result,category,'campus');(_:result,count,'5');(_:result,entrance_fee,'free');(_:result,name,'Clare Hall');(_:result,type,'Attraction'))
system
I have 5 different options for you . Might I suggest Clare Hall . It has free admission and it is a great campus to tour .
request((_:result,address,?);(_:result,type,'Attraction'))
user
That sounds great !   What is their address ?
inform((_:result,address,'herschel road');(_:result,phone,'01223332360');(_:result,type,'Attraction'))
system
It is located on herschel road   and the phone number is 01223332360
thank()
user
Thank you ! That will be all .
system
You are welcome .   Please let us know if you ever need assistance with anything else .
_:search day thursday
_:search departure cambridge
_:search type Train
_:search day thursday
_:search departure cambridge
_:search destination london kings cross
_:search type Train
_:search day thursday
_:search departure cambridge
_:search leave_at ?
_:search arrive_by 10:30
_:search destination London Kings Cross
_:search type Train
_:search day thursday
_:search departure cambridge
_:search leave_at ?
_:search arrive_by 10:30
_:search destination London Kings Cross
_:search type Train
_:result arrive_by 09:51
_:result id TR8636
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result leave_at ?
_:search day thursday
_:search departure cambridge
_:search leave_at ?
_:search arrive_by 10:30
_:search destination London Kings Cross
_:result arrive_by 09:51
_:result id TR8636
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result leave_at ?
_:search people one
_:search type Train
_:search day thursday
_:search departure cambridge
_:search leave_at ?
_:search arrive_by 10:30
_:search destination London Kings Cross
_:result arrive_by 09:51
_:result id TR8636
_:result type Train
_:system offered _:booking
_:result leave_at ?
_:search people one
_:system inquired _:user
_:booking category Train
_:booking type Booking
_:search area west
_:search category college
_:search type Attraction
_:search day thursday
_:search departure cambridge
_:search leave_at ?
_:search arrive_by 10:30
_:search destination London Kings Cross
_:result arrive_by 09:51
_:result id TR8636
_:system offered _:booking
_:result leave_at ?
_:search people one
_:system inquired _:user
_:booking category Train
_:booking type Booking
_:search area west
_:search category college
_:search type Attraction
_:result category campus
_:result count 5
_:result entrance_fee free
_:result name Clare Hall
_:result type Attraction
_:result address ?
_:search day thursday
_:search departure cambridge
_:search leave_at ?
_:search arrive_by 10:30
_:search destination London Kings Cross
_:result arrive_by 09:51
_:result id TR8636
_:system offered _:booking
_:result leave_at ?
_:search people one
_:system inquired _:user
_:booking category Train
_:booking type Booking
_:search area west
_:search category college
_:search type Attraction
_:result category campus
_:result count 5
_:result entrance_fee free
_:result name Clare Hall
_:result address herschel road
_:result phone 01223332360
_:result type Attraction