inform((_:search,arrive_by,'21:00');(_:search,day,'monday');(_:search,leave_at,'21:00');(_:search,type,'Train'))
user
Can you help me find a train leaving on monday arriving by 21:00 ?
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
What are your departure and arrival stations ?
inform((_:search,departure,'leicester');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need to depart from Leicester and arrive in Cambridge .
inform((_:result,leave_at,'5:09');(_:result,leave_at,'every hour');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
Those trains actually run every hour . The first train leaves at 5:09 . What time do you want to depart ?
request((_:result,duration,?);(_:result,id,?);(_:result,leave_at,?);(_:result,type,'Train'))
user
Any is fine . I 'll just need a departure time , train ID , and travel time .
inform((_:result,day,'Monday');(_:result,duration,'105 minutes');(_:result,id,'TR4588');(_:result,leave_at,'18:09');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Here 's the information about the train : TR4588 , leaving Monday at 18:09 , travel time 105 minutes . Would you like me to book a ticket for you ?
inform((_:search,has_parking,'yes');(_:search,type,'Hotel'))
user
no . i also wish to find a place to stay with free parking
request((_:search,area,?);(_:search,pricerange,?);(_:search,stars,?);(_:search,type,'Hotel')) inform((_:result,count,'29');(_:result,type,'Hotel'))
system
There are 29 hotels that meet your needs . Can you narrow it down to area , price range and stars ?
inform((_:search,area,'north');(_:search,category,'guesthouse');(_:search,pricerange,'moderate');(_:search,type,'Hotel'))
user
Hm , moderate price please . And north area . Maybe a guesthouse ?
inform((_:result,name,'acorn guest house');(_:result,type,'Hotel')) offer((_:booking,type,'Booking'))
system
I 'd recommend acorn guest house . Would you like to book a room ?
inform((_:search,day,'same day');(_:search,type,'Hotel'))
user
yeah , i need to book it . same day as the train .
request((_:booking,people,?);(_:booking,type,'Booking'))
system
How many people will be staying ?
inform((_:search,people,'four');(_:search,stay,'four');(_:search,type,'Hotel'))
user
There will be four of us . And we 'll be staying for four nights .
request((_:booking,day,?);(_:booking,type,'Booking'))
system
Okay , starting on what day ?
inform((_:search,day,'monday');(_:search,type,'Train'))
user
We need it to start on Monday please as this is when our train comes in .
reqmore() inform((_:booking,ref,'KIYKIJPC');(_:booking,type,'Booking'))
system
Booking was successful . Reference number is : KIYKIJPC . Is there anything else ?
thank()
user
No that is all we need . Thank you .
system
Have a great day !
_:search arrive_by 21:00
_:search day monday
_:search leave_at 21:00
_:search type Train
_:search arrive_by 21:00
_:search day monday
_:search leave_at 21:00
_:search departure leicester
_:search destination cambridge
_:search type Train
_:search arrive_by 21:00
_:search day monday
_:search departure leicester
_:search destination cambridge
_:result leave_at 5:09
_:result leave_at every hour
_:result type Train
_:search leave_at ?
_:search type Train
_:result duration ?
_:result id ?
_:result leave_at ?
_:search arrive_by 21:00
_:search day monday
_:search departure leicester
_:search destination cambridge
_:search leave_at ?
_:result day Monday
_:result duration 105 minutes
_:result id TR4588
_:result leave_at 18:09
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search has_parking yes
_:search type Hotel
_:search arrive_by 21:00
_:search day monday
_:search departure leicester
_:search destination cambridge
_:search leave_at ?
_:result day Monday
_:result duration 105 minutes
_:result id TR4588
_:result leave_at 18:09
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search has_parking yes
_:search stars ?
_:result count 29
_:result type Hotel
_:search area north
_:search category guesthouse
_:search pricerange moderate
_:search type Hotel
_:search arrive_by 21:00
_:search departure leicester
_:search destination cambridge
_:search leave_at ?
_:result day Monday
_:result duration 105 minutes
_:result id TR4588
_:result leave_at 18:09
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search has_parking yes
_:search stars ?
_:result count 29
_:search area north
_:search category guesthouse
_:search pricerange moderate
_:result name acorn guest house
_:result type Hotel
_:search day same day
_:search type Hotel
_:search arrive_by 21:00
_:search departure leicester
_:search destination cambridge
_:search leave_at ?
_:result day Monday
_:result duration 105 minutes
_:result id TR4588
_:result leave_at 18:09
_:system offered _:booking
_:booking category Train
_:search has_parking yes
_:search stars ?
_:result count 29
_:search area north
_:search category guesthouse
_:search pricerange moderate
_:result name acorn guest house
_:result type Hotel
_:search day same day
_:booking people ?
_:booking type Booking
_:search people four
_:search stay four
_:search type Hotel
_:search arrive_by 21:00
_:search departure leicester
_:search destination cambridge
_:search leave_at ?
_:result day Monday
_:result duration 105 minutes
_:result id TR4588
_:result leave_at 18:09
_:system offered _:booking
_:booking category Train
_:search has_parking yes
_:search stars ?
_:result count 29
_:search area north
_:search category guesthouse
_:search pricerange moderate
_:result name acorn guest house
_:result type Hotel
_:booking people ?
_:search people four
_:search stay four
_:booking day ?
_:booking type Booking
_:search day monday
_:search type Train
_:search arrive_by 21:00
_:search departure leicester
_:search destination cambridge
_:search leave_at ?
_:result day Monday
_:result duration 105 minutes
_:result id TR4588
_:result leave_at 18:09
_:system offered _:booking
_:booking category Train
_:search has_parking yes
_:search stars ?
_:result count 29
_:search area north
_:search category guesthouse
_:search pricerange moderate
_:result name acorn guest house
_:result type Hotel
_:booking people ?
_:search people four
_:search stay four
_:booking day ?
_:search day monday
_:search type Train
_:system inquired _:user
_:booking ref KIYKIJPC
_:booking type Booking