inform((_:search,type,'Train'))
user
I am looking on information regarding train tickets . Can you help ?
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Absolutely ! Where will the departure and destination points be ?
inform((_:search,departure,'cambridge');(_:search,destination,'stansted airport');(_:search,type,'Train'))
user
I will be departing from Cambridge and my destination is the Stansted airport .
inform((_:result,amount,'many');(_:result,type,'Train')) request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
There are many trains that fit your criteria . Could you please tell me what day and time you would like to depart ?
inform((_:search,day,'monday');(_:search,departure,'cambridge');(_:search,leave_at,'13:15');(_:search,type,'Train'))
user
I would like to leave Cambridge on Monday after 13:15
inform((_:result,departure,'Cambridge');(_:result,leave_at,'13:40');(_:result,leave_at,'23:40');(_:result,leave_at,'40 minutes after the hour');(_:result,leave_at,'every hour');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
These trains leave from Cambridge 40 minutes after the hour every hour , starting at 13:40 and running to 23:40 . Would you like me to book a ticket ?
inform((_:search,leave_at,'13:15');(_:search,type,'Train')) request((_:result,duration,?);(_:result,id,?);(_:result,type,'Train'))
user
No thank you . I will just need the train ID and travel time of the first one leaving after 13:15 going to the airport .
inform((_:result,duration,'28 minutes');(_:result,id,'TR3769');(_:result,leave_at,'13:40');(_:result,type,'Train')) reqmore()
system
TR3769 departs at 13:40 with a total travel time of 28 minutes .   Do you need further assistance with anything else ?
inform((_:search,area,'south');(_:search,has_parking,'yes');(_:search,pricerange,'expensive');(_:search,stars,'3');(_:search,type,'Hotel'))
user
I also need a place to stay in the expensive range that includes free parking , in the south with a star of 3 .
offer((_:booking,type,'Booking')) inform((_:result,area,'south');(_:result,has_parking,'none');(_:result,name,'lensfield hotel');(_:result,pricerange,'expensive');(_:result,stars,'3');(_:result,type,'Hotel'))
system
Sure , we have the lensfield hotel , it 's a 3 star expensive hotel in the south with free parking . Would you like to book it ?
request((_:result,category,?);(_:result,has_internet,?);(_:result,phone,?);(_:result,type,'Hotel'))
user
I do not need to book the hotel yet .   Can you please give me the phone number and hotel type ?   Also , do they have internet ?
inform((_:result,category,'hotel');(_:result,has_internet,'none');(_:result,phone,'01223355017');(_:result,type,'Hotel')) reqmore()
system
The phone number is 01223355017 . It is a hotel type , and yes there is free internet . Anything else ?
user
No , I seem to have all the information I need today .
system
Great .   If you need tickets , do n't hesitate to contact me again .   Have a great day .   Good bye .
_:search type Train
_:search departure cambridge
_:search destination stansted airport
_:search type Train
_:search destination stansted airport
_:result amount many
_:result type Train
_:search day monday
_:search departure cambridge
_:search leave_at 13:15
_:search type Train
_:search destination stansted airport
_:result amount many
_:search day monday
_:search departure cambridge
_:result departure Cambridge
_:result leave_at 13:40
_:result leave_at 23:40
_:result leave_at 40 minutes after the hour
_:result leave_at every hour
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 13:15
_:search type Train
_:result duration ?
_:result id ?
_:search destination stansted airport
_:result amount many
_:search day monday
_:search departure cambridge
_:result departure Cambridge
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 13:15
_:result duration 28 minutes
_:result id TR3769
_:result leave_at 13:40
_:result type Train
_:system inquired _:user
_:search area south
_:search has_parking yes
_:search pricerange expensive
_:search stars 3
_:search type Hotel
_:search destination stansted airport
_:result amount many
_:search day monday
_:search departure cambridge
_:result departure Cambridge
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 13:15
_:result duration 28 minutes
_:result id TR3769
_:result leave_at 13:40
_:system inquired _:user
_:search area south
_:search has_parking yes
_:search pricerange expensive
_:search stars 3
_:search type Hotel
_:result area south
_:result has_parking none
_:result name lensfield hotel
_:result pricerange expensive
_:result stars 3
_:result type Hotel
_:result category ?
_:result has_internet ?
_:result phone ?
_:search destination stansted airport
_:result amount many
_:search day monday
_:search departure cambridge
_:result departure Cambridge
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at 13:15
_:result duration 28 minutes
_:result id TR3769
_:result leave_at 13:40
_:search area south
_:search has_parking yes
_:search pricerange expensive
_:search stars 3
_:search type Hotel
_:result area south
_:result has_parking none
_:result name lensfield hotel
_:result pricerange expensive
_:result stars 3
_:result category hotel
_:result has_internet none
_:result phone 01223355017
_:result type Hotel
_:system inquired _:user