pub const LOGIC_QUANTIFIERS: &str = r#"# Quantifier Scope Every student read a book. A professor supervises every student. No student failed every exam. Some teacher praised every student. Every dog chased some cat. "#;