inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
Hi , I am looking for information on train schedules going to Cambridge .
request((_:search,arrive_by,?);(_:search,day,?);(_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Do you have a particular itinerary in mind ?
inform((_:search,day,'monday');(_:search,departure,'bishops stortford');(_:search,leave_at,'16:45');(_:search,type,'Train'))
user
Yes , I was looking to leave Bishops Stortford on Monday sometime after 16:45 .
inform((_:result,departure,'Bishops Stortford');(_:result,id,'TR8925');(_:result,leave_at,'16:45');(_:result,leave_at,'17:29');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,people,'one or more');(_:booking,type,'Booking'))
system
The first train after 16:45 is the TR8925 , departing Bishops Stortford at 17:29 . Would you like to book one or more tickets for this train ?
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
Yes , I would .   May I please get the arrival time ?
inform((_:result,amount,'several');(_:result,arrive_by,'18:07');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There are several . One arrives at 18:07 will this work ?
inform((_:search,pricerange,'moderately');(_:search,type,'Restaurant'))
user
I am also interested in a place to dine that is moderately priced .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'many');(_:result,pricerange,'moderately prices');(_:result,type,'Restaurant'))
system
I have many moderately prices options . Is there a type of food you 'd like ?
inform((_:search,area,'centre');(_:search,food,'british');(_:search,type,'Restaurant'))
user
British food sounds good . Somewhere in the centre .
offer((_:booking,type,'Booking')) inform((_:result,address,'183 East Road City Centre');(_:result,name,'Cotto');(_:result,type,'Restaurant'))
system
I recommend Cotto , located at 183 East Road City Centre . Would you like a table there ?
inform((_:search,day,'same day');(_:search,duration,'20:30');(_:search,type,'Restaurant'))
user
Yes please . I just need it for myself at 20:30 that same day .
reqmore() inform((_:booking,ref,'G44NSDGJ');(_:booking,type,'Booking'))
system
Booking was successful . The table will be reserved for 15 minutes . your reference number is G44NSDGJ . anything else you need help with ?
thank()
user
thanks for your help . that is all i wanted
offer((_:booking,category,'Train');(_:booking,type,'Booking')) thank()
system
You are welcome . Did you want me to book your train tickets ? That was left up in the air .
user
That is all .
system
Thank you for calling .   If you need any further assistance please do n't hesitate to call back .   Good Bye !
_:search destination cambridge
_:search type Train
_:search arrive_by ?
_:search destination ?
_:search day monday
_:search departure bishops stortford
_:search leave_at 16:45
_:search type Train
_:search arrive_by ?
_:search destination ?
_:search day monday
_:search departure bishops stortford
_:search leave_at 16:45
_:search type Train
_:result departure Bishops Stortford
_:result id TR8925
_:result leave_at 16:45
_:result leave_at 17:29
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking people one or more
_:booking type Booking
_:result arrive_by ?
_:search arrive_by ?
_:search destination ?
_:search day monday
_:search departure bishops stortford
_:search leave_at 16:45
_:result departure Bishops Stortford
_:result id TR8925
_:result leave_at 16:45
_:result leave_at 17:29
_:system offered _:booking
_:booking category Train
_:booking people one or more
_:booking type Booking
_:result amount several
_:result arrive_by 18:07
_:result type Train
_:search pricerange moderately
_:search type Restaurant
_:search arrive_by ?
_:search destination ?
_:search day monday
_:search departure bishops stortford
_:search leave_at 16:45
_:result departure Bishops Stortford
_:result id TR8925
_:result leave_at 16:45
_:result leave_at 17:29
_:system offered _:booking
_:booking category Train
_:booking people one or more
_:booking type Booking
_:result arrive_by 18:07
_:search pricerange moderately
_:result amount many
_:result pricerange moderately prices
_:result type Restaurant
_:search area centre
_:search food british
_:search type Restaurant
_:search arrive_by ?
_:search destination ?
_:search departure bishops stortford
_:search leave_at 16:45
_:result departure Bishops Stortford
_:result id TR8925
_:result leave_at 16:45
_:result leave_at 17:29
_:system offered _:booking
_:booking category Train
_:booking people one or more
_:booking type Booking
_:result arrive_by 18:07
_:search pricerange moderately
_:result amount many
_:result pricerange moderately prices
_:search area centre
_:search food british
_:result address 183 East Road City Centre
_:result name Cotto
_:result type Restaurant
_:search day same day
_:search duration 20:30
_:search type Restaurant
_:search arrive_by ?
_:search destination ?
_:search departure bishops stortford
_:search leave_at 16:45
_:result departure Bishops Stortford
_:result id TR8925
_:result leave_at 16:45
_:result leave_at 17:29
_:system offered _:booking
_:booking category Train
_:booking people one or more
_:result arrive_by 18:07
_:search pricerange moderately
_:result amount many
_:result pricerange moderately prices
_:search area centre
_:search food british
_:result address 183 East Road City Centre
_:result name Cotto
_:result type Restaurant
_:search day same day
_:search duration 20:30
_:search type Restaurant
_:system inquired _:user
_:booking ref G44NSDGJ
_:booking type Booking
_:search arrive_by ?
_:search destination ?
_:search departure bishops stortford
_:search leave_at 16:45
_:result departure Bishops Stortford
_:result id TR8925
_:result leave_at 16:45
_:result leave_at 17:29
_:system offered _:booking
_:booking category Train
_:booking people one or more
_:result arrive_by 18:07
_:search pricerange moderately
_:result amount many
_:result pricerange moderately prices
_:search area centre
_:search food british
_:result address 183 East Road City Centre
_:result name Cotto
_:result type Restaurant
_:search day same day
_:search duration 20:30
_:search type Restaurant
_:system inquired _:user
_:booking ref G44NSDGJ
_:booking type Booking