inform((_:search,type,'Train'))
user
Hi . Can you help me find a train ?
thank() request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Sure . Where will you be departing from and where do you want to go ?
inform((_:search,day,'saturday');(_:search,departure,'leicester');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I want to depart from leicester and go to cambridge . I also want to leave on saturday
request((_:search,leave_at,?);(_:search,type,'Train'))
system
What time would you like to leave ?
inform((_:search,leave_at,'13:45');(_:search,type,'Train'))
user
I need to leave after 13:45 . Can you help find something ?
inform((_:result,id,'TR0137');(_:result,leave_at,'14:09');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have the TR0137 leaving at 14:09 . Would you like me to book that for you ?
inform((_:search,people,'2');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes that will be fine , can you book me a seat for 2 people and give me the reference number ?
reqmore() inform((_:booking,category,'Train');(_:booking,id,'TR0137');(_:booking,people,'two');(_:booking,ref,'A4MGZVE0');(_:booking,ticket,'60.48 GBP');(_:booking,type,'Booking'))
system
I have booked you on the TR0137 for two people with reference number is A4MGZVE0 .   The total fee is 60.48 GBP payable at the station . Will that be all ?
inform((_:search,area,'west');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Actually , I could use some help finding an expensive restaurant in the west part of town .
select((_:result,food,'British');(_:result,food,'European');(_:result,food,'Indian');(_:result,food,'Thai cuisine');(_:result,type,'Restaurant')) inform((_:result,count,'9');(_:result,type,'Restaurant'))
system
I have 9 restaurants that meet your requests . Would you be interested in British , European , Indian , or Thai cuisine ?
inform((_:search,food,'european');(_:search,type,'Restaurant'))
user
I would like european , please
offer((_:booking,type,'Booking')) inform((_:result,name,'Cambridge Lodge restaurant');(_:result,type,'Restaurant')) reqmore()
system
Cambridge Lodge restaurant fits your criteria . Would you like more information on it or would you like to book a table ?
request((_:result,address,?);(_:result,type,'Restaurant'))
user
I just need the address please .
inform((_:result,address,'Cambridge Lodge Hotel 139 Huntingdon Road City Centre');(_:result,type,'Restaurant'))
system
The address is Cambridge Lodge Hotel 139 Huntingdon Road City Centre .
request((_:result,address,?);(_:result,type,'Restaurant'))
user
Thank you for the address . That is all the help I need today .
system
Enjoy the rest of your day , goodbye !
_:search type Train
_:search day saturday
_:search departure leicester
_:search destination cambridge
_:search type Train
_:search day saturday
_:search departure leicester
_:search destination cambridge
_:search leave_at 13:45
_:search type Train
_:search day saturday
_:search departure leicester
_:search destination cambridge
_:search leave_at 13:45
_:result id TR0137
_:result leave_at 14:09
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 2
_:search type Train
_:result ref ?
_:search day saturday
_:search departure leicester
_:search destination cambridge
_:search leave_at 13:45
_:result id TR0137
_:result leave_at 14:09
_:result type Train
_:system offered _:booking
_:search people 2
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking id TR0137
_:booking people two
_:booking ref A4MGZVE0
_:booking ticket 60.48 GBP
_:booking type Booking
_:search area west
_:search pricerange expensive
_:search type Restaurant
_:search day saturday
_:search departure leicester
_:search destination cambridge
_:search leave_at 13:45
_:result id TR0137
_:result leave_at 14:09
_:system offered _:booking
_:search people 2
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking id TR0137
_:booking people two
_:booking ref A4MGZVE0
_:booking ticket 60.48 GBP
_:booking type Booking
_:search area west
_:search pricerange expensive
_:result food British
_:result food European
_:result food Indian
_:result food Thai cuisine
_:result count 9
_:result type Restaurant
_:search food european
_:search type Restaurant
_:search day saturday
_:search departure leicester
_:search destination cambridge
_:search leave_at 13:45
_:result id TR0137
_:result leave_at 14:09
_:system offered _:booking
_:search people 2
_:result ref ?
_:booking category Train
_:booking id TR0137
_:booking people two
_:booking ref A4MGZVE0
_:booking ticket 60.48 GBP
_:booking type Booking
_:search area west
_:search pricerange expensive
_:result food British
_:result food European
_:result food Indian
_:result food Thai cuisine
_:result count 9
_:search food european
_:search type Restaurant
_:result name Cambridge Lodge restaurant
_:result type Restaurant
_:system inquired _:user
_:result address ?
_:search day saturday
_:search departure leicester
_:search destination cambridge
_:search leave_at 13:45
_:result id TR0137
_:result leave_at 14:09
_:system offered _:booking
_:search people 2
_:result ref ?
_:booking category Train
_:booking id TR0137
_:booking people two
_:booking ref A4MGZVE0
_:booking ticket 60.48 GBP
_:booking type Booking
_:search area west
_:search pricerange expensive
_:result food British
_:result food European
_:result food Indian
_:result food Thai cuisine
_:result count 9
_:search food european
_:search type Restaurant
_:result name Cambridge Lodge restaurant
_:system inquired _:user
_:result address Cambridge Lodge Hotel 139 Huntingdon Road City Centre
_:result type Restaurant
_:result address ?