inform((_:search,departure,'cambridge');(_:search,leave_at,'15:00');(_:search,type,'Train'))
user
I am looking for a train leaving cambridge after 15:00 .
request((_:search,destination,?);(_:search,type,'Train'))
system
what is your destination ?
inform((_:search,destination,'bishops stortford');(_:search,type,'Train'))
user
I 'm going to Bishops Stortford .
inform((_:result,id,'TR2730');(_:result,leave_at,'15:29');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR2730 leaves at 15:29 . Do you want to book it ?
request((_:result,arrive_by,?);(_:result,ticket,?);(_:result,type,'Train'))
user
yes please and I need the price and arrival time
request((_:search,people,?);(_:search,type,'Train'))
system
How many tickets do you need ?
inform((_:search,people,'1');(_:search,type,'Train'))
user
Just 1 ticket please .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'12VHBCG9');(_:booking,ticket,'10.1 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 10.1 GBP payable at the station . Your reference number is : 12VHBCG9 . Can I help with anything else today ?
inform((_:search,food,'austrian');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Yes , I would like to find an expensive Austrian food .
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,area,'anywhere in Cambridge');(_:search,food,'Austrian');(_:search,type,'Restaurant'))
system
I 'm sorry , but there are no Austrian restaurants anywhere in Cambridge . Would you like to try a different type of cuisine ?
inform((_:search,area,'center');(_:search,food,'british');(_:search,type,'Restaurant'))
user
Oh , that 's too bad .   I do need something in the center .   Is there any British food ?
request((_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,amount,'a number');(_:result,type,'Restaurant'))
system
Yes , there are a number of options .   Did you have a price range in mind ?
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I 'd like something expensive please .
inform((_:result,count,'3');(_:result,type,'Restaurant'))
system
We have three options that meet your criteria . Would you like a recommendation ?
inform((_:search,day,'monday');(_:search,duration,'10:15');(_:search,people,'2');(_:search,type,'Restaurant'))
user
Yes , whatever you recommend will be fine . I need a reservation for monday at 10:15 . 2 people please .
reqmore() inform((_:booking,name,'fitzbillies restaurant');(_:booking,ref,'X5JH9O7F');(_:booking,type,'Booking'))
system
I 've booked you at fitzbillies restaurant . Your reference number is X5JH9O7F . What else can I help you with today ?
thank()
user
Great ! Thank you ! That 's all I need .
system
You 're welcome , let me know if I can assist with anything else .
_:search departure cambridge
_:search leave_at 15:00
_:search type Train
_:search departure cambridge
_:search leave_at 15:00
_:search destination bishops stortford
_:search type Train
_:search departure cambridge
_:search leave_at 15:00
_:search destination bishops stortford
_:search type Train
_:result id TR2730
_:result leave_at 15:29
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by ?
_:result ticket ?
_:search departure cambridge
_:search leave_at 15:00
_:search destination bishops stortford
_:result id TR2730
_:result leave_at 15:29
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by ?
_:result ticket ?
_:search people 1
_:search type Train
_:search departure cambridge
_:search leave_at 15:00
_:search destination bishops stortford
_:result id TR2730
_:result leave_at 15:29
_:result type Train
_:system offered _:booking
_:result arrive_by ?
_:result ticket ?
_:search people 1
_:system inquired _:user
_:booking category Train
_:booking ref 12VHBCG9
_:booking ticket 10.1 GBP
_:booking type Booking
_:search food austrian
_:search pricerange expensive
_:search type Restaurant
_:search departure cambridge
_:search leave_at 15:00
_:search destination bishops stortford
_:result id TR2730
_:result leave_at 15:29
_:result type Train
_:system offered _:booking
_:result arrive_by ?
_:result ticket ?
_:search people 1
_:system inquired _:user
_:booking category Train
_:booking ref 12VHBCG9
_:booking ticket 10.1 GBP
_:booking type Booking
_:search pricerange expensive
_:system canthelp _:search/c44f23ad
_:search/c44f23ad area anywhere in Cambridge
_:search/c44f23ad food Austrian
_:search/c44f23ad type Restaurant
_:search area center
_:search food british
_:search type Restaurant
_:search departure cambridge
_:search leave_at 15:00
_:search destination bishops stortford
_:result id TR2730
_:result leave_at 15:29
_:system offered _:booking
_:result arrive_by ?
_:result ticket ?
_:search people 1
_:system inquired _:user
_:booking category Train
_:booking ref 12VHBCG9
_:booking ticket 10.1 GBP
_:booking type Booking
_:system canthelp _:search/c44f23ad
_:search/c44f23ad area anywhere in Cambridge
_:search/c44f23ad food Austrian
_:search/c44f23ad type Restaurant
_:search area center
_:search food british
_:result amount a number
_:result type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:search departure cambridge
_:search leave_at 15:00
_:search destination bishops stortford
_:result id TR2730
_:result leave_at 15:29
_:system offered _:booking
_:result arrive_by ?
_:result ticket ?
_:system inquired _:user
_:booking category Train
_:booking ref 12VHBCG9
_:booking ticket 10.1 GBP
_:booking type Booking
_:system canthelp _:search/c44f23ad
_:search/c44f23ad area anywhere in Cambridge
_:search/c44f23ad food Austrian
_:search/c44f23ad type Restaurant
_:search area center
_:search food british
_:result amount a number
_:search pricerange expensive
_:result count 3
_:result type Restaurant
_:search day monday
_:search duration 10:15
_:search people 2
_:search type Restaurant
_:search departure cambridge
_:search leave_at 15:00
_:search destination bishops stortford
_:result id TR2730
_:result leave_at 15:29
_:system offered _:booking
_:result arrive_by ?
_:result ticket ?
_:booking category Train
_:booking ticket 10.1 GBP
_:system canthelp _:search/c44f23ad
_:search/c44f23ad area anywhere in Cambridge
_:search/c44f23ad food Austrian
_:search/c44f23ad type Restaurant
_:search area center
_:search food british
_:result amount a number
_:search pricerange expensive
_:result count 3
_:result type Restaurant
_:search day monday
_:search duration 10:15
_:search people 2
_:search type Restaurant
_:system inquired _:user
_:booking name fitzbillies restaurant
_:booking ref X5JH9O7F
_:booking type Booking