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://storeanimalwiz.shop/product-category/bird-blanket/