inform((_:search,name,'home from home');(_:search,type,'Hotel')) request((_:result,stars,?);(_:result,type,'Hotel'))
user
I am looking for the Home from Home hotel , I would also like to know how many stars this hotel has .
offer((_:booking,type,'Booking')) inform((_:result,address,'78 - 80 Milton Road');(_:result,area,'North');(_:result,name,'Home from Home hotel');(_:result,stars,'4');(_:result,type,'Hotel'))
system
The Home from Home hotel is located in the North at 78 - 80 Milton Road . It is a 4 star hotel . Would you like to make a reservation ?
inform((_:search,arrive_by,'21:30');(_:search,departure,'cambridge');(_:search,leave_at,'21:30');(_:search,type,'Train'))
user
You , know I 'll think about it , but can I get a train leaving cambridge to arrive by 21:30 ?
inform((_:result,type,'Train')) request((_:booking,day,?);(_:booking,type,'Booking');(_:search,day,?);(_:search,type,'Train'))
system
Yes you can . What day would that be for ?
inform((_:search,day,'thursday');(_:search,destination,'peterborough');(_:search,type,'Train'))
user
I need that for Thursday going to Peterborough .
select((_:result,arrive_by,'20:56');(_:result,arrive_by,'21:24');(_:result,type,'Train')) inform((_:result,type,'Train'))
system
Yes I have a train that arrives at 20:56 or 21:24 . Which do you prefer ?
inform((_:search,people,'eight');(_:search,type,'Train'))
user
Let 's try the earlier one .   I need eight tickets .
reqmore() inform((_:booking,arrive_by,'20:56');(_:booking,category,'Train');(_:booking,id,'TR7676');(_:booking,leave_at,'20:06');(_:booking,ref,'HPJDVYF9');(_:booking,type,'Booking'))
system
I was able to book you on train TR7676 that departs at 20:06 and arrives at 20:56 . Your reference number is HPJDVYF9 . Is there anything else I can help with ?
thank()
user
No , that was all . Thank you so much .
system
You 're welcome . Good - bye .
_:search name home from home
_:search type Hotel
_:result stars ?
_:result type Hotel
_:search name home from home
_:system offered _:booking
_:booking type Booking
_:result address 78 - 80 Milton Road
_:result area North
_:result name Home from Home hotel
_:result stars 4
_:result type Hotel
_:search arrive_by 21:30
_:search departure cambridge
_:search leave_at 21:30
_:search type Train
_:search name home from home
_:system offered _:booking
_:result address 78 - 80 Milton Road
_:result area North
_:result name Home from Home hotel
_:result stars 4
_:search arrive_by 21:30
_:search departure cambridge
_:search leave_at 21:30
_:result type Train
_:booking day ?
_:booking type Booking
_:search day thursday
_:search destination peterborough
_:search type Train
_:search name home from home
_:system offered _:booking
_:result address 78 - 80 Milton Road
_:result area North
_:result name Home from Home hotel
_:result stars 4
_:search arrive_by 21:30
_:search departure cambridge
_:search leave_at 21:30
_:booking day ?
_:booking type Booking
_:search day thursday
_:search destination peterborough
_:result arrive_by 20:56
_:result arrive_by 21:24
_:result type Train
_:search people eight
_:search type Train
_:search name home from home
_:system offered _:booking
_:result address 78 - 80 Milton Road
_:result area North
_:result name Home from Home hotel
_:result stars 4
_:search arrive_by 21:30
_:search departure cambridge
_:search leave_at 21:30
_:booking day ?
_:search day thursday
_:search destination peterborough
_:result arrive_by 20:56
_:result arrive_by 21:24
_:result type Train
_:search people eight
_:search type Train
_:system inquired _:user
_:booking arrive_by 20:56
_:booking category Train
_:booking id TR7676
_:booking leave_at 20:06
_:booking ref HPJDVYF9
_:booking type Booking