The paper presents a proof-theoretic semantics account of contextual domain restriction for quantified sentences in a fragment of English. First. the technique is exemplified in the more familiar first-order logic. and in its restricted quantification variant. https://macorners.shop/product-category/photo-printed-wooden-plaque/