Assertion: red telephone box | /r/HasProperty | types k2
Facets:
Source sentences:
text: Following the commencement of the smoking ban in England in 2007, it became illegal to smoke in red telephone boxes (types K2 to K8), due to these boxes being completely enclosed spaces.