Quantification Theory: Translating Propositions and Resolving Arguments - ListenHub