Assertion: argument's statement | /r/HasProperty | synthetic
Facets:
Source sentences:
text: Kant then proposes that the statement "God exists" must be analytic or synthetic—the predicate must be inside or outside of the subject, respectively.
text: However, if the statement is synthetic, the ontological argument does not work, as the existence of God is not contained within the definition of God (and, as such, evidence for God would need to be found).