summaryrefslogtreecommitdiff
path: root/test/golden/coord/glossing.golden
diff options
context:
space:
mode:
Diffstat (limited to 'test/golden/coord/glossing.golden')
-rw-r--r--test/golden/coord/glossing.golden818
1 files changed, 0 insertions, 818 deletions
diff --git a/test/golden/coord/glossing.golden b/test/golden/coord/glossing.golden
deleted file mode 100644
index d1dcd41..0000000
--- a/test/golden/coord/glossing.golden
+++ /dev/null
@@ -1,818 +0,0 @@
-[ BlockDefn
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 1
- , locColumn = 1
- }
- )
- ( Marker "bar" )
- ( DefnPredicate []
- ( PredicateNoun
- ( LexicalItemSgPl
- ( SgPl
- { sg = TokenCons
- ( Word "bar" ) End
- , pl = TokenCons
- ( Word "bars" ) End
- }
- )
- ( Marker "bar" )
- )
- )
- ( NamedVar "x" :| [] )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 2
- , locColumn = 25
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- , TermVar
- ( NamedVar "x" )
- ]
- )
- )
-, BlockDefn
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 5
- , locColumn = 1
- }
- )
- ( Marker "foo" )
- ( DefnPredicate []
- ( PredicateAdj
- ( LexicalItem
- ( TokenCons
- ( Word "foo" ) End
- )
- ( Marker "foo" )
- )
- )
- ( NamedVar "x" :| [] )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 6
- , locColumn = 23
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- , TermVar
- ( NamedVar "x" )
- ]
- )
- )
-, BlockDefn
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 9
- , locColumn = 1
- }
- )
- ( Marker "baz" )
- ( DefnPredicate []
- ( PredicateAdj
- ( LexicalItem
- ( TokenCons
- ( Word "baz" ) End
- )
- ( Marker "baz" )
- )
- )
- ( NamedVar "x" :| [] )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 10
- , locColumn = 23
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- , TermVar
- ( NamedVar "x" )
- ]
- )
- )
-, BlockLemma
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 13
- , locColumn = 1
- }
- )
- ( Marker "nouns" )
- ( Lemma
- [ Asm
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 14
- , locColumn = 19
- }
- )
- ( SymbolPredicate
- ( PredicateNoun
- ( LexicalItemSgPl
- ( SgPl
- { sg = TokenCons
- ( Word "bar" ) End
- , pl = TokenCons
- ( Word "bars" ) End
- }
- )
- ( Marker "bar" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- ]
- )
- , Asm
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 14
- , locColumn = 19
- }
- )
- ( SymbolPredicate
- ( PredicateNoun
- ( LexicalItemSgPl
- ( SgPl
- { sg = TokenCons
- ( Word "bar" ) End
- , pl = TokenCons
- ( Word "bars" ) End
- }
- )
- ( Marker "bar" )
- )
- )
- )
- [ TermVar
- ( NamedVar "y" )
- ]
- )
- ]
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 15
- , locColumn = 13
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- , TermVar
- ( NamedVar "x" )
- ]
- )
- )
-, BlockLemma
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 18
- , locColumn = 1
- }
- )
- ( Marker "adj_nouns" )
- ( Lemma
- [ Asm
- ( Connected Conjunction
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 19
- , locColumn = 23
- }
- )
- ( SymbolPredicate
- ( PredicateNoun
- ( LexicalItemSgPl
- ( SgPl
- { sg = TokenCons
- ( Word "bar" ) End
- , pl = TokenCons
- ( Word "bars" ) End
- }
- )
- ( Marker "bar" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- ]
- )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 19
- , locColumn = 19
- }
- )
- ( SymbolPredicate
- ( PredicateAdj
- ( LexicalItem
- ( TokenCons
- ( Word "foo" ) End
- )
- ( Marker "foo" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- ]
- )
- )
- , Asm
- ( Connected Conjunction
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 19
- , locColumn = 23
- }
- )
- ( SymbolPredicate
- ( PredicateNoun
- ( LexicalItemSgPl
- ( SgPl
- { sg = TokenCons
- ( Word "bar" ) End
- , pl = TokenCons
- ( Word "bars" ) End
- }
- )
- ( Marker "bar" )
- )
- )
- )
- [ TermVar
- ( NamedVar "y" )
- ]
- )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 19
- , locColumn = 19
- }
- )
- ( SymbolPredicate
- ( PredicateAdj
- ( LexicalItem
- ( TokenCons
- ( Word "foo" ) End
- )
- ( Marker "foo" )
- )
- )
- )
- [ TermVar
- ( NamedVar "y" )
- ]
- )
- )
- ]
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 20
- , locColumn = 13
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- , TermVar
- ( NamedVar "x" )
- ]
- )
- )
-, BlockLemma
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 24
- , locColumn = 1
- }
- )
- ( Marker "nouns_suchthat" )
- ( Lemma
- [ Asm
- ( Connected Conjunction
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 25
- , locColumn = 41
- }
- )
- ( SymbolPredicate
- ( PredicateAdj
- ( LexicalItem
- ( TokenCons
- ( Word "foo" ) End
- )
- ( Marker "foo" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- ]
- )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 25
- , locColumn = 56
- }
- )
- ( SymbolPredicate
- ( PredicateAdj
- ( LexicalItem
- ( TokenCons
- ( Word "baz" ) End
- )
- ( Marker "baz" )
- )
- )
- )
- [ TermVar
- ( NamedVar "y" )
- ]
- )
- )
- , Asm
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 25
- , locColumn = 19
- }
- )
- ( SymbolPredicate
- ( PredicateNoun
- ( LexicalItemSgPl
- ( SgPl
- { sg = TokenCons
- ( Word "bar" ) End
- , pl = TokenCons
- ( Word "bars" ) End
- }
- )
- ( Marker "bar" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- ]
- )
- , Asm
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 25
- , locColumn = 19
- }
- )
- ( SymbolPredicate
- ( PredicateNoun
- ( LexicalItemSgPl
- ( SgPl
- { sg = TokenCons
- ( Word "bar" ) End
- , pl = TokenCons
- ( Word "bars" ) End
- }
- )
- ( Marker "bar" )
- )
- )
- )
- [ TermVar
- ( NamedVar "y" )
- ]
- )
- ]
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 26
- , locColumn = 13
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- , TermVar
- ( NamedVar "x" )
- ]
- )
- )
-, BlockLemma
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 30
- , locColumn = 1
- }
- )
- ( Marker "noun_verb" )
- ( Lemma []
- ( Connected Equivalence
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 31
- , locColumn = 8
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- , TermVar
- ( NamedVar "y" )
- ]
- )
- ( Connected Conjunction
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 31
- , locColumn = 26
- }
- )
- ( SymbolPredicate
- ( PredicateNoun
- ( LexicalItemSgPl
- ( SgPl
- { sg = TokenCons
- ( Word "bar" ) End
- , pl = TokenCons
- ( Word "bars" ) End
- }
- )
- ( Marker "bar" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- ]
- )
- ( TermSymbol
- ( Location
- { locFile = "<nowhere>"
- , locLine = -1
- , locColumn = -1
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- , TermVar
- ( NamedVar "y" )
- ]
- )
- )
- )
- )
-, BlockLemma
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 35
- , locColumn = 1
- }
- )
- ( Marker "adjs" )
- ( Lemma []
- ( Connected Conjunction
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 36
- , locColumn = 12
- }
- )
- ( SymbolPredicate
- ( PredicateAdj
- ( LexicalItem
- ( TokenCons
- ( Word "foo" ) End
- )
- ( Marker "foo" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- ]
- )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 36
- , locColumn = 20
- }
- )
- ( SymbolPredicate
- ( PredicateAdj
- ( LexicalItem
- ( TokenCons
- ( Word "baz" ) End
- )
- ( Marker "baz" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- ]
- )
- )
- )
-, BlockLemma
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 39
- , locColumn = 1
- }
- )
- ( Marker "are_nouns" )
- ( Lemma
- [ Asm
- ( Connected Conjunction
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 40
- , locColumn = 23
- }
- )
- ( SymbolPredicate
- ( PredicateNoun
- ( LexicalItemSgPl
- ( SgPl
- { sg = TokenCons
- ( Word "bar" ) End
- , pl = TokenCons
- ( Word "bars" ) End
- }
- )
- ( Marker "bar" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- ]
- )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 40
- , locColumn = 19
- }
- )
- ( SymbolPredicate
- ( PredicateAdj
- ( LexicalItem
- ( TokenCons
- ( Word "foo" ) End
- )
- ( Marker "foo" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- ]
- )
- )
- , Asm
- ( Connected Conjunction
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 40
- , locColumn = 23
- }
- )
- ( SymbolPredicate
- ( PredicateNoun
- ( LexicalItemSgPl
- ( SgPl
- { sg = TokenCons
- ( Word "bar" ) End
- , pl = TokenCons
- ( Word "bars" ) End
- }
- )
- ( Marker "bar" )
- )
- )
- )
- [ TermVar
- ( NamedVar "y" )
- ]
- )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 40
- , locColumn = 19
- }
- )
- ( SymbolPredicate
- ( PredicateAdj
- ( LexicalItem
- ( TokenCons
- ( Word "foo" ) End
- )
- ( Marker "foo" )
- )
- )
- )
- [ TermVar
- ( NamedVar "y" )
- ]
- )
- )
- ]
- ( Connected Conjunction
- ( Connected Conjunction
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 41
- , locColumn = 30
- }
- )
- ( SymbolPredicate
- ( PredicateNoun
- ( LexicalItemSgPl
- ( SgPl
- { sg = TokenCons
- ( Word "bar" ) End
- , pl = TokenCons
- ( Word "bars" ) End
- }
- )
- ( Marker "bar" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- ]
- )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 41
- , locColumn = 26
- }
- )
- ( SymbolPredicate
- ( PredicateAdj
- ( LexicalItem
- ( TokenCons
- ( Word "foo" ) End
- )
- ( Marker "foo" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- ]
- )
- )
- ( Connected Conjunction
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 41
- , locColumn = 30
- }
- )
- ( SymbolPredicate
- ( PredicateNoun
- ( LexicalItemSgPl
- ( SgPl
- { sg = TokenCons
- ( Word "bar" ) End
- , pl = TokenCons
- ( Word "bars" ) End
- }
- )
- ( Marker "bar" )
- )
- )
- )
- [ TermVar
- ( NamedVar "y" )
- ]
- )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/coord.tex"
- , locLine = 41
- , locColumn = 26
- }
- )
- ( SymbolPredicate
- ( PredicateAdj
- ( LexicalItem
- ( TokenCons
- ( Word "foo" ) End
- )
- ( Marker "foo" )
- )
- )
- )
- [ TermVar
- ( NamedVar "y" )
- ]
- )
- )
- )
- )
-] \ No newline at end of file
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-04 19:42:11 +0000