inform((_:search,arrive_by,'18:30');(_:search,day,'thursday');(_:search,type,'Train'))
user
Hi , I 'm looking for a train that leaves on Thursday and arrives by 18:30
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Sure , which stations will you be using ?
inform((_:search,departure,'cambridge');(_:search,destination,'stansted airport');(_:search,type,'Train'))
user
from cambridge to stansted airport .
inform((_:result,count,'13');(_:result,leave_at,'05:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There are 13 trains that match your needs . The first train leaves at 05:40 . Do you want a ticket on this train or one that leaves later ?
thank()
user
No thank you that will be all
thank()
system
Glad I could be of help .
request((_:result,duration,?);(_:result,id,?);(_:result,type,'Train'))
user
Actually I do need the train ID and travel time please .
inform((_:result,departure,'cambridge');(_:result,duration,'28 minutes');(_:result,id,'TR5579');(_:result,leave_at,'17:40');(_:result,type,'Train'))
system
Travel time will be 28 minutes for any train . The one closest to your arrival time is the TR5579 , which departs cambridge at 17:40
inform((_:search,name,'nandos');(_:search,type,'Restaurant')) request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
Can you also get me the postcode for Nandos restaurant ?
offer((_:booking,type,'Booking')) inform((_:result,postcode,'cb17dy');(_:result,type,'Restaurant'))
system
cb17dy is the postcode . Would you like to dine there ?
thank()
user
Thank you I will think about it .
thank() reqmore()
system
Great . Is there anything else ?
thank()
user
No that is it . Thank you .
system
You 're welcome , have a great day !
_:search arrive_by 18:30
_:search day thursday
_:search type Train
_:search arrive_by 18:30
_:search day thursday
_:search departure cambridge
_:search destination stansted airport
_:search type Train
_:search arrive_by 18:30
_:search day thursday
_:search departure cambridge
_:search destination stansted airport
_:search type Train
_:result count 13
_:result leave_at 05:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 18:30
_:search day thursday
_:search departure cambridge
_:search destination stansted airport
_:search type Train
_:result count 13
_:result leave_at 05:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:result id ?
_:search arrive_by 18:30
_:search day thursday
_:search departure cambridge
_:search destination stansted airport
_:result count 13
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result departure cambridge
_:result duration 28 minutes
_:result id TR5579
_:result leave_at 17:40
_:result type Train
_:search name nandos
_:search type Restaurant
_:result postcode ?
_:result type Restaurant
_:search arrive_by 18:30
_:search day thursday
_:search departure cambridge
_:search destination stansted airport
_:result count 13
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result departure cambridge
_:result duration 28 minutes
_:result id TR5579
_:result leave_at 17:40
_:search name nandos
_:search type Restaurant
_:result postcode cb17dy
_:result type Restaurant
_:search arrive_by 18:30
_:search day thursday
_:search departure cambridge
_:search destination stansted airport
_:result count 13
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result departure cambridge
_:result duration 28 minutes
_:result id TR5579
_:result leave_at 17:40
_:search name nandos
_:search type Restaurant
_:result postcode cb17dy
_:result type Restaurant
_:system inquired _:user