On Quantifier Domain Restriction | Synapse