inform((_:search,arrive_by,'13:45');(_:search,day,'thursday');(_:search,type,'Train'))
user
I need a train for Thursday please . Get me one that arrives by 13:45
request((_:search,destination,?);(_:search,type,'Train'))
system
sure , what is your destination ?
inform((_:search,departure,'stevenage');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'll be heading to Cambridge .   Leaving from Stevenage .   Can you tell me about this ?
inform((_:result,arrive_by,'12:43');(_:result,id,'TR1661');(_:result,leave_at,'11:54');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking')) reqmore()
system
Sure ! TR1661 will leave at 11:54 and arrive by 12:43 . Do you require more information or do you want book now ?
request((_:result,duration,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Could you tell me the price for a ticket , and the typical travel time ?
inform((_:result,duration,'49 minutes');(_:result,ticket,'12.80 pounds');(_:result,type,'Train'))
system
The train ride is 49 minutes and it will cost 12.80 pounds .
inform((_:search,food,'vegetarian');(_:search,pricerange,'moderately');(_:search,type,'Restaurant')) request((_:result,ticket,?);(_:result,type,'Train'))
user
Thank you ! Also , can you recommend a moderately - priced vegetarian restaurant , please ?
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,food,'vegetarian');(_:search,type,'Restaurant'))
system
I 'm sorry . I 'm not finding any vegetarian restaurants at all . Would you like to choose a different type of food ?
inform((_:search,food,'asian oriental');(_:search,type,'Restaurant'))
user
Ok , try the asian oriental food then .
offer((_:booking,type,'Booking')) inform((_:result,amount,'only one');(_:result,name,'Yippee Noodle Bar');(_:result,type,'Restaurant'))
system
Ok the only one is Yippee Noodle Bar . Would you like for me to book a table ?
inform((_:search,day,'thursday');(_:search,duration,'18:45');(_:search,people,'5');(_:search,type,'Restaurant'))
user
Sure !   I 'll need a booking for 5 at 18:45 on Thursday .
inform((_:booking,ref,'MZZNA6KZ');(_:booking,type,'Booking'))
system
Okay . Your booking was successful . The reference number is MZZNA6KZ . Your table will be reserved for 15 minutes .
thank()
user
Thank you for your help .
thank()
system
Any time . I was happy to help .
thank()
user
You are doing a great job ! That 's all I needed .
system
Thank you for using our system today !
_:search arrive_by 13:45
_:search day thursday
_:search type Train
_:search arrive_by 13:45
_:search day thursday
_:search departure stevenage
_:search destination cambridge
_:search type Train
_:search arrive_by 13:45
_:search day thursday
_:search departure stevenage
_:search destination cambridge
_:search type Train
_:result arrive_by 12:43
_:result id TR1661
_:result leave_at 11:54
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system inquired _:user
_:result duration ?
_:result ticket ?
_:search arrive_by 13:45
_:search day thursday
_:search departure stevenage
_:search destination cambridge
_:result arrive_by 12:43
_:result id TR1661
_:result leave_at 11:54
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system inquired _:user
_:result duration 49 minutes
_:result ticket 12.80 pounds
_:result type Train
_:search food vegetarian
_:search pricerange moderately
_:search type Restaurant
_:result ticket ?
_:search arrive_by 13:45
_:search day thursday
_:search departure stevenage
_:search destination cambridge
_:result arrive_by 12:43
_:result id TR1661
_:result leave_at 11:54
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system inquired _:user
_:result duration 49 minutes
_:result ticket 12.80 pounds
_:result type Train
_:search pricerange moderately
_:result ticket ?
_:system canthelp _:search/bfefe585
_:search/bfefe585 food vegetarian
_:search/bfefe585 type Restaurant
_:search food asian oriental
_:search type Restaurant
_:search arrive_by 13:45
_:search departure stevenage
_:search destination cambridge
_:result arrive_by 12:43
_:result id TR1661
_:result leave_at 11:54
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system inquired _:user
_:result duration 49 minutes
_:result ticket 12.80 pounds
_:search pricerange moderately
_:result ticket ?
_:system canthelp _:search/bfefe585
_:search/bfefe585 food vegetarian
_:search/bfefe585 type Restaurant
_:search food asian oriental
_:result amount only one
_:result name Yippee Noodle Bar
_:result type Restaurant
_:search day thursday
_:search duration 18:45
_:search people 5
_:search type Restaurant
_:search arrive_by 13:45
_:search departure stevenage
_:search destination cambridge
_:result arrive_by 12:43
_:result id TR1661
_:result leave_at 11:54
_:system offered _:booking
_:booking category Train
_:system inquired _:user
_:result duration 49 minutes
_:result ticket 12.80 pounds
_:search pricerange moderately
_:result ticket ?
_:system canthelp _:search/bfefe585
_:search/bfefe585 food vegetarian
_:search/bfefe585 type Restaurant
_:search food asian oriental
_:result amount only one
_:result name Yippee Noodle Bar
_:result type Restaurant
_:search day thursday
_:search duration 18:45
_:search people 5
_:search type Restaurant
_:booking ref MZZNA6KZ
_:booking type Booking
_:search arrive_by 13:45
_:search departure stevenage
_:search destination cambridge
_:result arrive_by 12:43
_:result id TR1661
_:result leave_at 11:54
_:system offered _:booking
_:booking category Train
_:system inquired _:user
_:result duration 49 minutes
_:result ticket 12.80 pounds
_:search pricerange moderately
_:result ticket ?
_:system canthelp _:search/bfefe585
_:search/bfefe585 food vegetarian
_:search/bfefe585 type Restaurant
_:search food asian oriental
_:result amount only one
_:result name Yippee Noodle Bar
_:result type Restaurant
_:search day thursday
_:search duration 18:45
_:search people 5
_:search type Restaurant
_:booking ref MZZNA6KZ
_:booking type Booking