inform((_:search,day,'saturday');(_:search,type,'Train'))
user
Looking for a train that leaves on saturday
inform((_:result,count,'404');(_:result,type,'Train')) reqmore()
system
Yes , there are 404 trains . Would you like to tell me more to narrow your search ?
inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
Leaving Birmignham New Street , to Cambridge .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
No problem . Any preference on times ?
inform((_:search,leave_at,'08:30');(_:search,type,'Train'))
user
I would need to leave after 08:30 .
inform((_:result,id,'TR1958');(_:result,leave_at,'8:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR1958 leaves at 8:40 - would you like tickets on that train ?
inform((_:search,area,'center');(_:search,pricerange,'moderate');(_:search,type,'Restaurant')) request((_:result,id,?);(_:result,type,'Train'))
user
Not yet .. just needed the ID .   Also , looking for a place to dine in the center of town at a moderate price range .
inform((_:result,amount,'many');(_:result,food,'British');(_:result,name,'Cotto');(_:result,type,'Restaurant'))
system
I have many delicious options . How does Cotto sound ? It 's British food .
inform((_:search,day,'same day');(_:search,duration,'21:00');(_:search,people,'3');(_:search,type,'Restaurant'))
user
That works for me . Book it for 3 people at 21:00 on the same day .
canthelp((_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking'))
system
Unfortunately , there is no availability for that time . Did you have a different time in mind ?
inform((_:search,duration,'20:00');(_:search,type,'Restaurant'))
user
Oh , bummer . How about 20:00 ?
inform((_:booking,ref,'WASWNFH0');(_:booking,type,'Booking'))
system
That worked ! Your reference number is   WASWNFH0 .
thank()
user
Thank you .   That is all .
system
You 're welcome . Have an awesome day .
_:search day saturday
_:search type Train
_:search day saturday
_:result count 404
_:result type Train
_:system inquired _:user
_:search destination cambridge
_:search type Train
_:search day saturday
_:result count 404
_:result type Train
_:system inquired _:user
_:search destination cambridge
_:search arrive_by ?
_:search leave_at 08:30
_:search type Train
_:search day saturday
_:result count 404
_:system inquired _:user
_:search destination cambridge
_:search arrive_by ?
_:search leave_at 08:30
_:result id TR1958
_:result leave_at 8:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search area center
_:search pricerange moderate
_:search type Restaurant
_:result id ?
_:result count 404
_:system inquired _:user
_:search destination cambridge
_:search arrive_by ?
_:search leave_at 08:30
_:result id TR1958
_:result leave_at 8:40
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search area center
_:search pricerange moderate
_:result id ?
_:result amount many
_:result food British
_:result name Cotto
_:result type Restaurant
_:search day same day
_:search duration 21:00
_:search people 3
_:search type Restaurant
_:result count 404
_:system inquired _:user
_:search destination cambridge
_:search arrive_by ?
_:search leave_at 08:30
_:result id TR1958
_:result leave_at 8:40
_:system offered _:booking
_:booking category Train
_:search area center
_:search pricerange moderate
_:result id ?
_:result amount many
_:result food British
_:result name Cotto
_:result type Restaurant
_:search day same day
_:search people 3
_:system canthelp _:booking/ee0b2392
_:booking/ee0b2392 type Booking
_:booking duration ?
_:booking type Booking
_:search duration 20:00
_:search type Restaurant
_:result count 404
_:system inquired _:user
_:search destination cambridge
_:search arrive_by ?
_:search leave_at 08:30
_:result id TR1958
_:result leave_at 8:40
_:system offered _:booking
_:booking category Train
_:search area center
_:search pricerange moderate
_:result id ?
_:result amount many
_:result food British
_:result name Cotto
_:result type Restaurant
_:search day same day
_:search people 3
_:system canthelp _:booking/ee0b2392
_:booking/ee0b2392 type Booking
_:booking duration ?
_:search duration 20:00
_:search type Restaurant
_:booking ref WASWNFH0
_:booking type Booking