inform((_:search,area,'centre');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
Hello ! Are there any cheap restaurants in the centre ?
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,count,'15');(_:result,type,'Restaurant'))
system
There are 15 ! Are you looking for a particular type of cuisine ?
inform((_:search,day,'friday');(_:search,food,'dontcare');(_:search,type,'Restaurant'))
user
No just one that I can book for friday would be good .
request((_:booking,duration,?);(_:booking,people,?);(_:booking,type,'Booking'))
system
What time would you like to book and for how many people ?
inform((_:search,day,'friday');(_:search,duration,'16:00');(_:search,people,'6');(_:search,type,'Restaurant'))
user
16:00 on Friday please for 6 people .
offer((_:booking,type,'Booking')) inform((_:result,area,'centre');(_:result,food,'italian');(_:result,name,'zizzi cambridge');(_:result,type,'Restaurant'))
system
zizzi cambridge is an italian restaurant in the centre , shall I book ?
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Yes , can I also get the reference number ?
inform((_:result,ref,'AZ5ZZKQ0');(_:result,type,'Restaurant'))
system
Your reference number is AZ5ZZKQ0 .
inform((_:search,departure,'cambridge');(_:search,destination,'stansted airport');(_:search,type,'Train'))
user
Thank you , I also am looking for a train that goes from cambridge to stansted airport
request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
I can help you with that .   What is the date and time you need to travel ?
inform((_:search,arrive_by,'09:45');(_:search,day,'saturday');(_:search,type,'Train'))
user
I need to arrive by 09:45 Saturday .
offer((_:booking,category,'Train');(_:booking,leave_at,'8:40');(_:booking,type,'Booking'))
system
I can get you on one at 8:40 . Would you like me to book it ?
inform((_:search,people,'6');(_:search,type,'Train'))
user
Yes , please . For 6 people .
offer((_:booking,arrive_by,'09:08');(_:booking,category,'Train');(_:booking,departure,'cambridge');(_:booking,destination,'stansted airport');(_:booking,id,'TR5580');(_:booking,leave_at,'08:40');(_:booking,type,'Booking')) request((_:search,people,?);(_:search,type,'Train'))
system
I can book you on TR5580 which will leave cambridge at 08:40 and arrive at stansted airport b 09:08 .   How many shall I book it for ?
inform((_:search,people,'6');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
I would need 6 tickets please and the reference number .
inform((_:booking,category,'Train');(_:booking,ref,'J1U2HA9U');(_:booking,ticket,'48.48 GBP');(_:booking,type,'Booking'))
system
The total fee is 48.48 GBP and is payable at the station . The reference number is   J1U2HA9U .
thank()
user
Thank you . That 'll be all !
system
Thank you for using Cambridge TownInfo centre . Please consider us for your future travel needs .
_:search area centre
_:search pricerange cheap
_:search type Restaurant
_:search area centre
_:search pricerange cheap
_:result count 15
_:result type Restaurant
_:search day friday
_:search food dontcare
_:search type Restaurant
_:search area centre
_:search pricerange cheap
_:result count 15
_:result type Restaurant
_:search food dontcare
_:booking duration ?
_:booking people ?
_:booking type Booking
_:search day friday
_:search duration 16:00
_:search people 6
_:search type Restaurant
_:search area centre
_:search pricerange cheap
_:result count 15
_:search food dontcare
_:booking duration ?
_:booking people ?
_:booking type Booking
_:search day friday
_:search duration 16:00
_:search people 6
_:search type Restaurant
_:system offered _:booking
_:result area centre
_:result food italian
_:result name zizzi cambridge
_:result type Restaurant
_:result ref ?
_:search area centre
_:search pricerange cheap
_:result count 15
_:search food dontcare
_:booking duration ?
_:booking people ?
_:booking type Booking
_:search day friday
_:search duration 16:00
_:search people 6
_:system offered _:booking
_:result area centre
_:result food italian
_:result name zizzi cambridge
_:result ref AZ5ZZKQ0
_:result type Restaurant
_:search departure cambridge
_:search destination stansted airport
_:search type Train
_:search area centre
_:search pricerange cheap
_:result count 15
_:search food dontcare
_:booking duration ?
_:booking people ?
_:booking type Booking
_:search duration 16:00
_:search people 6
_:system offered _:booking
_:result area centre
_:result food italian
_:result name zizzi cambridge
_:result ref AZ5ZZKQ0
_:result type Restaurant
_:search departure cambridge
_:search destination stansted airport
_:search leave_at ?
_:search arrive_by 09:45
_:search day saturday
_:search type Train
_:search area centre
_:search pricerange cheap
_:result count 15
_:search food dontcare
_:booking duration ?
_:booking people ?
_:booking type Booking
_:search duration 16:00
_:system offered _:booking
_:result area centre
_:result food italian
_:result name zizzi cambridge
_:result ref AZ5ZZKQ0
_:result type Restaurant
_:search departure cambridge
_:search destination stansted airport
_:search leave_at ?
_:search arrive_by 09:45
_:search day saturday
_:booking category Train
_:booking leave_at 8:40
_:search people 6
_:search type Train
_:search area centre
_:search pricerange cheap
_:result count 15
_:search food dontcare
_:booking duration ?
_:booking people ?
_:booking type Booking
_:search duration 16:00
_:system offered _:booking
_:result area centre
_:result food italian
_:result name zizzi cambridge
_:result ref AZ5ZZKQ0
_:result type Restaurant
_:search departure cambridge
_:search destination stansted airport
_:search leave_at ?
_:search arrive_by 09:45
_:search day saturday
_:booking category Train
_:booking leave_at 8:40
_:booking arrive_by 09:08
_:booking departure cambridge
_:booking destination stansted airport
_:booking id TR5580
_:booking leave_at 08:40
_:search people 6
_:search type Train
_:result ref ?
_:result type Train
_:search area centre
_:search pricerange cheap
_:result count 15
_:search food dontcare
_:booking duration ?
_:booking people ?
_:search duration 16:00
_:system offered _:booking
_:result area centre
_:result food italian
_:result name zizzi cambridge
_:result ref AZ5ZZKQ0
_:result type Restaurant
_:search departure cambridge
_:search destination stansted airport
_:search leave_at ?
_:search arrive_by 09:45
_:search day saturday
_:booking leave_at 8:40
_:booking arrive_by 09:08
_:booking departure cambridge
_:booking destination stansted airport
_:booking id TR5580
_:booking leave_at 08:40
_:search people 6
_:search type Train
_:result ref ?
_:result type Train
_:booking category Train
_:booking ref J1U2HA9U
_:booking ticket 48.48 GBP
_:booking type Booking