inform((_:search,day,'thursday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I need to book a train leaving cambridge on thursday can you help me ?
request((_:search,destination,?);(_:search,type,'Train')) thank()
system
Absolutely ! To help narrow your search , where would you like to arrive at ?
inform((_:search,arrive_by,'18:30');(_:search,type,'Train'))
user
I need to arrive no later than 18:30 .
inform((_:result,amount,'quite a few');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
We have quite a few trains that fit that criteria , what destination do you have in mind ?
inform((_:search,destination,'norwich');(_:search,type,'Train'))
user
Can you find me one that will arrive in Norwich please
inform((_:result,arrive_by,'17:55');(_:result,type,'Train'))
system
I have a train that arrives at 17:55 , if that 's acceptable ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
Yes that would be fine what is the price ?
inform((_:result,ticket,'17.60');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The price is 17.60 . Would you like me to book that for you/
inform((_:search,area,'centre');(_:search,type,'Attraction')) request((_:result,phone,?);(_:result,type,'Attraction'))
user
I 'm also looking for things to do in the centre , would it be possible to get phone numbers for the various attractions ?
inform((_:result,name,'All saints church');(_:result,name,"great saint mary 's church");(_:result,name,'pembroke college');(_:result,phone,'01223338100');(_:result,phone,'01223350914');(_:result,phone,'01223452587');(_:result,type,'Attraction'))
system
All saints church 01223452587 , great saint mary 's church 01223350914 , pembroke college 01223338100
thank()
user
Okay , that 's all I needed . Thank you !
thank()
system
you 're welcome . thank you for using our sysyem .
bye()
user
Have a great day !
system
Thanks , you too !
_:search day thursday
_:search departure cambridge
_:search type Train
_:search day thursday
_:search departure cambridge
_:search destination ?
_:search arrive_by 18:30
_:search type Train
_:search day thursday
_:search departure cambridge
_:search arrive_by 18:30
_:result amount quite a few
_:result type Train
_:search destination norwich
_:search type Train
_:search day thursday
_:search departure cambridge
_:search arrive_by 18:30
_:result amount quite a few
_:search destination norwich
_:search type Train
_:result arrive_by 17:55
_:result type Train
_:result ticket ?
_:search day thursday
_:search departure cambridge
_:search arrive_by 18:30
_:result amount quite a few
_:search destination norwich
_:result arrive_by 17:55
_:result ticket 17.60
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search area centre
_:search type Attraction
_:result phone ?
_:result type Attraction
_:search day thursday
_:search departure cambridge
_:search arrive_by 18:30
_:result amount quite a few
_:search destination norwich
_:result arrive_by 17:55
_:result ticket 17.60
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search area centre
_:search type Attraction
_:result name All saints church
_:result name great saint mary 's church
_:result name pembroke college
_:result phone 01223338100
_:result phone 01223350914
_:result phone 01223452587
_:result type Attraction
_:search day thursday
_:search departure cambridge
_:search arrive_by 18:30
_:result amount quite a few
_:search destination norwich
_:result arrive_by 17:55
_:result ticket 17.60
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search area centre
_:search type Attraction
_:result name All saints church
_:result name great saint mary 's church
_:result name pembroke college
_:result phone 01223338100
_:result phone 01223350914
_:result phone 01223452587
_:result type Attraction
_:user dismissed _:system