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://www.hacklinkci.com/