Detta dokument introducerar välordnade härledda träd och använder sig av detta begrepp i en ny axiomatisering av TAG tolkningsproblem som ett problem med begränsad tillfredsställelse. I motsats till tidigare tillvägagångssätt, vår axiomatization fokuserar på härledning träd snarare än härledda träd. Välordnade härstamning träd är våra primära modeller, medan härledda träd tjänar enbart för att bestämma ordordning.
Se till exempel REF som införde LTAG tolkning som ett problem med begränsad tillfredsställelse.
TAG Parsing as Model Enumeration
{'venue': 'TAG+', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}