diff options
Diffstat (limited to 'test/golden/abbr/generating tasks.golden')
| -rw-r--r-- | test/golden/abbr/generating tasks.golden | 26 |
1 files changed, 17 insertions, 9 deletions
diff --git a/test/golden/abbr/generating tasks.golden b/test/golden/abbr/generating tasks.golden index 397fafe..d438481 100644 --- a/test/golden/abbr/generating tasks.golden +++ b/test/golden/abbr/generating tasks.golden @@ -117,17 +117,25 @@ ) ] , taskConjectureLabel = Marker "dummy_abbr_test_noun" - , taskConjecture = TermSymbol - ( SymbolPredicate - ( PredicateRelation - ( Symbol "=" ) + , taskConjecture = Quantified Universally + ( Scope + ( TermSymbol + ( SymbolPredicate + ( PredicateRelation + ( Symbol "=" ) + ) + ) + [ TermVar + ( B + ( NamedVar "x" ) + ) + , TermVar + ( B + ( NamedVar "x" ) + ) + ] ) ) - [ TermVar - ( NamedVar "x" ) - , TermVar - ( NamedVar "x" ) - ] } , Task { taskDirectness = Direct |