A 'range-narrowed' expression that depends on a prior domain of quantification behaves logically as ...