inform((_:search,day,'friday');(_:search,type,'Train'))
user
I need to get out of the city on Friday , can you find me a train ?
inform((_:result,amount,'many');(_:result,day,'Friday');(_:result,type,'Train')) request((_:search,departure,?);(_:search,type,'Train'))
system
There are many options available to you on Friday .   Where would you be leaving from ?
inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
I would like to depart from cambridge .
inform((_:result,leave_at,'05:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,id,'TR5767');(_:booking,type,'Booking'))
system
Would train TR5767 work ? It leavees at 05:00 .
inform((_:search,destination,'norwich');(_:search,leave_at,'14:15');(_:search,type,'Train'))
user
No , we are going to norwich and need to leave after 14:15 .
inform((_:result,id,'TR2420');(_:result,leave_at,'15:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR2420 leaves at 15:00 . Would you like me to book it for you ?
inform((_:search,people,'1');(_:search,type,'Train'))
user
Yes , please . I need 1 ticket .
inform((_:booking,category,'Train');(_:booking,id,'TR2420');(_:booking,ref,'2A3LMYL1');(_:booking,type,'Booking'))
system
I have made that reservation for you on train TR2420 and your reference number is 2A3LMYL1 .
inform((_:search,area,'west');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
I also need to find a restaurant in the west with a moderate price range .
select((_:result,food,'British');(_:result,food,'Indian');(_:result,food,'Italian');(_:result,type,'Restaurant')) inform((_:result,area,'west');(_:result,count,'3');(_:result,pricerange,'moderate');(_:result,type,'Restaurant'))
system
I have three options with a moderate price range in the west .   Would you prefer British , Indian , or Italian ?
inform((_:search,area,'west');(_:search,food,'greek');(_:search,type,'Restaurant'))
user
Do you have any options in the west with Greek food ?
canthelp((_:search,area,'anywhere in town');(_:search,food,'Greek');(_:search,type,'Restaurant')) reqmore()
system
I 'm sorry , we do n't have any Greek restaurants anywhere in town . Is there anything else that would work ?
inform((_:search,food,'british');(_:search,type,'Restaurant'))
user
how about one that serves british food ?
offer((_:booking,type,'Booking')) inform((_:result,area,'west');(_:result,food,'British');(_:result,name,'Saint Johns Chop House');(_:result,type,'Restaurant'))
system
Saint Johns Chop House serves British food and is located in the west . Would you like me to make a reservation ?
inform((_:search,duration,'10:00');(_:search,people,'6');(_:search,type,'Restaurant'))
user
Yes , please make a reservation for 6 people at 10:00 .
request((_:booking,day,?);(_:booking,type,'Booking'))
system
What day will you be dining there ?
inform((_:search,day,'friday');(_:search,type,'Restaurant'))
user
I will be dining there on Friday .
canthelp((_:booking,day,'Friday');(_:booking,duration,'10:00');(_:booking,ref,'5ALATF6D');(_:booking,type,'Booking')) reqmore()
system
I have you booked on Friday at 10:00 . The reference number is 5ALATF6D . Is there anything else I can help you with ?
bye()
user
That is all I will need , thank you . Bye .
system
Thank you for contacting Cambridge TownInfo Centre .   I hope you enjoy your train ride and dinner .
_:search day friday
_:search type Train
_:search day friday
_:result amount many
_:result day Friday
_:result type Train
_:search departure cambridge
_:search type Train
_:search day friday
_:result amount many
_:result day Friday
_:search departure cambridge
_:result leave_at 05:00
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking id TR5767
_:booking type Booking
_:search destination norwich
_:search leave_at 14:15
_:search type Train
_:search day friday
_:result amount many
_:result day Friday
_:search departure cambridge
_:system offered _:booking
_:booking category Train
_:booking id TR5767
_:booking type Booking
_:search destination norwich
_:search leave_at 14:15
_:result id TR2420
_:result leave_at 15:00
_:result type Train
_:search people 1
_:search type Train
_:search day friday
_:result amount many
_:result day Friday
_:search departure cambridge
_:system offered _:booking
_:search destination norwich
_:search leave_at 14:15
_:result id TR2420
_:result leave_at 15:00
_:result type Train
_:search people 1
_:booking category Train
_:booking id TR2420
_:booking ref 2A3LMYL1
_:booking type Booking
_:search area west
_:search pricerange moderate
_:search type Restaurant
_:search day friday
_:result amount many
_:result day Friday
_:search departure cambridge
_:system offered _:booking
_:search destination norwich
_:search leave_at 14:15
_:result id TR2420
_:result leave_at 15:00
_:search people 1
_:booking category Train
_:booking id TR2420
_:booking ref 2A3LMYL1
_:booking type Booking
_:search pricerange moderate
_:result food British
_:result food Indian
_:result food Italian
_:result area west
_:result count 3
_:result pricerange moderate
_:result type Restaurant
_:search area west
_:search food greek
_:search type Restaurant
_:search day friday
_:result amount many
_:result day Friday
_:search departure cambridge
_:system offered _:booking
_:search destination norwich
_:search leave_at 14:15
_:result id TR2420
_:result leave_at 15:00
_:search people 1
_:booking category Train
_:booking id TR2420
_:booking ref 2A3LMYL1
_:booking type Booking
_:search pricerange moderate
_:result food British
_:result food Indian
_:result food Italian
_:result area west
_:result count 3
_:result pricerange moderate
_:result type Restaurant
_:search area west
_:system canthelp _:search/11502b56
_:search/11502b56 area anywhere in town
_:search/11502b56 food Greek
_:search/11502b56 type Restaurant
_:system inquired _:user
_:search food british
_:search type Restaurant
_:search day friday
_:result amount many
_:result day Friday
_:search departure cambridge
_:system offered _:booking
_:search destination norwich
_:search leave_at 14:15
_:result id TR2420
_:result leave_at 15:00
_:booking category Train
_:booking id TR2420
_:booking ref 2A3LMYL1
_:booking type Booking
_:search pricerange moderate
_:result count 3
_:result pricerange moderate
_:search area west
_:system canthelp _:search/11502b56
_:search/11502b56 area anywhere in town
_:search/11502b56 food Greek
_:search/11502b56 type Restaurant
_:system inquired _:user
_:search food british
_:result area west
_:result food British
_:result name Saint Johns Chop House
_:result type Restaurant
_:search duration 10:00
_:search people 6
_:search type Restaurant
_:result amount many
_:result day Friday
_:search departure cambridge
_:system offered _:booking
_:search destination norwich
_:search leave_at 14:15
_:result id TR2420
_:result leave_at 15:00
_:booking category Train
_:booking id TR2420
_:booking ref 2A3LMYL1
_:search pricerange moderate
_:result count 3
_:result pricerange moderate
_:search area west
_:system canthelp _:search/11502b56
_:search/11502b56 area anywhere in town
_:search/11502b56 food Greek
_:search/11502b56 type Restaurant
_:system inquired _:user
_:search food british
_:result area west
_:result food British
_:result name Saint Johns Chop House
_:result type Restaurant
_:search duration 10:00
_:search people 6
_:booking day ?
_:booking type Booking
_:search day friday
_:search type Restaurant
_:result amount many
_:result day Friday
_:search departure cambridge
_:system offered _:booking
_:search destination norwich
_:search leave_at 14:15
_:result id TR2420
_:result leave_at 15:00
_:booking category Train
_:booking id TR2420
_:booking ref 2A3LMYL1
_:search pricerange moderate
_:result count 3
_:result pricerange moderate
_:search area west
_:system canthelp _:search/11502b56
_:search/11502b56 area anywhere in town
_:search/11502b56 food Greek
_:search/11502b56 type Restaurant
_:search food british
_:result area west
_:result food British
_:result name Saint Johns Chop House
_:result type Restaurant
_:search duration 10:00
_:search people 6
_:booking day ?
_:booking type Booking
_:search day friday
_:search type Restaurant
_:system canthelp _:booking/15cfe268
_:booking/15cfe268 day Friday
_:booking/15cfe268 duration 10:00
_:booking/15cfe268 ref 5ALATF6D
_:booking/15cfe268 type Booking
_:system inquired _:user
_:user dismissed _:system