inform((_:search,departure,'norwich');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'm looking for a train going to cambridge , departing from norwich .
request((_:search,day,?);(_:search,type,'Train'))
system
what day are you looking to leave ?
inform((_:search,day,'thursday');(_:search,type,'Train'))
user
I 'm looking to leave on Thursday please .
inform((_:result,amount,'several');(_:result,day,'Thursday');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
I have several trains leaving on Thursday .   What is your preferred departure and arrival time ?
inform((_:search,leave_at,'09:15');(_:search,type,'Train'))
user
I need to leave after 09:15 .
inform((_:result,leave_at,'09:16');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
i have one that ; eaves at 09:16 , is that suitable for you ?
request((_:result,duration,?);(_:result,type,'Train'))
user
What is the total travel time for that one ?
inform((_:result,arrive_by,'10:35');(_:result,duration,'79 minutes');(_:result,type,'Train'))
system
79 minutes , it 'll arrive by 10:35
inform((_:search,area,'centre');(_:search,food,'australian');(_:search,type,'Restaurant'))
user
Please also find me an Australian restaurant in the centre .
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,area,'center');(_:search,food,'Australian');(_:search,type,'Restaurant'))
system
We do n't have any Australian restaurants in the center . Did you have any other type of food in mind ?
inform((_:search,food,'thai');(_:search,type,'Restaurant'))
user
can i find one that serves thai food ?
offer((_:booking,type,'Booking')) inform((_:result,area,'centre');(_:result,food,'Thai');(_:result,name,'Bangkok city');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Bangkok city serves Thai food in the centre in the expensive price range . Do you want me to book it for you ?
inform((_:search,day,'same day');(_:search,duration,'20:30');(_:search,people,'6');(_:search,type,'Restaurant'))
user
yes please , for 6 people at 20:30 , same day .
reqmore() inform((_:booking,ref,'HD87UDY4');(_:booking,type,'Booking'))
system
Your table has been reserved for 15 minutes , and the reference number is HD87UDY4 . Is there anything else I can help you with ?
thank()
user
No , thank you . I think I have everything I need .
system
No problem . Call back if you need further assistance .
_:search departure norwich
_:search destination cambridge
_:search type Train
_:search departure norwich
_:search destination cambridge
_:search day thursday
_:search type Train
_:search departure norwich
_:search destination cambridge
_:search day thursday
_:result amount several
_:result day Thursday
_:result type Train
_:search arrive_by ?
_:search leave_at 09:15
_:search type Train
_:search departure norwich
_:search destination cambridge
_:search day thursday
_:result amount several
_:result day Thursday
_:search arrive_by ?
_:search leave_at 09:15
_:search type Train
_:result leave_at 09:16
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:search departure norwich
_:search destination cambridge
_:search day thursday
_:result amount several
_:result day Thursday
_:search arrive_by ?
_:search leave_at 09:15
_:result leave_at 09:16
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 10:35
_:result duration 79 minutes
_:result type Train
_:search area centre
_:search food australian
_:search type Restaurant
_:search departure norwich
_:search destination cambridge
_:search day thursday
_:result amount several
_:result day Thursday
_:search arrive_by ?
_:search leave_at 09:15
_:result leave_at 09:16
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 10:35
_:result duration 79 minutes
_:result type Train
_:search area centre
_:system canthelp _:search/f2027df1
_:search/f2027df1 area center
_:search/f2027df1 food Australian
_:search/f2027df1 type Restaurant
_:search food thai
_:search type Restaurant
_:search departure norwich
_:search destination cambridge
_:result amount several
_:result day Thursday
_:search arrive_by ?
_:search leave_at 09:15
_:result leave_at 09:16
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 10:35
_:result duration 79 minutes
_:search area centre
_:system canthelp _:search/f2027df1
_:search/f2027df1 area center
_:search/f2027df1 food Australian
_:search/f2027df1 type Restaurant
_:search food thai
_:result area centre
_:result food Thai
_:result name Bangkok city
_:result pricerange expensive
_:result type Restaurant
_:search day same day
_:search duration 20:30
_:search people 6
_:search type Restaurant
_:search departure norwich
_:search destination cambridge
_:result amount several
_:result day Thursday
_:search arrive_by ?
_:search leave_at 09:15
_:result leave_at 09:16
_:system offered _:booking
_:booking category Train
_:result arrive_by 10:35
_:result duration 79 minutes
_:search area centre
_:system canthelp _:search/f2027df1
_:search/f2027df1 area center
_:search/f2027df1 food Australian
_:search/f2027df1 type Restaurant
_:search food thai
_:result area centre
_:result food Thai
_:result name Bangkok city
_:result pricerange expensive
_:result type Restaurant
_:search day same day
_:search duration 20:30
_:search people 6
_:search type Restaurant
_:system inquired _:user
_:booking ref HD87UDY4
_:booking type Booking