inform((_:search,arrive_by,'16:15');(_:search,destination,'birmingham new street');(_:search,type,'Train'))
user
Can you help me find a train that will arrive in birmingham new street by 16:15 ?
request((_:search,day,?);(_:search,type,'Train'))
system
What day would you like to travel ?
inform((_:search,day,'friday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I would like to leave Friday from Cambridge .
inform((_:result,arrive_by,'15:44');(_:result,departure,'cambridge');(_:result,destination,'birmingham');(_:result,duration,'163 minutes');(_:result,id,'TR2716');(_:result,leave_at,'13:01');(_:result,ticket,'75.10 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR2716 will leave cambridge at 13:01 and arrive at birmingham at 15:44 . The trip will take 163 minutes and cost 75.10 pounds . Would you like to book ?
inform((_:search,people,'3');(_:search,type,'Train'))
user
Yes , I would like to book for 3 people .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'AS5SBC8P');(_:booking,ticket,'225.3');(_:booking,type,'Booking'))
system
I booked the train . It was 225.3 and your reference is AS5SBC8P . Do you need help with anything else ?
inform((_:search,name,"queens ' college");(_:search,type,'Attraction'))
user
Yes I also need information on queens ' college .
reqmore() inform((_:result,address,'silver street');(_:result,area,'west');(_:result,entrance_fee,'2.50 pounds');(_:result,phone,'01223335511');(_:result,postcode,'cb39et');(_:result,type,'Attraction'))
system
It 's located in west Cambridge on silver street . The postcode is cb39et . The phone number is 01223335511 . The entrance fee is 2.50 pounds . Do you need anything else ?
bye()
user
No , that 's great . Thank you . Good - bye .
system
Thank you for using the Cambridge TownInfo centre .
_:search arrive_by 16:15
_:search destination birmingham new street
_:search type Train
_:search arrive_by 16:15
_:search destination birmingham new street
_:search day friday
_:search departure cambridge
_:search type Train
_:search arrive_by 16:15
_:search destination birmingham new street
_:search day friday
_:search departure cambridge
_:result arrive_by 15:44
_:result departure cambridge
_:result destination birmingham
_:result duration 163 minutes
_:result id TR2716
_:result leave_at 13:01
_:result ticket 75.10 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 3
_:search type Train
_:search arrive_by 16:15
_:search destination birmingham new street
_:search day friday
_:search departure cambridge
_:result arrive_by 15:44
_:result departure cambridge
_:result destination birmingham
_:result duration 163 minutes
_:result id TR2716
_:result leave_at 13:01
_:result ticket 75.10 pounds
_:result type Train
_:system offered _:booking
_:search people 3
_:system inquired _:user
_:booking category Train
_:booking ref AS5SBC8P
_:booking ticket 225.3
_:booking type Booking
_:search name queens ' college
_:search type Attraction
_:search arrive_by 16:15
_:search destination birmingham new street
_:search day friday
_:search departure cambridge
_:result arrive_by 15:44
_:result departure cambridge
_:result destination birmingham
_:result duration 163 minutes
_:result id TR2716
_:result leave_at 13:01
_:result ticket 75.10 pounds
_:system offered _:booking
_:search people 3
_:booking category Train
_:booking ref AS5SBC8P
_:booking ticket 225.3
_:booking type Booking
_:search name queens ' college
_:search type Attraction
_:system inquired _:user
_:result address silver street
_:result area west
_:result entrance_fee 2.50 pounds
_:result phone 01223335511
_:result postcode cb39et
_:result type Attraction
_:user dismissed _:system