inform((_:search,departure,'norwich');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'm looking for a train from norwich to cambridge .
inform((_:result,amount,'several');(_:result,duration,'79 minutes');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There are several choices .   The ride is about 79 minutes long .   Can I make a reservation for you ?
inform((_:search,day,'sunday');(_:search,leave_at,'9:15');(_:search,type,'Train'))
user
I am not sure . Do you have one leaving after 9:15 on sunday ?
request((_:search,arrive_by,?);(_:search,type,'Train')) inform((_:result,amount,'several');(_:result,type,'Train'))
system
I have several , is there an arrival time you prefer ?
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
No , I do not have a specific arrival time .
inform((_:booking,arrive_by,'10:35');(_:booking,category,'Train');(_:booking,id,'TR0996');(_:booking,leave_at,'09:16');(_:booking,type,'Booking'))
system
Okay , how about TR0996 , leaving at 09:16 and arriving by 10:35 ?
inform((_:search,name,'stazione restaurant and coffee bar');(_:search,type,'Restaurant'))
user
Okay . That sounds good . Can you tell me more about a restaurant called stazione restaurant and coffee bar .
inform((_:result,address,'Market Hill City Centre');(_:result,area,'centre');(_:result,food,'italian');(_:result,name,'stazione restaurant and coffee bar');(_:result,phone,'01223352607');(_:result,postcode,'cb23njand');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
stazione restaurant and coffee bar 	 italian is in centre area . it is expensive . their telephone number is 	 01223352607 , code 	 cb23njand is located inMarket Hill City Centre .
inform((_:search,duration,'17:45');(_:search,people,'5');(_:search,type,'Restaurant'))
user
Can you book a table for 5 people at 17:45 for Stazione , please ?
request((_:booking,day,?);(_:booking,type,'Booking')) thank()
system
Sure .   Can you confirm the day you would like the booking ?
inform((_:search,day,'sunday');(_:search,type,'Restaurant'))
user
Yes .   I need that booking for Sunday .
reqmore() inform((_:booking,ref,'PUQ990A7');(_:booking,type,'Booking'))
system
I have you booked and your confirmation number is PUQ990A7 .   Can I help you further ?
thank()
user
I think that is all I needed today . Thank you !
system
Have a great day !
_:search departure norwich
_:search destination cambridge
_:search type Train
_:search departure norwich
_:search destination cambridge
_:result amount several
_:result duration 79 minutes
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day sunday
_:search leave_at 9:15
_:search type Train
_:search departure norwich
_:search destination cambridge
_:result duration 79 minutes
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day sunday
_:search leave_at 9:15
_:search arrive_by ?
_:search type Train
_:result amount several
_:result type Train
_:result arrive_by ?
_:search departure norwich
_:search destination cambridge
_:result duration 79 minutes
_:system offered _:booking
_:search day sunday
_:search leave_at 9:15
_:search arrive_by ?
_:result amount several
_:result type Train
_:result arrive_by ?
_:booking arrive_by 10:35
_:booking category Train
_:booking id TR0996
_:booking leave_at 09:16
_:booking type Booking
_:search name stazione restaurant and coffee bar
_:search type Restaurant
_:search departure norwich
_:search destination cambridge
_:result duration 79 minutes
_:system offered _:booking
_:search day sunday
_:search leave_at 9:15
_:search arrive_by ?
_:result amount several
_:result arrive_by ?
_:booking arrive_by 10:35
_:booking category Train
_:booking id TR0996
_:booking leave_at 09:16
_:booking type Booking
_:search name stazione restaurant and coffee bar
_:result address Market Hill City Centre
_:result area centre
_:result food italian
_:result name stazione restaurant and coffee bar
_:result phone 01223352607
_:result postcode cb23njand
_:result pricerange expensive
_:result type Restaurant
_:search duration 17:45
_:search people 5
_:search type Restaurant
_:search departure norwich
_:search destination cambridge
_:result duration 79 minutes
_:system offered _:booking
_:search leave_at 9:15
_:search arrive_by ?
_:result amount several
_:result arrive_by ?
_:booking arrive_by 10:35
_:booking category Train
_:booking id TR0996
_:booking leave_at 09:16
_:search name stazione restaurant and coffee bar
_:result address Market Hill City Centre
_:result area centre
_:result food italian
_:result name stazione restaurant and coffee bar
_:result phone 01223352607
_:result postcode cb23njand
_:result pricerange expensive
_:result type Restaurant
_:search duration 17:45
_:search people 5
_:booking day ?
_:booking type Booking
_:search day sunday
_:search type Restaurant
_:search departure norwich
_:search destination cambridge
_:result duration 79 minutes
_:system offered _:booking
_:search leave_at 9:15
_:search arrive_by ?
_:result amount several
_:result arrive_by ?
_:booking arrive_by 10:35
_:booking category Train
_:booking id TR0996
_:booking leave_at 09:16
_:search name stazione restaurant and coffee bar
_:result address Market Hill City Centre
_:result area centre
_:result food italian
_:result name stazione restaurant and coffee bar
_:result phone 01223352607
_:result postcode cb23njand
_:result pricerange expensive
_:result type Restaurant
_:search duration 17:45
_:search people 5
_:booking day ?
_:search day sunday
_:search type Restaurant
_:system inquired _:user
_:booking ref PUQ990A7
_:booking type Booking