existential quantifier: a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
word: a unit of language that native speakers can identify
spinning machine: a textile machine for spinning yarn and thread