Assertion: existential quantifier | /r/HasProperty | satisfied
Facets:
Source sentences:
text: Then $P(x_0)\implies Q(x_0)$ evaluates to $\hbox{F}\implies \hbox{T}$, which is T, and the existential quantifier is satisfied.