inform((_:search,arrive_by,'20:30');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need a train to cambridge that will get me there by 20:30 .
request((_:search,departure,?);(_:search,type,'Train'))
system
Alright , where will you be departing from ?
inform((_:search,day,'thursday');(_:search,departure,'bishops stortford');(_:search,type,'Train'))
user
The train should depart from bishops stortford and leave on Thursday .
inform((_:result,arrive_by,'20:07');(_:result,id,'TR0060');(_:result,type,'Train')) thank() offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Ok perfect !   I have TR0060 which will arrive by 20:07 .   Would you like me to book this for you ?
request((_:result,duration,?);(_:result,leave_at,?);(_:result,type,'Train'))
user
No , that wo n't be necessary . I do need the departure time , and travel time though .
inform((_:result,departure,'Bishops Stortford');(_:result,duration,'38 minutes');(_:result,id,'TR0060');(_:result,leave_at,'19:29');(_:result,type,'Train')) reqmore()
system
TR0060 will depart Bishops Stortford at 19:29 , and it will take 38 minutes for your trip . Is there anything else I can help you with today ?
inform((_:search,category,'college');(_:search,type,'Attraction'))
user
Actually , yes . Can you help me locate a college to visit ?
inform((_:result,area,'west');(_:result,name,'Churchill college');(_:result,type,'Attraction'))
system
Churchill college is in the west part of town .
request((_:result,phone,?);(_:result,type,'Attraction'))
user
Can you give me their phone number please ?
inform((_:result,phone,'01223336233');(_:result,type,'Attraction'))
system
Yes , their number is 01223336233 . Is that all for you today ?
thank()
user
That 's everything thanks .
system
You are very welcome ! I hope you have a fantastic time and enjoy your day !
_:search arrive_by 20:30
_:search destination cambridge
_:search type Train
_:search arrive_by 20:30
_:search destination cambridge
_:search day thursday
_:search departure bishops stortford
_:search type Train
_:search arrive_by 20:30
_:search destination cambridge
_:search day thursday
_:search departure bishops stortford
_:search type Train
_:result arrive_by 20:07
_:result id TR0060
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:result leave_at ?
_:search arrive_by 20:30
_:search destination cambridge
_:search day thursday
_:search departure bishops stortford
_:result arrive_by 20:07
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result departure Bishops Stortford
_:result duration 38 minutes
_:result id TR0060
_:result leave_at 19:29
_:result type Train
_:system inquired _:user
_:search category college
_:search type Attraction
_:search arrive_by 20:30
_:search destination cambridge
_:search day thursday
_:search departure bishops stortford
_:result arrive_by 20:07
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result departure Bishops Stortford
_:result duration 38 minutes
_:result id TR0060
_:result leave_at 19:29
_:system inquired _:user
_:search category college
_:search type Attraction
_:result area west
_:result name Churchill college
_:result type Attraction
_:result phone ?
_:search arrive_by 20:30
_:search destination cambridge
_:search day thursday
_:search departure bishops stortford
_:result arrive_by 20:07
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result departure Bishops Stortford
_:result duration 38 minutes
_:result id TR0060
_:result leave_at 19:29
_:system inquired _:user
_:search category college
_:search type Attraction
_:result area west
_:result name Churchill college
_:result phone 01223336233
_:result type Attraction