pub fn compile_all_scopes(input: &str) -> Result<Vec<String>, ParseError>Expand description
Returns all possible scope readings for a sentence. For sentences with multiple quantifiers, this returns all permutations. Example: “Every woman loves a man” returns both:
- Surface: ∀x(Woman(x) → ∃y(Man(y) ∧ Loves(x, y)))
- Inverse: ∃y(Man(y) ∧ ∀x(Woman(x) → Loves(x, y)))