Thomas2026 — typed example data

Auto-generated from Linglib/Data/Examples/Thomas2026.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 Thomas2026.Examples.

def Thomas2026.Examples.canonical_too : Data.Examples.LinguisticExample

Equations

• One or more equations did not get rendered due to their size.

def Thomas2026.Examples.rullmann_too : Data.Examples.LinguisticExample

Equations

• One or more equations did not get rendered due to their size.

def Thomas2026.Examples.rullmann_either : Data.Examples.LinguisticExample

Equations

• One or more equations did not get rendered due to their size.

def Thomas2026.Examples.kripke_dinner : Data.Examples.LinguisticExample

Equations

• One or more equations did not get rendered due to their size.

def Thomas2026.Examples.dogs_mammals : Data.Examples.LinguisticExample

Equations

• One or more equations did not get rendered due to their size.

def Thomas2026.Examples.ecstatic : Data.Examples.LinguisticExample

Equations

• One or more equations did not get rendered due to their size.

def Thomas2026.Examples.cello : Data.Examples.LinguisticExample

Equations

• One or more equations did not get rendered due to their size.

def Thomas2026.Examples.hotel_fancy : Data.Examples.LinguisticExample

Equations

• One or more equations did not get rendered due to their size.

def Thomas2026.Examples.hotel_dingy : Data.Examples.LinguisticExample

Equations

• One or more equations did not get rendered due to their size.

def Thomas2026.Examples.all : List Data.Examples.LinguisticExample

Equations

• One or more equations did not get rendered due to their size.