In domain relaional calculus “there exist” can be expressed as

• A. (P1(x))
• B. (P1(x)) Э x
• C. V x (P1(x))
• D. Э x (P1(x))