diff options
Diffstat (limited to 'test/golden/coord')
| -rw-r--r-- | test/golden/coord/encoding tasks.golden | 41 | ||||
| -rw-r--r-- | test/golden/coord/generating tasks.golden | 1968 | ||||
| -rw-r--r-- | test/golden/coord/glossing.golden | 437 | ||||
| -rw-r--r-- | test/golden/coord/parsing.golden | 367 | ||||
| -rw-r--r-- | test/golden/coord/scanning.golden | 16 | ||||
| -rw-r--r-- | test/golden/coord/tokenizing.golden | 150 | ||||
| -rw-r--r-- | test/golden/coord/verification.golden | 1 |
7 files changed, 2980 insertions, 0 deletions
diff --git a/test/golden/coord/encoding tasks.golden b/test/golden/coord/encoding tasks.golden new file mode 100644 index 0000000..3776aed --- /dev/null +++ b/test/golden/coord/encoding tasks.golden @@ -0,0 +1,41 @@ +fof(nouns,conjecture,fx=fx). +fof(baz,axiom,![Xx]:(baz(Xx)<=>Xx=Xx)). +fof(foo,axiom,![Xx]:(foo(Xx)<=>Xx=Xx)). +fof(bar,axiom,![Xx]:(bar(Xx)<=>Xx=Xx)). +fof(nouns1,axiom,bar(fy)). +fof(nouns2,axiom,bar(fx)). +------------------ +fof(adj_nouns,conjecture,fx=fx). +fof(nouns,axiom,![Xx,Xy]:((bar(Xx)&bar(Xy))=>Xx=Xx)). +fof(baz,axiom,![Xx]:(baz(Xx)<=>Xx=Xx)). +fof(foo,axiom,![Xx]:(foo(Xx)<=>Xx=Xx)). +fof(bar,axiom,![Xx]:(bar(Xx)<=>Xx=Xx)). +fof(adj_nouns1,axiom,bar(fy)&foo(fy)). +fof(adj_nouns2,axiom,bar(fx)&foo(fx)). +------------------ +fof(nouns_suchthat,conjecture,fx=fx). +fof(adj_nouns,axiom,![Xx,Xy]:((bar(Xx)&foo(Xx)&bar(Xy)&foo(Xy))=>Xx=Xx)). +fof(nouns,axiom,![Xx,Xy]:((bar(Xx)&bar(Xy))=>Xx=Xx)). +fof(baz,axiom,![Xx]:(baz(Xx)<=>Xx=Xx)). +fof(foo,axiom,![Xx]:(foo(Xx)<=>Xx=Xx)). +fof(bar,axiom,![Xx]:(bar(Xx)<=>Xx=Xx)). +fof(nouns_suchthat1,axiom,bar(fy)). +fof(nouns_suchthat2,axiom,bar(fx)). +fof(nouns_suchthat3,axiom,foo(fx)&baz(fy)). +------------------ +fof(noun_verb,conjecture,fx=fy<=>(bar(fx)&fx=fy)). +fof(nouns_suchthat,axiom,![Xx,Xy]:((foo(Xx)&baz(Xy)&bar(Xx)&bar(Xy))=>Xx=Xx)). +fof(adj_nouns,axiom,![Xx,Xy]:((bar(Xx)&foo(Xx)&bar(Xy)&foo(Xy))=>Xx=Xx)). +fof(nouns,axiom,![Xx,Xy]:((bar(Xx)&bar(Xy))=>Xx=Xx)). +fof(baz,axiom,![Xx]:(baz(Xx)<=>Xx=Xx)). +fof(foo,axiom,![Xx]:(foo(Xx)<=>Xx=Xx)). +fof(bar,axiom,![Xx]:(bar(Xx)<=>Xx=Xx)). +------------------ +fof(adjs,conjecture,foo(fx)&baz(fx)). +fof(noun_verb,axiom,![Xx,Xy]:(Xx=Xy<=>(bar(Xx)&Xx=Xy))). +fof(nouns_suchthat,axiom,![Xx,Xy]:((foo(Xx)&baz(Xy)&bar(Xx)&bar(Xy))=>Xx=Xx)). +fof(adj_nouns,axiom,![Xx,Xy]:((bar(Xx)&foo(Xx)&bar(Xy)&foo(Xy))=>Xx=Xx)). +fof(nouns,axiom,![Xx,Xy]:((bar(Xx)&bar(Xy))=>Xx=Xx)). +fof(baz,axiom,![Xx]:(baz(Xx)<=>Xx=Xx)). +fof(foo,axiom,![Xx]:(foo(Xx)<=>Xx=Xx)). +fof(bar,axiom,![Xx]:(bar(Xx)<=>Xx=Xx)).
\ No newline at end of file diff --git a/test/golden/coord/generating tasks.golden b/test/golden/coord/generating tasks.golden new file mode 100644 index 0000000..0e43d0e --- /dev/null +++ b/test/golden/coord/generating tasks.golden @@ -0,0 +1,1968 @@ +[ Task + { taskDirectness = Direct + , taskHypotheses = + [ + ( Marker "baz" + , Quantified Universally + ( Scope + ( Connected Equivalence + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "baz" ) + ] + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( Quantified Universally + ( Scope + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + , TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + ] + ) + ) + ) + ) + ) + ) + , + ( Marker "foo" + , Quantified Universally + ( Scope + ( Connected Equivalence + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( Quantified Universally + ( Scope + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + , TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + ] + ) + ) + ) + ) + ) + ) + , + ( Marker "bar" + , Quantified Universally + ( Scope + ( Connected Equivalence + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( Quantified Universally + ( Scope + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + , TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + ] + ) + ) + ) + ) + ) + ) + , + ( Marker "nouns1" + , TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( NamedVar "y" ) + ] + ) + , + ( Marker "nouns2" + , TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( NamedVar "x" ) + ] + ) + ] + , taskConjectureLabel = Marker "nouns" + , taskConjecture = TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( NamedVar "x" ) + , TermVar + ( NamedVar "x" ) + ] + } +, Task + { taskDirectness = Direct + , taskHypotheses = + [ + ( Marker "nouns" + , Quantified Universally + ( Scope + ( Connected Implication + ( Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "y" ) + ) + ] + ) + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + , TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ) + ) + ) + , + ( Marker "baz" + , Quantified Universally + ( Scope + ( Connected Equivalence + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "baz" ) + ] + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( Quantified Universally + ( Scope + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + , TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + ] + ) + ) + ) + ) + ) + ) + , + ( Marker "foo" + , Quantified Universally + ( Scope + ( Connected Equivalence + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( Quantified Universally + ( Scope + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + , TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + ] + ) + ) + ) + ) + ) + ) + , + ( Marker "bar" + , Quantified Universally + ( Scope + ( Connected Equivalence + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( Quantified Universally + ( Scope + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + , TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + ] + ) + ) + ) + ) + ) + ) + , + ( Marker "adj_nouns1" + , Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( NamedVar "y" ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( NamedVar "y" ) + ] + ) + ) + , + ( Marker "adj_nouns2" + , Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( NamedVar "x" ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( NamedVar "x" ) + ] + ) + ) + ] + , taskConjectureLabel = Marker "adj_nouns" + , taskConjecture = TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( NamedVar "x" ) + , TermVar + ( NamedVar "x" ) + ] + } +, Task + { taskDirectness = Direct + , taskHypotheses = + [ + ( Marker "adj_nouns" + , Quantified Universally + ( Scope + ( Connected Implication + ( Connected Conjunction + ( Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ) + ( Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "y" ) + ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( B + ( NamedVar "y" ) + ) + ] + ) + ) + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + , TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ) + ) + ) + , + ( Marker "nouns" + , Quantified Universally + ( Scope + ( Connected Implication + ( Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "y" ) + ) + ] + ) + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + , TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ) + ) + ) + , + ( Marker "baz" + , Quantified Universally + ( Scope + ( Connected Equivalence + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "baz" ) + ] + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( Quantified Universally + ( Scope + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + , TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + ] + ) + ) + ) + ) + ) + ) + , + ( Marker "foo" + , Quantified Universally + ( Scope + ( Connected Equivalence + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( Quantified Universally + ( Scope + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + , TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + ] + ) + ) + ) + ) + ) + ) + , + ( Marker "bar" + , Quantified Universally + ( Scope + ( Connected Equivalence + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( Quantified Universally + ( Scope + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + , TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + ] + ) + ) + ) + ) + ) + ) + , + ( Marker "nouns_suchthat1" + , TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( NamedVar "y" ) + ] + ) + , + ( Marker "nouns_suchthat2" + , TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( NamedVar "x" ) + ] + ) + , + ( Marker "nouns_suchthat3" + , Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( NamedVar "x" ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "baz" ) + ] + ) + ) + [ TermVar + ( NamedVar "y" ) + ] + ) + ) + ] + , taskConjectureLabel = Marker "nouns_suchthat" + , taskConjecture = TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( NamedVar "x" ) + , TermVar + ( NamedVar "x" ) + ] + } +, Task + { taskDirectness = Direct + , taskHypotheses = + [ + ( Marker "nouns_suchthat" + , Quantified Universally + ( Scope + ( Connected Implication + ( Connected Conjunction + ( Connected Conjunction + ( Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "baz" ) + ] + ) + ) + [ TermVar + ( B + ( NamedVar "y" ) + ) + ] + ) + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "y" ) + ) + ] + ) + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + , TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ) + ) + ) + , + ( Marker "adj_nouns" + , Quantified Universally + ( Scope + ( Connected Implication + ( Connected Conjunction + ( Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ) + ( Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "y" ) + ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( B + ( NamedVar "y" ) + ) + ] + ) + ) + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + , TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ) + ) + ) + , + ( Marker "nouns" + , Quantified Universally + ( Scope + ( Connected Implication + ( Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "y" ) + ) + ] + ) + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + , TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ) + ) + ) + , + ( Marker "baz" + , Quantified Universally + ( Scope + ( Connected Equivalence + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "baz" ) + ] + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( Quantified Universally + ( Scope + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + , TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + ] + ) + ) + ) + ) + ) + ) + , + ( Marker "foo" + , Quantified Universally + ( Scope + ( Connected Equivalence + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( Quantified Universally + ( Scope + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + , TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + ] + ) + ) + ) + ) + ) + ) + , + ( Marker "bar" + , Quantified Universally + ( Scope + ( Connected Equivalence + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( Quantified Universally + ( Scope + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + , TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + ] + ) + ) + ) + ) + ) + ) + ] + , taskConjectureLabel = Marker "noun_verb" + , taskConjecture = Connected Equivalence + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( NamedVar "x" ) + , TermVar + ( NamedVar "y" ) + ] + ) + ( Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( NamedVar "x" ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( NamedVar "x" ) + , TermVar + ( NamedVar "y" ) + ] + ) + ) + } +, Task + { taskDirectness = Direct + , taskHypotheses = + [ + ( Marker "noun_verb" + , Quantified Universally + ( Scope + ( Connected Equivalence + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + , TermVar + ( B + ( NamedVar "y" ) + ) + ] + ) + ( Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + , TermVar + ( B + ( NamedVar "y" ) + ) + ] + ) + ) + ) + ) + ) + , + ( Marker "nouns_suchthat" + , Quantified Universally + ( Scope + ( Connected Implication + ( Connected Conjunction + ( Connected Conjunction + ( Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "baz" ) + ] + ) + ) + [ TermVar + ( B + ( NamedVar "y" ) + ) + ] + ) + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "y" ) + ) + ] + ) + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + , TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ) + ) + ) + , + ( Marker "adj_nouns" + , Quantified Universally + ( Scope + ( Connected Implication + ( Connected Conjunction + ( Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ) + ( Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "y" ) + ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( B + ( NamedVar "y" ) + ) + ] + ) + ) + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + , TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ) + ) + ) + , + ( Marker "nouns" + , Quantified Universally + ( Scope + ( Connected Implication + ( Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "y" ) + ) + ] + ) + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + , TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ) + ) + ) + , + ( Marker "baz" + , Quantified Universally + ( Scope + ( Connected Equivalence + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "baz" ) + ] + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( Quantified Universally + ( Scope + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + , TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + ] + ) + ) + ) + ) + ) + ) + , + ( Marker "foo" + , Quantified Universally + ( Scope + ( Connected Equivalence + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( Quantified Universally + ( Scope + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + , TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + ] + ) + ) + ) + ) + ) + ) + , + ( Marker "bar" + , Quantified Universally + ( Scope + ( Connected Equivalence + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + ] + ) + ( Quantified Universally + ( Scope + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + , TermVar + ( F + ( TermVar + ( B + ( NamedVar "x" ) + ) + ) + ) + ] + ) + ) + ) + ) + ) + ) + ] + , taskConjectureLabel = Marker "adjs" + , taskConjecture = Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( NamedVar "x" ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "baz" ) + ] + ) + ) + [ TermVar + ( NamedVar "x" ) + ] + ) + } +]
\ No newline at end of file diff --git a/test/golden/coord/glossing.golden b/test/golden/coord/glossing.golden new file mode 100644 index 0000000..c051fe9 --- /dev/null +++ b/test/golden/coord/glossing.golden @@ -0,0 +1,437 @@ +[ BlockDefn + ( SourcePos + { sourceName = "test/examples/coord.tex" + , sourceLine = Pos 1 + , sourceColumn = Pos 1 + } + ) + ( Marker "bar" ) + ( DefnPredicate [] + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ( NamedVar "x" :| [] ) + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( NamedVar "x" ) + , TermVar + ( NamedVar "x" ) + ] + ) + ) +, BlockDefn + ( SourcePos + { sourceName = "test/examples/coord.tex" + , sourceLine = Pos 5 + , sourceColumn = Pos 1 + } + ) + ( Marker "foo" ) + ( DefnPredicate [] + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ( NamedVar "x" :| [] ) + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( NamedVar "x" ) + , TermVar + ( NamedVar "x" ) + ] + ) + ) +, BlockDefn + ( SourcePos + { sourceName = "test/examples/coord.tex" + , sourceLine = Pos 9 + , sourceColumn = Pos 1 + } + ) + ( Marker "baz" ) + ( DefnPredicate [] + ( PredicateAdj + [ Just + ( Word "baz" ) + ] + ) + ( NamedVar "x" :| [] ) + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( NamedVar "x" ) + , TermVar + ( NamedVar "x" ) + ] + ) + ) +, BlockLemma + ( SourcePos + { sourceName = "test/examples/coord.tex" + , sourceLine = Pos 13 + , sourceColumn = Pos 1 + } + ) + ( Marker "nouns" ) + ( Lemma + [ Asm + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( NamedVar "x" ) + ] + ) + , Asm + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( NamedVar "y" ) + ] + ) + ] + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( NamedVar "x" ) + , TermVar + ( NamedVar "x" ) + ] + ) + ) +, BlockLemma + ( SourcePos + { sourceName = "test/examples/coord.tex" + , sourceLine = Pos 18 + , sourceColumn = Pos 1 + } + ) + ( Marker "adj_nouns" ) + ( Lemma + [ Asm + ( Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( NamedVar "x" ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( NamedVar "x" ) + ] + ) + ) + , Asm + ( Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( NamedVar "y" ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( NamedVar "y" ) + ] + ) + ) + ] + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( NamedVar "x" ) + , TermVar + ( NamedVar "x" ) + ] + ) + ) +, BlockLemma + ( SourcePos + { sourceName = "test/examples/coord.tex" + , sourceLine = Pos 24 + , sourceColumn = Pos 1 + } + ) + ( Marker "nouns_suchthat" ) + ( Lemma + [ Asm + ( Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( NamedVar "x" ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "baz" ) + ] + ) + ) + [ TermVar + ( NamedVar "y" ) + ] + ) + ) + , Asm + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( NamedVar "x" ) + ] + ) + , Asm + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( NamedVar "y" ) + ] + ) + ] + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( NamedVar "x" ) + , TermVar + ( NamedVar "x" ) + ] + ) + ) +, BlockLemma + ( SourcePos + { sourceName = "test/examples/coord.tex" + , sourceLine = Pos 30 + , sourceColumn = Pos 1 + } + ) + ( Marker "noun_verb" ) + ( Lemma [] + ( Connected Equivalence + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( NamedVar "x" ) + , TermVar + ( NamedVar "y" ) + ] + ) + ( Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateNoun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) + ) + ) + [ TermVar + ( NamedVar "x" ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( NamedVar "x" ) + , TermVar + ( NamedVar "y" ) + ] + ) + ) + ) + ) +, BlockLemma + ( SourcePos + { sourceName = "test/examples/coord.tex" + , sourceLine = Pos 35 + , sourceColumn = Pos 1 + } + ) + ( Marker "adjs" ) + ( Lemma [] + ( Connected Conjunction + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "foo" ) + ] + ) + ) + [ TermVar + ( NamedVar "x" ) + ] + ) + ( TermSymbol + ( SymbolPredicate + ( PredicateAdj + [ Just + ( Word "baz" ) + ] + ) + ) + [ TermVar + ( NamedVar "x" ) + ] + ) + ) + ) +]
\ No newline at end of file diff --git a/test/golden/coord/parsing.golden b/test/golden/coord/parsing.golden new file mode 100644 index 0000000..555b86b --- /dev/null +++ b/test/golden/coord/parsing.golden @@ -0,0 +1,367 @@ +[ BlockDefn + ( SourcePos + { sourceName = "test/examples/coord.tex" + , sourceLine = Pos 1 + , sourceColumn = Pos 1 + } + ) + ( Marker "bar" ) + ( Defn [] + ( DefnNoun + ( NamedVar "x" ) + ( Noun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) [] + ) + ) + ( StmtFormula + ( FormulaChain + ( ChainBase + ( ExprVar + ( NamedVar "x" ) :| [] + ) Positive + ( RelationSymbol + ( Symbol "=" ) + ) + ( ExprVar + ( NamedVar "x" ) :| [] + ) + ) + ) + ) + ) +, BlockDefn + ( SourcePos + { sourceName = "test/examples/coord.tex" + , sourceLine = Pos 5 + , sourceColumn = Pos 1 + } + ) + ( Marker "foo" ) + ( Defn [] + ( DefnAdj Nothing + ( NamedVar "x" ) + ( Adj + [ Just + ( Word "foo" ) + ] [] + ) + ) + ( StmtFormula + ( FormulaChain + ( ChainBase + ( ExprVar + ( NamedVar "x" ) :| [] + ) Positive + ( RelationSymbol + ( Symbol "=" ) + ) + ( ExprVar + ( NamedVar "x" ) :| [] + ) + ) + ) + ) + ) +, BlockDefn + ( SourcePos + { sourceName = "test/examples/coord.tex" + , sourceLine = Pos 9 + , sourceColumn = Pos 1 + } + ) + ( Marker "baz" ) + ( Defn [] + ( DefnAdj Nothing + ( NamedVar "x" ) + ( Adj + [ Just + ( Word "baz" ) + ] [] + ) + ) + ( StmtFormula + ( FormulaChain + ( ChainBase + ( ExprVar + ( NamedVar "x" ) :| [] + ) Positive + ( RelationSymbol + ( Symbol "=" ) + ) + ( ExprVar + ( NamedVar "x" ) :| [] + ) + ) + ) + ) + ) +, BlockLemma + ( SourcePos + { sourceName = "test/examples/coord.tex" + , sourceLine = Pos 13 + , sourceColumn = Pos 1 + } + ) + ( Marker "nouns" ) + ( Lemma + [ AsmLetNoun + ( NamedVar "x" :| + [ NamedVar "y" ] + ) NounPhrase ( [] ) + ( Noun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) [] + ) ( Nothing ) ( [] ) ( Nothing ) + ] + ( StmtFormula + ( FormulaChain + ( ChainBase + ( ExprVar + ( NamedVar "x" ) :| [] + ) Positive + ( RelationSymbol + ( Symbol "=" ) + ) + ( ExprVar + ( NamedVar "x" ) :| [] + ) + ) + ) + ) + ) +, BlockLemma + ( SourcePos + { sourceName = "test/examples/coord.tex" + , sourceLine = Pos 18 + , sourceColumn = Pos 1 + } + ) + ( Marker "adj_nouns" ) + ( Lemma + [ AsmLetNoun + ( NamedVar "x" :| + [ NamedVar "y" ] + ) NounPhrase + ( + [ AdjL + [ Just + ( Word "foo" ) + ] [] + ] + ) + ( Noun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) [] + ) ( Nothing ) ( [] ) ( Nothing ) + ] + ( StmtFormula + ( FormulaChain + ( ChainBase + ( ExprVar + ( NamedVar "x" ) :| [] + ) Positive + ( RelationSymbol + ( Symbol "=" ) + ) + ( ExprVar + ( NamedVar "x" ) :| [] + ) + ) + ) + ) + ) +, BlockLemma + ( SourcePos + { sourceName = "test/examples/coord.tex" + , sourceLine = Pos 24 + , sourceColumn = Pos 1 + } + ) + ( Marker "nouns_suchthat" ) + ( Lemma + [ AsmLetNoun + ( NamedVar "x" :| + [ NamedVar "y" ] + ) NounPhrase ( [] ) + ( Noun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) [] + ) ( Nothing ) ( [] ) + ( Just + ( StmtConnected Conjunction + ( StmtVerbPhrase + ( TermExpr + ( ExprVar + ( NamedVar "x" ) + ) :| [] + ) + ( VPAdj + ( Adj + [ Just + ( Word "foo" ) + ] [] :| [] + ) + ) + ) + ( StmtVerbPhrase + ( TermExpr + ( ExprVar + ( NamedVar "y" ) + ) :| [] + ) + ( VPAdj + ( Adj + [ Just + ( Word "baz" ) + ] [] :| [] + ) + ) + ) + ) + ) + ] + ( StmtFormula + ( FormulaChain + ( ChainBase + ( ExprVar + ( NamedVar "x" ) :| [] + ) Positive + ( RelationSymbol + ( Symbol "=" ) + ) + ( ExprVar + ( NamedVar "x" ) :| [] + ) + ) + ) + ) + ) +, BlockLemma + ( SourcePos + { sourceName = "test/examples/coord.tex" + , sourceLine = Pos 30 + , sourceColumn = Pos 1 + } + ) + ( Marker "noun_verb" ) + ( Lemma [] + ( StmtConnected Equivalence + ( StmtFormula + ( FormulaChain + ( ChainBase + ( ExprVar + ( NamedVar "x" ) :| [] + ) Positive + ( RelationSymbol + ( Symbol "=" ) + ) + ( ExprVar + ( NamedVar "y" ) :| [] + ) + ) + ) + ) + ( StmtNoun + ( TermExpr + ( ExprVar + ( NamedVar "x" ) + ) + ) NounPhrase ( [] ) + ( Noun + ( SgPl + { sg = + [ Just + ( Word "bar" ) + ] + , pl = + [ Just + ( Word "bars" ) + ] + } + ) [] + ) ( Nothing ) + ( + [ AdjR + [ Just + ( Word "equal" ) + , Just + ( Word "to" ) + , Nothing + ] + [ TermExpr + ( ExprVar + ( NamedVar "y" ) + ) + ] + ] + ) ( Nothing ) + ) + ) + ) +, BlockLemma + ( SourcePos + { sourceName = "test/examples/coord.tex" + , sourceLine = Pos 35 + , sourceColumn = Pos 1 + } + ) + ( Marker "adjs" ) + ( Lemma [] + ( StmtVerbPhrase + ( TermExpr + ( ExprVar + ( NamedVar "x" ) + ) :| [] + ) + ( VPAdj + ( Adj + [ Just + ( Word "foo" ) + ] [] :| + [ Adj + [ Just + ( Word "baz" ) + ] [] + ] + ) + ) + ) + ) +]
\ No newline at end of file diff --git a/test/golden/coord/scanning.golden b/test/golden/coord/scanning.golden new file mode 100644 index 0000000..f405a1f --- /dev/null +++ b/test/golden/coord/scanning.golden @@ -0,0 +1,16 @@ +[ ScanNoun + [ Just + ( Word "bar" ) + ] + ( Marker "bar" ) +, ScanAdj + [ Just + ( Word "foo" ) + ] + ( Marker "foo" ) +, ScanAdj + [ Just + ( Word "baz" ) + ] + ( Marker "baz" ) +]
\ No newline at end of file diff --git a/test/golden/coord/tokenizing.golden b/test/golden/coord/tokenizing.golden new file mode 100644 index 0000000..0516d7a --- /dev/null +++ b/test/golden/coord/tokenizing.golden @@ -0,0 +1,150 @@ +[ BeginEnv "definition" +, Label "bar" +, BeginEnv "math" +, Variable "x" +, EndEnv "math" +, Word "is" +, Word "a" +, Word "bar" +, Word "iff" +, BeginEnv "math" +, Variable "x" +, Symbol "=" +, Variable "x" +, EndEnv "math" +, Symbol "." +, EndEnv "definition" +, BeginEnv "definition" +, Label "foo" +, BeginEnv "math" +, Variable "x" +, EndEnv "math" +, Word "is" +, Word "foo" +, Word "iff" +, BeginEnv "math" +, Variable "x" +, Symbol "=" +, Variable "x" +, EndEnv "math" +, Symbol "." +, EndEnv "definition" +, BeginEnv "definition" +, Label "baz" +, BeginEnv "math" +, Variable "x" +, EndEnv "math" +, Word "is" +, Word "baz" +, Word "iff" +, BeginEnv "math" +, Variable "x" +, Symbol "=" +, Variable "x" +, EndEnv "math" +, Symbol "." +, EndEnv "definition" +, BeginEnv "proposition" +, Label "nouns" +, Word "let" +, BeginEnv "math" +, Variable "x" +, Symbol "," +, Variable "y" +, EndEnv "math" +, Word "be" +, Word "bars" +, Symbol "." +, Word "then" +, BeginEnv "math" +, Variable "x" +, Symbol "=" +, Variable "x" +, EndEnv "math" +, Symbol "." +, EndEnv "proposition" +, BeginEnv "proposition" +, Label "adj_nouns" +, Word "let" +, BeginEnv "math" +, Variable "x" +, Symbol "," +, Variable "y" +, EndEnv "math" +, Word "be" +, Word "foo" +, Word "bars" +, Symbol "." +, Word "then" +, BeginEnv "math" +, Variable "x" +, Symbol "=" +, Variable "x" +, EndEnv "math" +, Symbol "." +, EndEnv "proposition" +, BeginEnv "proposition" +, Label "nouns_suchthat" +, Word "let" +, BeginEnv "math" +, Variable "x" +, Symbol "," +, Variable "y" +, EndEnv "math" +, Word "be" +, Word "bars" +, Word "such" +, Word "that" +, BeginEnv "math" +, Variable "x" +, EndEnv "math" +, Word "is" +, Word "foo" +, Word "and" +, BeginEnv "math" +, Variable "y" +, EndEnv "math" +, Word "is" +, Word "baz" +, Symbol "." +, Word "then" +, BeginEnv "math" +, Variable "x" +, Symbol "=" +, Variable "x" +, EndEnv "math" +, Symbol "." +, EndEnv "proposition" +, BeginEnv "proposition" +, Label "noun_verb" +, BeginEnv "math" +, Variable "x" +, Symbol "=" +, Variable "y" +, EndEnv "math" +, Word "iff" +, BeginEnv "math" +, Variable "x" +, EndEnv "math" +, Word "is" +, Word "a" +, Word "bar" +, Word "equal" +, Word "to" +, BeginEnv "math" +, Variable "y" +, EndEnv "math" +, Symbol "." +, EndEnv "proposition" +, BeginEnv "proposition" +, Label "adjs" +, BeginEnv "math" +, Variable "x" +, EndEnv "math" +, Word "is" +, Word "foo" +, Word "and" +, Word "baz" +, Symbol "." +, EndEnv "proposition" +]
\ No newline at end of file diff --git a/test/golden/coord/verification.golden b/test/golden/coord/verification.golden new file mode 100644 index 0000000..69b9873 --- /dev/null +++ b/test/golden/coord/verification.golden @@ -0,0 +1 @@ +VerificationSuccess
\ No newline at end of file |