summaryrefslogtreecommitdiff
path: root/test/golden/abbr/generating tasks.golden
diff options
context:
space:
mode:
Diffstat (limited to 'test/golden/abbr/generating tasks.golden')
-rw-r--r--test/golden/abbr/generating tasks.golden1307
1 files changed, 0 insertions, 1307 deletions
diff --git a/test/golden/abbr/generating tasks.golden b/test/golden/abbr/generating tasks.golden
deleted file mode 100644
index 7802f08..0000000
--- a/test/golden/abbr/generating tasks.golden
+++ /dev/null
@@ -1,1307 +0,0 @@
-[ Task
- { taskDirectness = Direct
- , taskHypotheses = []
- , taskConjectureLabel = Marker "dummy_abbr_test_adj"
- , taskLocation = Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 5
- , locColumn = 1
- }
- , taskConjecture = Connected Implication
- ( Not
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 35
- }
- )
- ( Quantified Existentially
- ( Scope
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 54
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "y" )
- )
- , TermVar
- ( F
- ( TermVar
- ( NamedVar "x" )
- )
- )
- ]
- )
- )
- )
- )
- ( Not
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 35
- }
- )
- ( Quantified Existentially
- ( Scope
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 54
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "y" )
- )
- , TermVar
- ( F
- ( TermVar
- ( NamedVar "x" )
- )
- )
- ]
- )
- )
- )
- )
- }
-, Task
- { taskDirectness = Direct
- , taskHypotheses =
- [ Hypothesis Marker "dummy_abbr_test_adj" Quantified Universally
- ( Scope
- ( Connected Implication
- ( Not
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 35
- }
- )
- ( Quantified Existentially
- ( Scope
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 54
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "y" )
- )
- , TermVar
- ( F
- ( TermVar
- ( B
- ( NamedVar "x" )
- )
- )
- )
- ]
- )
- )
- )
- )
- ( Not
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 35
- }
- )
- ( Quantified Existentially
- ( Scope
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 54
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "y" )
- )
- , TermVar
- ( F
- ( TermVar
- ( B
- ( NamedVar "x" )
- )
- )
- )
- ]
- )
- )
- )
- )
- )
- )
- ]
- , taskConjectureLabel = Marker "dummy_abbr_test_noun"
- , taskLocation = Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 15
- , locColumn = 1
- }
- , taskConjecture = Quantified Universally
- ( Scope
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 12
- , locColumn = 30
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "x" )
- )
- , TermVar
- ( B
- ( NamedVar "x" )
- )
- ]
- )
- )
- }
-, Task
- { taskDirectness = Direct
- , taskHypotheses =
- [ Hypothesis Marker "dummy_abbr_test_noun" Quantified Universally
- ( Scope
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 12
- , locColumn = 30
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "x" )
- )
- , TermVar
- ( B
- ( NamedVar "x" )
- )
- ]
- )
- )
- , Hypothesis Marker "dummy_abbr_test_adj" Quantified Universally
- ( Scope
- ( Connected Implication
- ( Not
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 35
- }
- )
- ( Quantified Existentially
- ( Scope
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 54
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "y" )
- )
- , TermVar
- ( F
- ( TermVar
- ( B
- ( NamedVar "x" )
- )
- )
- )
- ]
- )
- )
- )
- )
- ( Not
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 35
- }
- )
- ( Quantified Existentially
- ( Scope
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 54
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "y" )
- )
- , TermVar
- ( F
- ( TermVar
- ( B
- ( NamedVar "x" )
- )
- )
- )
- ]
- )
- )
- )
- )
- )
- )
- ]
- , taskConjectureLabel = Marker "dummy_abbr_test_verb"
- , taskLocation = Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 25
- , locColumn = 1
- }
- , taskConjecture = Connected Implication
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 22
- , locColumn = 33
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- , TermVar
- ( NamedVar "y" )
- ]
- )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 26
- , locColumn = 38
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- , TermVar
- ( NamedVar "y" )
- ]
- )
- }
-, Task
- { taskDirectness = Direct
- , taskHypotheses =
- [ Hypothesis Marker "dummy_abbr_test_verb" Quantified Universally
- ( Scope
- ( Connected Implication
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 22
- , locColumn = 33
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "x" )
- )
- , TermVar
- ( B
- ( NamedVar "y" )
- )
- ]
- )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 26
- , locColumn = 38
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "x" )
- )
- , TermVar
- ( B
- ( NamedVar "y" )
- )
- ]
- )
- )
- )
- , Hypothesis Marker "dummy_abbr_test_noun" Quantified Universally
- ( Scope
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 12
- , locColumn = 30
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "x" )
- )
- , TermVar
- ( B
- ( NamedVar "x" )
- )
- ]
- )
- )
- , Hypothesis Marker "dummy_abbr_test_adj" Quantified Universally
- ( Scope
- ( Connected Implication
- ( Not
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 35
- }
- )
- ( Quantified Existentially
- ( Scope
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 54
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "y" )
- )
- , TermVar
- ( F
- ( TermVar
- ( B
- ( NamedVar "x" )
- )
- )
- )
- ]
- )
- )
- )
- )
- ( Not
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 35
- }
- )
- ( Quantified Existentially
- ( Scope
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 54
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "y" )
- )
- , TermVar
- ( F
- ( TermVar
- ( B
- ( NamedVar "x" )
- )
- )
- )
- ]
- )
- )
- )
- )
- )
- )
- ]
- , taskConjectureLabel = Marker "abbr_test_notin"
- , taskLocation = Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 31
- , locColumn = 1
- }
- , taskConjecture = Connected Implication
- ( Not
- ( Location
- { locFile = "<nowhere>"
- , locLine = -1
- , locColumn = -1
- }
- )
- ( TermSymbol
- ( Location
- { locFile = "<nowhere>"
- , locLine = -1
- , locColumn = -1
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- , TermVar
- ( NamedVar "y" )
- ]
- )
- )
- ( Not
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 32
- , locColumn = 31
- }
- )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 32
- , locColumn = 31
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- , TermVar
- ( NamedVar "y" )
- ]
- )
- )
- }
-, Task
- { taskDirectness = Direct
- , taskHypotheses =
- [ Hypothesis Marker "abbr_test_notin" Quantified Universally
- ( Scope
- ( Connected Implication
- ( Not
- ( Location
- { locFile = "<nowhere>"
- , locLine = -1
- , locColumn = -1
- }
- )
- ( TermSymbol
- ( Location
- { locFile = "<nowhere>"
- , locLine = -1
- , locColumn = -1
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "x" )
- )
- , TermVar
- ( B
- ( NamedVar "y" )
- )
- ]
- )
- )
- ( Not
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 32
- , locColumn = 31
- }
- )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 32
- , locColumn = 31
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "x" )
- )
- , TermVar
- ( B
- ( NamedVar "y" )
- )
- ]
- )
- )
- )
- )
- , Hypothesis Marker "dummy_abbr_test_verb" Quantified Universally
- ( Scope
- ( Connected Implication
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 22
- , locColumn = 33
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "x" )
- )
- , TermVar
- ( B
- ( NamedVar "y" )
- )
- ]
- )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 26
- , locColumn = 38
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "x" )
- )
- , TermVar
- ( B
- ( NamedVar "y" )
- )
- ]
- )
- )
- )
- , Hypothesis Marker "dummy_abbr_test_noun" Quantified Universally
- ( Scope
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 12
- , locColumn = 30
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "x" )
- )
- , TermVar
- ( B
- ( NamedVar "x" )
- )
- ]
- )
- )
- , Hypothesis Marker "dummy_abbr_test_adj" Quantified Universally
- ( Scope
- ( Connected Implication
- ( Not
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 35
- }
- )
- ( Quantified Existentially
- ( Scope
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 54
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "y" )
- )
- , TermVar
- ( F
- ( TermVar
- ( B
- ( NamedVar "x" )
- )
- )
- )
- ]
- )
- )
- )
- )
- ( Not
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 35
- }
- )
- ( Quantified Existentially
- ( Scope
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 54
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "y" )
- )
- , TermVar
- ( F
- ( TermVar
- ( B
- ( NamedVar "x" )
- )
- )
- )
- ]
- )
- )
- )
- )
- )
- )
- ]
- , taskConjectureLabel = Marker "abbr_test_elementof_is_in"
- , taskLocation = Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 37
- , locColumn = 1
- }
- , taskConjecture = Connected Implication
- ( TermSymbol
- ( Location
- { locFile = "<nowhere>"
- , locLine = -1
- , locColumn = -1
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- , TermVar
- ( NamedVar "y" )
- ]
- )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 38
- , locColumn = 41
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- , TermVar
- ( NamedVar "y" )
- ]
- )
- }
-, Task
- { taskDirectness = Direct
- , taskHypotheses =
- [ Hypothesis Marker "abbr_test_elementof_is_in" Quantified Universally
- ( Scope
- ( Connected Implication
- ( TermSymbol
- ( Location
- { locFile = "<nowhere>"
- , locLine = -1
- , locColumn = -1
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "x" )
- )
- , TermVar
- ( B
- ( NamedVar "y" )
- )
- ]
- )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 38
- , locColumn = 41
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "x" )
- )
- , TermVar
- ( B
- ( NamedVar "y" )
- )
- ]
- )
- )
- )
- , Hypothesis Marker "abbr_test_notin" Quantified Universally
- ( Scope
- ( Connected Implication
- ( Not
- ( Location
- { locFile = "<nowhere>"
- , locLine = -1
- , locColumn = -1
- }
- )
- ( TermSymbol
- ( Location
- { locFile = "<nowhere>"
- , locLine = -1
- , locColumn = -1
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "x" )
- )
- , TermVar
- ( B
- ( NamedVar "y" )
- )
- ]
- )
- )
- ( Not
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 32
- , locColumn = 31
- }
- )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 32
- , locColumn = 31
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "x" )
- )
- , TermVar
- ( B
- ( NamedVar "y" )
- )
- ]
- )
- )
- )
- )
- , Hypothesis Marker "dummy_abbr_test_verb" Quantified Universally
- ( Scope
- ( Connected Implication
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 22
- , locColumn = 33
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "x" )
- )
- , TermVar
- ( B
- ( NamedVar "y" )
- )
- ]
- )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 26
- , locColumn = 38
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "x" )
- )
- , TermVar
- ( B
- ( NamedVar "y" )
- )
- ]
- )
- )
- )
- , Hypothesis Marker "dummy_abbr_test_noun" Quantified Universally
- ( Scope
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 12
- , locColumn = 30
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "x" )
- )
- , TermVar
- ( B
- ( NamedVar "x" )
- )
- ]
- )
- )
- , Hypothesis Marker "dummy_abbr_test_adj" Quantified Universally
- ( Scope
- ( Connected Implication
- ( Not
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 35
- }
- )
- ( Quantified Existentially
- ( Scope
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 54
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "y" )
- )
- , TermVar
- ( F
- ( TermVar
- ( B
- ( NamedVar "x" )
- )
- )
- )
- ]
- )
- )
- )
- )
- ( Not
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 35
- }
- )
- ( Quantified Existentially
- ( Scope
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 2
- , locColumn = 54
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Command "in" )
- ( ParameterArity 0 )
- ( Marker "elem" )
- )
- )
- )
- [ TermVar
- ( B
- ( NamedVar "y" )
- )
- , TermVar
- ( F
- ( TermVar
- ( B
- ( NamedVar "x" )
- )
- )
- )
- ]
- )
- )
- )
- )
- )
- )
- ]
- , taskConjectureLabel = Marker "abbr_test_equals_is_eq"
- , taskLocation = Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 43
- , locColumn = 1
- }
- , taskConjecture = Connected Implication
- ( TermSymbol
- ( Location
- { locFile = "<nowhere>"
- , locLine = -1
- , locColumn = -1
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- , TermVar
- ( NamedVar "y" )
- ]
- )
- ( TermSymbol
- ( Location
- { locFile = "test/examples/abbr.tex"
- , locLine = 44
- , locColumn = 32
- }
- )
- ( SymbolPredicate
- ( PredicateRelation
- ( RelationSymbol
- ( Symbol "=" )
- ( ParameterArity 0 )
- ( Marker "eq" )
- )
- )
- )
- [ TermVar
- ( NamedVar "x" )
- , TermVar
- ( NamedVar "y" )
- ]
- )
- }
-] \ No newline at end of file
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-06 16:12:38 +0000