In the non-propositional case, all variables in a clause are implicitly universally quantified with scope the entire clause. Thus, for example:
ɪ n ð ə WORD_BOUNDARY n ɑ n p ɹ ɑ p ə z ɪ ʃ ə n ə l WORD_BOUNDARY k eɪ s WORD_BOUNDARY ɔ l WORD_BOUNDARY v ɛ ɹ ɪ ə b ə l z WORD_BOUNDARY ɪ n WORD_BOUNDARY ʌ WORD_BOUNDARY k l ɔ z WORD_BOUNDARY ɑ ɹ WORD_BOUNDARY ɪ m p l ɪ s ɪ t l i WORD_BOUNDARY j uː n ɪ v ɜː s ə l i WORD_BOUNDARY k w ɔ n t ɪ f aɪ d WORD_BOUNDARY w ɪ ð WORD_BOUNDARY s k oʊ p WORD_BOUNDARY ð ɪ WORD_BOUNDARY ɛ n t aɪ ə ɹ WORD_BOUNDARY k l ɔ z WORD_BOUNDARY ð ʌ s WORD_BOUNDARY f ɔ ɹ WORD_BOUNDARY ɛ ɡ z æ m p ə l WORD_BOUNDARY