[sahat]

nerdtalk!

[chris_wot]

Show me that using an existential quantified an I might be impressed.

[sp332]

∃x ∈ Nerdtalk x = "India ⊂ Asia & Pacific"

[chris_wot]

Now do it with set builder notation!

[sp332]

http://pastebin.com/h8rqYXTZ

[chris_wot]

Points for trying.

∃x{ x | x ∈ Nerdtalk ∧ (x ∈ India ⊂ Asia ∧ Pacific) }