Second, one might dig in one's heels and deny that ‘∃x Parent(x)’ is committed to children. One familiar gloss on “the ontological commitments of a theory” takes this to include only “what the theory says there is”. If “says” is interpreted narrowly, a theory that contained only ‘∃x Parent(x)’ does not say that children exist, even though this follows analytically from the theory. In defense of the view, one can point out that the intuitive judgment that ‘∃x Parent(x)’ is ontologically committed