inform((_:search,departure,'cambridge');(_:search,leave_at,'20:45');(_:search,type,'Train'))
user
I want to get a train out of Cambridge that departs after 20:45 please .
request((_:search,day,?);(_:search,destination,?);(_:search,type,'Train'))
system
What is your destination and day of travel ?
inform((_:search,day,'friday');(_:search,type,'Train'))
user
I wish to go to New York City leaving this Friday .
canthelp((_:search,type,'Train'))
system
I 'm sorry , but I ca n't help you with travel outside of Cambridge and the surrounding areas .
inform((_:search,destination,'stansted airport');(_:search,type,'Train'))
user
Ok . How about a train to the Stansted airport ?
select((_:result,leave_at,'21:40');(_:result,leave_at,'22:40');(_:result,leave_at,'23:40');(_:result,type,'Train')) inform((_:result,count,'3');(_:result,type,'Train'))
system
I found three , one leaving at 21:40 , 22:40 , and 23:40 which would you like to go ?
inform((_:search,day,'wednesday');(_:search,people,'one');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
I would like to book the 21:40 train on Wednesday for one person please . I also need a reference number please .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'VJ3ZAO4F');(_:booking,ticket,'10.1 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 10.1 GBP payable at the station . Your reference number is : VJ3ZAO4F . Is there anything else I can help you with ?
inform((_:search,food,'north african');(_:search,type,'Restaurant'))
user
Yes , I am also looking to eat some north african food .   Can you help me find a restaurant ?
canthelp((_:search,food,'north african');(_:search,type,'Restaurant'))
system
I can not find any restaurant that serves north african food in the area .
inform((_:search,food,'thai');(_:search,type,'Restaurant'))
user
How about Thai food ?
select((_:result,area,'centre');(_:result,area,'west');(_:result,type,'Restaurant')) inform((_:result,count,'2');(_:result,food,'thai');(_:result,type,'Restaurant'))
system
There are 2 restaurants that serve thai food ; one in the west and one in the centre . Do you have a location preference ?
inform((_:search,area,'west');(_:search,day,'same day');(_:search,duration,'13:15');(_:search,type,'Restaurant'))
user
The one in the west works please . Can you pleas book it for me on the same day at about 13:15 .
request((_:booking,people,?);(_:booking,type,'Booking'))
system
How many people will be dining ?
user
I 'll be dining alone .
canthelp((_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking'))
system
Unfortunately no table is available at that time do you have another time ?
inform((_:search,duration,'12:15');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Could you please check for a table at 12:15 and can I have the reference number ?
reqmore() inform((_:booking,duration,'12:15');(_:booking,name,'Sala Thong');(_:booking,ref,'QIH3G407');(_:booking,type,'Booking'))
system
Alright , I have you booked at Sala Thong at 12:15 . Reference number is : QIH3G407 . Can I help you with anything else ?
thank()
user
No , that should be everything . Thank you very much !
system
You 're welcome - safe travels !
_:search departure cambridge
_:search leave_at 20:45
_:search type Train
_:search departure cambridge
_:search leave_at 20:45
_:search destination ?
_:search day friday
_:search type Train
_:search departure cambridge
_:search leave_at 20:45
_:search day friday
_:system canthelp _:search/3011b1cf
_:search/3011b1cf type Train
_:search destination stansted airport
_:search type Train
_:search departure cambridge
_:search leave_at 20:45
_:system canthelp _:search/3011b1cf
_:search/3011b1cf type Train
_:search destination stansted airport
_:result leave_at 21:40
_:result leave_at 22:40
_:result leave_at 23:40
_:result count 3
_:result type Train
_:search day wednesday
_:search people one
_:search type Train
_:result ref ?
_:search departure cambridge
_:search leave_at 20:45
_:system canthelp _:search/3011b1cf
_:search/3011b1cf type Train
_:search destination stansted airport
_:result leave_at 21:40
_:result leave_at 22:40
_:result leave_at 23:40
_:result count 3
_:result type Train
_:search day wednesday
_:search people one
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref VJ3ZAO4F
_:booking ticket 10.1 GBP
_:booking type Booking
_:search food north african
_:search type Restaurant
_:search departure cambridge
_:search leave_at 20:45
_:system canthelp _:search/3011b1cf
_:search/3011b1cf type Train
_:search destination stansted airport
_:result leave_at 21:40
_:result leave_at 22:40
_:result leave_at 23:40
_:result count 3
_:result type Train
_:search day wednesday
_:search people one
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref VJ3ZAO4F
_:booking ticket 10.1 GBP
_:booking type Booking
_:system canthelp _:search/0610cba1
_:search/0610cba1 food north african
_:search/0610cba1 type Restaurant
_:search food thai
_:search type Restaurant
_:search departure cambridge
_:search leave_at 20:45
_:system canthelp _:search/3011b1cf
_:search/3011b1cf type Train
_:search destination stansted airport
_:result leave_at 21:40
_:result leave_at 22:40
_:result leave_at 23:40
_:search people one
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref VJ3ZAO4F
_:booking ticket 10.1 GBP
_:booking type Booking
_:system canthelp _:search/0610cba1
_:search/0610cba1 food north african
_:search/0610cba1 type Restaurant
_:search food thai
_:result area centre
_:result area west
_:result count 2
_:result food thai
_:result type Restaurant
_:search area west
_:search day same day
_:search duration 13:15
_:search type Restaurant
_:search departure cambridge
_:search leave_at 20:45
_:system canthelp _:search/3011b1cf
_:search/3011b1cf type Train
_:search destination stansted airport
_:result leave_at 21:40
_:result leave_at 22:40
_:result leave_at 23:40
_:search people one
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref VJ3ZAO4F
_:booking ticket 10.1 GBP
_:system canthelp _:search/0610cba1
_:search/0610cba1 food north african
_:search/0610cba1 type Restaurant
_:search food thai
_:result area centre
_:result area west
_:result count 2
_:result food thai
_:result type Restaurant
_:search area west
_:search day same day
_:search duration 13:15
_:search type Restaurant
_:booking people ?
_:booking type Booking
_:search departure cambridge
_:search leave_at 20:45
_:system canthelp _:search/3011b1cf
_:search/3011b1cf type Train
_:search destination stansted airport
_:result leave_at 21:40
_:result leave_at 22:40
_:result leave_at 23:40
_:search people one
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref VJ3ZAO4F
_:booking ticket 10.1 GBP
_:system canthelp _:search/0610cba1
_:search/0610cba1 food north african
_:search/0610cba1 type Restaurant
_:search food thai
_:result area centre
_:result area west
_:result count 2
_:result food thai
_:result type Restaurant
_:search area west
_:search day same day
_:booking people ?
_:system canthelp _:booking/38acf671
_:booking/38acf671 type Booking
_:booking duration ?
_:booking type Booking
_:search duration 12:15
_:search type Restaurant
_:search departure cambridge
_:search leave_at 20:45
_:system canthelp _:search/3011b1cf
_:search/3011b1cf type Train
_:search destination stansted airport
_:result leave_at 21:40
_:result leave_at 22:40
_:result leave_at 23:40
_:search people one
_:result ref ?
_:booking category Train
_:booking ticket 10.1 GBP
_:system canthelp _:search/0610cba1
_:search/0610cba1 food north african
_:search/0610cba1 type Restaurant
_:search food thai
_:result area centre
_:result area west
_:result count 2
_:result food thai
_:result type Restaurant
_:search area west
_:search day same day
_:booking people ?
_:system canthelp _:booking/38acf671
_:booking/38acf671 type Booking
_:search duration 12:15
_:search type Restaurant
_:system inquired _:user
_:booking duration 12:15
_:booking name Sala Thong
_:booking ref QIH3G407
_:booking type Booking