Documentation

Linglib.Data.Examples.ElliottSudo2025

ElliottSudo2025 — typed example data #

Auto-generated from Linglib/Data/Examples/ElliottSudo2025.json by scripts/gen_examples.py. Do not edit by hand; edit the JSON and re-run the generator. Consumers (the paper's study file, test-suite hubs) import this module; declarations live in namespace ElliottSudo2025.Examples.

source
def ElliottSudo2025.Examples.double_negation :
Data.Examples.LinguisticExample
Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def ElliottSudo2025.Examples.all :
    List Data.Examples.LinguisticExample
    Equations
    Instances For