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.remtavares.com/best-offer-Merrick-Backcountry-Grain-Free-Kitten-Pate-Canned-Wet-Cat-Food-5-5-oz-Cans-Case-of-24-p14288-limited-choice/