inform((_:search,day,'wednesday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
Can you tell me what trains will be leaving from Cambridge on Wednesday ?
inform((_:result,amount,'many');(_:result,departure,'Cambridge');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
There are many trains out of Cambridge . What destination are you thinking of ?
inform((_:search,destination,'birmingham new street');(_:search,leave_at,'16:30');(_:search,type,'Train'))
user
I want a train to birmingham new street that leaves after 16:30 .
inform((_:result,day,'Wednesday');(_:result,leave_at,'17:01');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
I have one leaving at 17:01 on Wednesday , would you like me to book it for you or do you need one later than that ?
inform((_:search,type,'Train')) request((_:result,id,?);(_:result,ticket,?);(_:result,type,'Train'))
user
That would work ! Could you tell me the Train ID , Arrival Time , and Price ?
reqmore() inform((_:booking,arrive_by,'19:44');(_:booking,category,'Train');(_:booking,destination,'birmingham new street station');(_:booking,id,'TR8531');(_:booking,ticket,'75.10 GBP');(_:booking,type,'Booking'))
system
Sure TR8531 arrives at birmingham new street station at 19:44 . The cost is 75.10 GBP per ticket . Can I help with anything else today ?
inform((_:search,food,'north african');(_:search,pricerange,'cheap');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Train'))
user
I would like the reference number for the train and am also seeking a cheap restaurant that serves North African food .
canthelp((_:search,food,'North African');(_:search,pricerange,'cheap');(_:search,type,'Restaurant')) request((_:search,people,?);(_:search,type,'Train'))
system
How many tickets do you need for the train ? And unfortunately , I 'm not finding any cheap North African restaurants . Would you like to look for something different ?
inform((_:search,food,'indian');(_:search,type,'Restaurant'))
user
How about an Indian restaurant instead ?
request((_:search,area,?);(_:search,type,'Restaurant')) inform((_:result,area,'north');(_:result,count,'4');(_:result,food,'Indian');(_:result,pricerange,'cheap price range');(_:result,type,'Restaurant'))
system
We have listings for 4 Indian restaurants in the cheap price range in the centre and north of town . Which area would you prefer ?
request((_:result,area,?);(_:result,type,'Restaurant')) inform((_:search,area,'does');(_:search,type,'Restaurant'))
user
The area does n't matter much , just pick one for me . I will need all of the information for what you choose though .
inform((_:result,address,'is victoria avenue chesterton');(_:result,area,'north');(_:result,name,'Royal Spice');(_:result,phone,'01733553355');(_:result,postcode,'cb41eh');(_:result,type,'Restaurant'))
system
Ok , lets go with Royal Spice , it 's in the north area , the phone number is 01733553355 , the postcode is cb41eh , and the address is Victoria Avenue Chesterton .
thank()
user
That will work just fine , thank you .
offer((_:booking,type,'Booking')) reqmore()
system
Is there anything else that you need ? Would you like me to book the restaurant ?
request((_:result,ref,?);(_:result,type,'Train'))
user
Yes please book it and I still need the reference number for both , the train and restaurant .
offer((_:booking,type,'Booking')) request((_:booking,people,?);(_:booking,type,'Booking'))
system
Before I can book the train , I need to know how many tickets you require .
inform((_:search,people,'1');(_:search,type,'Train'))
user
Just 1 for the train please
inform((_:booking,category,'Train');(_:booking,ref,'WH9BP30E');(_:booking,type,'Booking'))
system
Your train reference number is : WH9BP30E .
thank()
user
Thank you . I think that 's all I need .
system
Great , have a wonderful day !
_:search day wednesday
_:search departure cambridge
_:search type Train
_:search day wednesday
_:search departure cambridge
_:result amount many
_:result departure Cambridge
_:result type Train
_:search destination birmingham new street
_:search leave_at 16:30
_:search type Train
_:search day wednesday
_:search departure cambridge
_:result amount many
_:result departure Cambridge
_:search destination birmingham new street
_:result day Wednesday
_:result leave_at 17:01
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at ?
_:search type Train
_:result id ?
_:result ticket ?
_:search day wednesday
_:search departure cambridge
_:result amount many
_:result departure Cambridge
_:search destination birmingham new street
_:result day Wednesday
_:result leave_at 17:01
_:result type Train
_:system offered _:booking
_:search leave_at ?
_:result id ?
_:result ticket ?
_:system inquired _:user
_:booking arrive_by 19:44
_:booking category Train
_:booking destination birmingham new street station
_:booking id TR8531
_:booking ticket 75.10 GBP
_:booking type Booking
_:search food north african
_:search pricerange cheap
_:search type Restaurant
_:result ref ?
_:search day wednesday
_:search departure cambridge
_:result amount many
_:result departure Cambridge
_:search destination birmingham new street
_:result day Wednesday
_:result leave_at 17:01
_:result type Train
_:system offered _:booking
_:search leave_at ?
_:result id ?
_:result ticket ?
_:system inquired _:user
_:booking arrive_by 19:44
_:booking category Train
_:booking destination birmingham new street station
_:booking id TR8531
_:booking ticket 75.10 GBP
_:booking type Booking
_:search pricerange cheap
_:result ref ?
_:system canthelp _:search/ad39a4d8
_:search/ad39a4d8 food North African
_:search/ad39a4d8 pricerange cheap
_:search/ad39a4d8 type Restaurant
_:search people ?
_:search food indian
_:search type Restaurant
_:search day wednesday
_:search departure cambridge
_:result amount many
_:result departure Cambridge
_:search destination birmingham new street
_:result day Wednesday
_:result leave_at 17:01
_:system offered _:booking
_:search leave_at ?
_:result id ?
_:result ticket ?
_:system inquired _:user
_:booking arrive_by 19:44
_:booking category Train
_:booking destination birmingham new street station
_:booking id TR8531
_:booking ticket 75.10 GBP
_:booking type Booking
_:search pricerange cheap
_:result ref ?
_:system canthelp _:search/ad39a4d8
_:search/ad39a4d8 food North African
_:search/ad39a4d8 pricerange cheap
_:search/ad39a4d8 type Restaurant
_:search people ?
_:search food indian
_:result area north
_:result count 4
_:result food Indian
_:result pricerange cheap price range
_:result type Restaurant
_:result area ?
_:search area does
_:search type Restaurant
_:search day wednesday
_:search departure cambridge
_:result amount many
_:result departure Cambridge
_:search destination birmingham new street
_:result day Wednesday
_:result leave_at 17:01
_:system offered _:booking
_:search leave_at ?
_:result id ?
_:result ticket ?
_:system inquired _:user
_:booking arrive_by 19:44
_:booking category Train
_:booking destination birmingham new street station
_:booking id TR8531
_:booking ticket 75.10 GBP
_:booking type Booking
_:search pricerange cheap
_:result ref ?
_:system canthelp _:search/ad39a4d8
_:search/ad39a4d8 food North African
_:search/ad39a4d8 pricerange cheap
_:search/ad39a4d8 type Restaurant
_:search people ?
_:search food indian
_:result count 4
_:result food Indian
_:result pricerange cheap price range
_:search area does
_:search type Restaurant
_:result address is victoria avenue chesterton
_:result area north
_:result name Royal Spice
_:result phone 01733553355
_:result postcode cb41eh
_:result type Restaurant
_:search day wednesday
_:search departure cambridge
_:result amount many
_:result departure Cambridge
_:search destination birmingham new street
_:result day Wednesday
_:result leave_at 17:01
_:system offered _:booking
_:search leave_at ?
_:result id ?
_:result ticket ?
_:booking arrive_by 19:44
_:booking category Train
_:booking destination birmingham new street station
_:booking id TR8531
_:booking ticket 75.10 GBP
_:booking type Booking
_:search pricerange cheap
_:result ref ?
_:system canthelp _:search/ad39a4d8
_:search/ad39a4d8 food North African
_:search/ad39a4d8 pricerange cheap
_:search/ad39a4d8 type Restaurant
_:search people ?
_:search food indian
_:result count 4
_:result food Indian
_:result pricerange cheap price range
_:search area does
_:search type Restaurant
_:result address is victoria avenue chesterton
_:result area north
_:result name Royal Spice
_:result phone 01733553355
_:result postcode cb41eh
_:result type Restaurant
_:system inquired _:user
_:result type Train
_:search day wednesday
_:search departure cambridge
_:result amount many
_:result departure Cambridge
_:search destination birmingham new street
_:result day Wednesday
_:result leave_at 17:01
_:system offered _:booking
_:search leave_at ?
_:result id ?
_:result ticket ?
_:booking arrive_by 19:44
_:booking category Train
_:booking destination birmingham new street station
_:booking id TR8531
_:booking ticket 75.10 GBP
_:search pricerange cheap
_:result ref ?
_:system canthelp _:search/ad39a4d8
_:search/ad39a4d8 food North African
_:search/ad39a4d8 pricerange cheap
_:search/ad39a4d8 type Restaurant
_:search food indian
_:result count 4
_:result food Indian
_:result pricerange cheap price range
_:search area does
_:result address is victoria avenue chesterton
_:result area north
_:result name Royal Spice
_:result phone 01733553355
_:result postcode cb41eh
_:result type Restaurant
_:system inquired _:user
_:result type Train
_:booking people ?
_:booking type Booking
_:search people 1
_:search type Train
_:search day wednesday
_:search departure cambridge
_:result amount many
_:result departure Cambridge
_:search destination birmingham new street
_:result day Wednesday
_:result leave_at 17:01
_:system offered _:booking
_:search leave_at ?
_:result id ?
_:result ticket ?
_:booking arrive_by 19:44
_:booking destination birmingham new street station
_:booking id TR8531
_:booking ticket 75.10 GBP
_:search pricerange cheap
_:result ref ?
_:system canthelp _:search/ad39a4d8
_:search/ad39a4d8 food North African
_:search/ad39a4d8 pricerange cheap
_:search/ad39a4d8 type Restaurant
_:search food indian
_:result count 4
_:result food Indian
_:result pricerange cheap price range
_:search area does
_:result address is victoria avenue chesterton
_:result area north
_:result name Royal Spice
_:result phone 01733553355
_:result postcode cb41eh
_:result type Restaurant
_:system inquired _:user
_:result type Train
_:booking people ?
_:search people 1
_:search type Train
_:booking category Train
_:booking ref WH9BP30E
_:booking type Booking