Heim1982 — typed example data

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

def Heim1982.Examples.indefinite_persists : Data.Examples.LinguisticExample

Equations

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

def Heim1982.Examples.universal_blocks : Data.Examples.LinguisticExample

Equations

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

def Heim1982.Examples.negative_blocks : Data.Examples.LinguisticExample

Equations

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

def Heim1982.Examples.most_blocks : Data.Examples.LinguisticExample

Equations

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

def Heim1982.Examples.conditional_antecedent : Data.Examples.LinguisticExample

Equations

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

def Heim1982.Examples.standard_negation_blocks : Data.Examples.LinguisticExample

Equations

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

def Heim1982.Examples.definite_reference : Data.Examples.LinguisticExample

Equations

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

def Heim1982.Examples.conditional_donkey : Data.Examples.LinguisticExample

Equations

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

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

Equations

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