|
From: <Mic...@da...> - 2021-01-06 10:01:38
|
Running in /OSM/HOME-CDC/nor190/scratch/regressionHOLs/expknl on machine d61-04-cdc Uname info (srm): Linux 3.2.0-4-amd64 x86_64 Cpu: Intel(R) Xeon(R) CPU E5-2640 v4 @ 2.40GHz x 2 Memory: 8008 MB ML Implementation: poly570 Started: Wed, 06 Jan 2021 21:01:04 +1100 Extra commandline arguments: -F -t2 Revision: 07dca05 Fix bugs in Makefiles/lib files preventing Lassie from compiling >From https://github.com/HOL-Theorem-Prover/HOL 4925488..07dca05 develop -> origin/develop 982ebdf..748b1a6 master -> origin/master Checking out files: 27% (117/430) Checking out files: 28% (121/430) Checking out files: 29% (125/430) Checking out files: 30% (129/430) Checking out files: 31% (134/430) Checking out files: 32% (138/430) Checking out files: 33% (142/430) Checking out files: 34% (147/430) Checking out files: 35% (151/430) Checking out files: 36% (155/430) Checking out files: 37% (160/430) Checking out files: 38% (164/430) Checking out files: 39% (168/430) Checking out files: 40% (172/430) Checking out files: 41% (177/430) Checking out files: 42% (181/430) Checking out files: 43% (185/430) Checking out files: 44% (190/430) Checking out files: 45% (194/430) Checking out files: 46% (198/430) Checking out files: 47% (203/430) Checking out files: 48% (207/430) Checking out files: 49% (211/430) Checking out files: 50% (215/430) Checking out files: 51% (220/430) Checking out files: 52% (224/430) Checking out files: 53% (228/430) Checking out files: 54% (233/430) Checking out files: 55% (237/430) Checking out files: 56% (241/430) Checking out files: 57% (246/430) Checking out files: 58% (250/430) Checking out files: 59% (254/430) Checking out files: 60% (258/430) Checking out files: 61% (263/430) Checking out files: 62% (267/430) Checking out files: 63% (271/430) Checking out files: 64% (276/430) Checking out files: 65% (280/430) Checking out files: 66% (284/430) Checking out files: 67% (289/430) Checking out files: 68% (293/430) Checking out files: 69% (297/430) Checking out files: 70% (301/430) Checking out files: 71% (306/430) Checking out files: 72% (310/430) Checking out files: 73% (314/430) Checking out files: 74% (319/430) Checking out files: 75% (323/430) Checking out files: 76% (327/430) Checking out files: 77% (332/430) Checking out files: 78% (336/430) Checking out files: 79% (340/430) Checking out files: 80% (344/430) Checking out files: 81% (349/430) Checking out files: 82% (353/430) Checking out files: 83% (357/430) Checking out files: 84% (362/430) Checking out files: 85% (366/430) Checking out files: 86% (370/430) Checking out files: 87% (375/430) Checking out files: 88% (379/430) Checking out files: 89% (383/430) Checking out files: 90% (387/430) Checking out files: 91% (392/430) Checking out files: 92% (396/430) Checking out files: 93% (400/430) Checking out files: 94% (405/430) Checking out files: 95% (409/430) Checking out files: 96% (413/430) Checking out files: 97% (418/430) Checking out files: 98% (422/430) Checking out files: 99% (426/430) Checking out files: 100% (430/430) Checking out files: 100% (430/430), done. Updating 4925488..07dca05 Fast-forward Manual/Developers/{Makefile => Holmakefile} | 7 +- Manual/Guide/README | 4 + Manual/Interaction-emacs/.gitignore | 1 + Manual/Interaction-emacs/Holmakefile | 14 + .../interaction-emacs.stex} | 2 +- Manual/Interaction/.gitignore | 1 - Manual/Interaction/Holmakefile | 14 - Manual/LaTeX/commands.tex | 4 +- Manual/Logic/Holmakefile | 9 + Manual/Logic/Makefile | 34 - Manual/Quick/Holmakefile | 4 + Manual/Quick/Makefile | 15 - Manual/README | 32 +- Manual/Reference/.gitignore | 2 + Manual/Reference/{Makefile => Holmakefile} | 46 +- developers/deleted-in-release.txt | 5 - developers/releasing-hol | 2 +- developers/travis/selftestseq | 1 + doc/{next-release.md => kananaskis-14.release.md} | 0 examples/PSL/1.1/Holmakefile | 22 +- .../ExecuteSemanticsScript.sml | 65 +- examples/PSL/1.1/executable-semantics/README | 10 + examples/elliptic/.gitignore | 1 + examples/elliptic/Algebra.sig | 2 - examples/elliptic/Algebra.sml | 6 +- examples/elliptic/Parser.sig | 2 +- examples/elliptic/Parser.sml | 35 +- examples/elliptic/README | 5 +- examples/elliptic/Useful.sig | 2 +- examples/elliptic/Useful.sml | 42 +- examples/elliptic/ellipticScript.sml | 77 +- examples/elliptic/fieldScript.sml | 19 +- examples/elliptic/fieldTools.sml | 46 +- examples/elliptic/groupScript.sml | 15 +- examples/elliptic/groupTools.sml | 2 + examples/elliptic/primalityScript.sml | 10 +- examples/elliptic/subtypeTools.sig | 4 - examples/elliptic/subtypeTools.sml | 41 +- examples/{ => lambda}/fsub/Holmakefile | 0 examples/{ => lambda}/fsub/README | 0 examples/{ => lambda}/fsub/fsubtypesScript.sml | 0 .../{ => lambda}/fsub/full_subtypingScript.sml | 0 .../{ => lambda}/fsub/kernel_subtypingScript.sml | 0 examples/lassie/examples/Holmakefile | 7 + examples/lassie/examples/arithTacticsLib.sml | 44 + .../lassie/examples/caseStudy1EuclidScript.sml | 280 +++++ .../lassie/examples/caseStudy2RealNumsScript.sml | 189 +++ .../examples/caseStudy3IntervalLibScript.sml | 216 ++++ .../examples/caseStudy4NaprochePowersetScript.sml | 59 + examples/lassie/examples/gaussScript.sml | 35 + examples/lassie/examples/logicTacticsLib.sml | 63 + examples/lassie/examples/realTacticsLib.sml | 29 + examples/lassie/examples/tacticsCaseStudyLib.sml | 93 ++ examples/lassie/examples/tutorialScript.sml | 37 + examples/lassie/sempre/.gitignore | 48 + examples/lassie/sempre/DOCUMENTATION.md | 1236 ++++++++++++++++++++ examples/lassie/sempre/LICENSE.txt | 12 + examples/lassie/sempre/README.md | 188 +++ examples/lassie/sempre/TUTORIAL.md | 855 ++++++++++++++ examples/lassie/sempre/build.xml | 130 ++ examples/lassie/sempre/interactive/README.md | 115 ++ examples/lassie/sempre/interactive/lassie.db | 752 ++++++++++++ examples/lassie/sempre/interactive/lassie.grammar | 245 ++++ .../lassie/sempre/interactive/lassie.grammar_old | 334 ++++++ .../lassie/sempre/interactive/lassie.grammar_v2.0 | 366 ++++++ .../lassie/sempre/interactive/lassie.grammar_v2.1 | 340 ++++++ examples/lassie/sempre/interactive/lassie.synonyms | 2 + examples/lassie/sempre/interactive/run | 314 +++++ examples/lassie/sempre/pull-dependencies | 332 ++++++ examples/lassie/sempre/run | 1115 ++++++++++++++++++ examples/lassie/sempre/scripts/agenda-stats | 7 + examples/lassie/sempre/scripts/checkstyle.sh | 11 + examples/lassie/sempre/scripts/checkstyle.xml | 204 ++++ .../sempre/scripts/create-geo-simple-lexicon.py | 68 ++ examples/lassie/sempre/scripts/evaluation.py | 67 ++ .../sempre/scripts/extract-module-classes.rb | 24 + .../sempre/scripts/filterGeneratedNegations.py | 29 + .../lassie/sempre/scripts/find-first-pred-diff.sh | 10 + .../lassie/sempre/scripts/find-hard-coded-paths.rb | 19 + examples/lassie/sempre/scripts/fix-checkstyle.rb | 113 ++ .../sempre/scripts/generate-prediction-file.sh | 7 + examples/lassie/sempre/scripts/tunnel | 46 + examples/lassie/sempre/scripts/verify-code-loop.rb | 107 ++ .../sempre/AbstractReinforcementParserState.java | 201 ++++ .../src/edu/stanford/nlp/sempre/ActionFormula.java | 130 ++ .../edu/stanford/nlp/sempre/AggregateFormula.java | 74 ++ .../edu/stanford/nlp/sempre/ArithmeticFormula.java | 92 ++ .../src/edu/stanford/nlp/sempre/AtomicSemType.java | 30 + .../stanford/nlp/sempre/BadFormulaException.java | 21 + .../src/edu/stanford/nlp/sempre/BeamParser.java | 315 +++++ .../src/edu/stanford/nlp/sempre/BooleanValue.java | 32 + .../stanford/nlp/sempre/BoundedPriorityQueue.java | 77 ++ .../src/edu/stanford/nlp/sempre/Builder.java | 94 ++ .../src/edu/stanford/nlp/sempre/CallFormula.java | 85 ++ .../src/edu/stanford/nlp/sempre/CallTypeInfo.java | 16 + .../edu/stanford/nlp/sempre/CanonicalNames.java | 117 ++ .../src/edu/stanford/nlp/sempre/CatSizeBound.java | 78 ++ .../edu/stanford/nlp/sempre/ChartParserState.java | 128 ++ .../stanford/nlp/sempre/ChildDerivationsGroup.java | 36 + .../src/edu/stanford/nlp/sempre/CoarseParser.java | 284 +++++ .../src/edu/stanford/nlp/sempre/Colorizer.java | 50 + .../src/edu/stanford/nlp/sempre/ConcatFn.java | 39 + .../src/edu/stanford/nlp/sempre/ConstantFn.java | 48 + .../src/edu/stanford/nlp/sempre/ContextFn.java | 123 ++ .../src/edu/stanford/nlp/sempre/ContextValue.java | 147 +++ .../src/edu/stanford/nlp/sempre/Dataset.java | 283 +++++ .../sempre/src/edu/stanford/nlp/sempre/DateFn.java | 27 + .../src/edu/stanford/nlp/sempre/DateRangeFn.java | 64 + .../src/edu/stanford/nlp/sempre/DateValue.java | 108 ++ .../sempre/DefaultDerivationPruningComputer.java | 161 +++ .../nlp/sempre/DerivOpCountFeatureComputer.java | 58 + .../src/edu/stanford/nlp/sempre/Derivation.java | 579 +++++++++ .../edu/stanford/nlp/sempre/DerivationPruner.java | 111 ++ .../nlp/sempre/DerivationPruningComputer.java | 43 + .../edu/stanford/nlp/sempre/DerivationStream.java | 13 + .../edu/stanford/nlp/sempre/DescriptionValue.java | 31 + .../src/edu/stanford/nlp/sempre/ErrorValue.java | 71 ++ .../stanford/nlp/sempre/ExactValueEvaluator.java | 8 + .../src/edu/stanford/nlp/sempre/Example.java | 394 +++++++ .../src/edu/stanford/nlp/sempre/ExampleUtils.java | 159 +++ .../src/edu/stanford/nlp/sempre/Executor.java | 24 + .../edu/stanford/nlp/sempre/FeatureComputer.java | 25 + .../edu/stanford/nlp/sempre/FeatureExtractor.java | 310 +++++ .../edu/stanford/nlp/sempre/FeatureMatcher.java | 28 + .../src/edu/stanford/nlp/sempre/FeatureVector.java | 291 +++++ .../edu/stanford/nlp/sempre/FilterNerSpanFn.java | 62 + .../edu/stanford/nlp/sempre/FilterPosTagFn.java | 98 ++ .../stanford/nlp/sempre/FilterSpanLengthFn.java | 43 + .../src/edu/stanford/nlp/sempre/FilterTokenFn.java | 52 + .../nlp/sempre/FloatingFeatureComputer.java | 65 + .../edu/stanford/nlp/sempre/FloatingParser.java | 642 ++++++++++ .../edu/stanford/nlp/sempre/FloatingRuleUtils.java | 50 + .../src/edu/stanford/nlp/sempre/Formula.java | 61 + .../stanford/nlp/sempre/FormulaMatchExecutor.java | 18 + .../src/edu/stanford/nlp/sempre/Formulas.java | 409 +++++++ .../src/edu/stanford/nlp/sempre/FuncSemType.java | 47 + .../src/edu/stanford/nlp/sempre/FuzzyMatchFn.java | 125 ++ .../edu/stanford/nlp/sempre/FuzzyMatchable.java | 39 + .../src/edu/stanford/nlp/sempre/Grammar.java | 563 +++++++++ .../src/edu/stanford/nlp/sempre/HasScore.java | 8 + .../src/edu/stanford/nlp/sempre/IdentityFn.java | 20 + .../src/edu/stanford/nlp/sempre/JavaExecutor.java | 391 +++++++ .../sempre/src/edu/stanford/nlp/sempre/JoinFn.java | 273 +++++ .../src/edu/stanford/nlp/sempre/JoinFormula.java | 76 ++ .../sempre/src/edu/stanford/nlp/sempre/Json.java | 215 ++++ .../edu/stanford/nlp/sempre/KnowledgeGraph.java | 81 ++ .../src/edu/stanford/nlp/sempre/LambdaFormula.java | 62 + .../edu/stanford/nlp/sempre/LanguageAnalyzer.java | 31 + .../src/edu/stanford/nlp/sempre/LanguageInfo.java | 449 +++++++ .../src/edu/stanford/nlp/sempre/Learner.java | 366 ++++++ .../nlp/sempre/LearnerParallelProcessor.java | 77 ++ .../src/edu/stanford/nlp/sempre/ListValue.java | 59 + .../sempre/src/edu/stanford/nlp/sempre/Main.java | 52 + .../src/edu/stanford/nlp/sempre/MarkFormula.java | 69 ++ .../sempre/src/edu/stanford/nlp/sempre/Master.java | 471 ++++++++ .../src/edu/stanford/nlp/sempre/MergeFn.java | 82 ++ .../src/edu/stanford/nlp/sempre/MergeFormula.java | 78 ++ .../src/edu/stanford/nlp/sempre/MixParser.java | 155 +++ .../nlp/sempre/MultipleDerivationStream.java | 48 + .../stanford/nlp/sempre/NaiveKnowledgeGraph.java | 199 ++++ .../src/edu/stanford/nlp/sempre/NameValue.java | 55 + .../src/edu/stanford/nlp/sempre/NotFormula.java | 58 + .../src/edu/stanford/nlp/sempre/NullExecutor.java | 12 + .../edu/stanford/nlp/sempre/NullTypeLookup.java | 17 + .../src/edu/stanford/nlp/sempre/NumberFn.java | 168 +++ .../src/edu/stanford/nlp/sempre/NumberValue.java | 54 + .../src/edu/stanford/nlp/sempre/PairListValue.java | 68 ++ .../sempre/src/edu/stanford/nlp/sempre/Params.java | 287 +++++ .../sempre/src/edu/stanford/nlp/sempre/Parser.java | 361 ++++++ .../src/edu/stanford/nlp/sempre/ParserAgenda.java | 120 ++ .../src/edu/stanford/nlp/sempre/ParserState.java | 364 ++++++ .../edu/stanford/nlp/sempre/PrimitiveFormula.java | 30 + .../stanford/nlp/sempre/ReinforcementParser.java | 973 +++++++++++++++ .../stanford/nlp/sempre/ReinforcementUtils.java | 151 +++ .../edu/stanford/nlp/sempre/ReverseFormula.java | 62 + .../sempre/src/edu/stanford/nlp/sempre/Rule.java | 173 +++ .../src/edu/stanford/nlp/sempre/RuleSource.java | 48 + .../src/edu/stanford/nlp/sempre/SelectFn.java | 66 ++ .../src/edu/stanford/nlp/sempre/SemType.java | 114 ++ .../edu/stanford/nlp/sempre/SemTypeHierarchy.java | 82 ++ .../src/edu/stanford/nlp/sempre/SemanticFn.java | 102 ++ .../src/edu/stanford/nlp/sempre/SempreUtils.java | 34 + .../sempre/src/edu/stanford/nlp/sempre/Server.java | 678 +++++++++++ .../src/edu/stanford/nlp/sempre/Session.java | 103 ++ .../edu/stanford/nlp/sempre/SimpleAnalyzer.java | 103 ++ .../src/edu/stanford/nlp/sempre/SimpleLexicon.java | 130 ++ .../edu/stanford/nlp/sempre/SimpleLexiconFn.java | 107 ++ .../nlp/sempre/SingleDerivationStream.java | 44 + .../src/edu/stanford/nlp/sempre/StringValue.java | 32 + .../stanford/nlp/sempre/SuperlativeFormula.java | 92 ++ .../src/edu/stanford/nlp/sempre/TableValue.java | 81 ++ .../nlp/sempre/TargetValuePreprocessor.java | 36 + .../src/edu/stanford/nlp/sempre/TimeValue.java | 51 + .../src/edu/stanford/nlp/sempre/TopSemType.java | 12 + .../sempre/src/edu/stanford/nlp/sempre/Trie.java | 39 + .../src/edu/stanford/nlp/sempre/TypeInference.java | 280 +++++ .../src/edu/stanford/nlp/sempre/TypeLookup.java | 17 + .../src/edu/stanford/nlp/sempre/UnionSemType.java | 64 + .../src/edu/stanford/nlp/sempre/UriValue.java | 33 + .../sempre/src/edu/stanford/nlp/sempre/Value.java | 44 + .../edu/stanford/nlp/sempre/ValueEvaluator.java | 10 + .../src/edu/stanford/nlp/sempre/ValueFormula.java | 33 + .../sempre/src/edu/stanford/nlp/sempre/Values.java | 43 + .../edu/stanford/nlp/sempre/VariableFormula.java | 24 + .../stanford/nlp/sempre/cache/FileStringCache.java | 174 +++ .../edu/stanford/nlp/sempre/cache/LruCallback.java | 10 + .../src/edu/stanford/nlp/sempre/cache/LruMap.java | 86 ++ .../nlp/sempre/cache/RemoteStringCache.java | 82 ++ .../edu/stanford/nlp/sempre/cache/StringCache.java | 12 + .../nlp/sempre/cache/StringCacheServer.java | 158 +++ .../nlp/sempre/cache/StringCacheUtils.java | 25 + .../nlp/sempre/cache/test/StringCacheTest.java | 112 ++ .../nlp/sempre/corenlp/CoreNLPAnalyzer.java | 163 +++ .../sempre/corenlp/test/CoreNLPSemanticFnTest.java | 92 ++ .../nlp/sempre/cprune/CPruneDerivInfo.java | 13 + .../nlp/sempre/cprune/CPruneFloatingParser.java | 119 ++ .../stanford/nlp/sempre/cprune/CPruneStats.java | 20 + .../nlp/sempre/cprune/CollaborativePruner.java | 187 +++ .../stanford/nlp/sempre/cprune/CustomGrammar.java | 268 +++++ .../stanford/nlp/sempre/cprune/FormulaPattern.java | 106 ++ .../src/edu/stanford/nlp/sempre/cprune/Symbol.java | 31 + .../nlp/sempre/freebase/BinaryLexicon.java | 282 +++++ .../edu/stanford/nlp/sempre/freebase/BridgeFn.java | 548 +++++++++ .../nlp/sempre/freebase/BuildCanonicalIdMap.java | 146 +++ .../nlp/sempre/freebase/BuildTypesMap.java | 64 + .../nlp/sempre/freebase/CanonicalizeExamples.java | 83 ++ .../nlp/sempre/freebase/CanonicalizeIds.java | 80 ++ .../nlp/sempre/freebase/EntityLexicon.java | 184 +++ .../nlp/sempre/freebase/ExecuteExamples.java | 84 ++ .../nlp/sempre/freebase/FbFormulasInfo.java | 499 ++++++++ .../nlp/sempre/freebase/FilterFreebase.java | 218 ++++ .../nlp/sempre/freebase/Free917Converter.java | 727 ++++++++++++ .../stanford/nlp/sempre/freebase/FreebaseInfo.java | 293 +++++ .../nlp/sempre/freebase/FreebaseSearch.java | 161 +++ .../nlp/sempre/freebase/FreebaseTypeLookup.java | 64 + .../sempre/freebase/FreebaseValueEvaluator.java | 92 ++ .../sempre/freebase/LambdaCalculusConverter.java | 552 +++++++++ .../edu/stanford/nlp/sempre/freebase/Lexicon.java | 94 ++ .../stanford/nlp/sempre/freebase/LexiconFn.java | 412 +++++++ .../nlp/sempre/freebase/SparqlExecutor.java | 955 +++++++++++++++ .../stanford/nlp/sempre/freebase/SparqlExpr.java | 253 ++++ .../edu/stanford/nlp/sempre/freebase/Stemmer.java | 15 + .../nlp/sempre/freebase/TextToTextMatcher.java | 137 +++ .../stanford/nlp/sempre/freebase/UnaryLexicon.java | 193 +++ .../edu/stanford/nlp/sempre/freebase/Utils.java | 122 ++ .../nlp/sempre/freebase/index/FbEntityIndexer.java | 86 ++ .../sempre/freebase/index/FbEntitySearcher.java | 107 ++ .../nlp/sempre/freebase/index/FbIndexField.java | 20 + .../nlp/sempre/freebase/lexicons/EntrySource.java | 47 + .../freebase/lexicons/ExtremeValueWrapper.java | 38 + .../nlp/sempre/freebase/lexicons/LexicalEntry.java | 408 +++++++ .../freebase/lexicons/TokenLevelMatchFeatures.java | 238 ++++ .../lexicons/normalizers/BinaryNormalizer.java | 105 ++ .../lexicons/normalizers/EntryNormalizer.java | 5 + .../lexicons/normalizers/IdentityNormalizer.java | 10 + .../lexicons/normalizers/PrepDropNormalizer.java | 36 + .../nlp/sempre/freebase/test/FbFormulasTest.java | 46 + .../nlp/sempre/freebase/test/FreebaseInfoTest.java | 24 + .../sempre/freebase/test/FreebaseSemTypeTest.java | 67 ++ .../freebase/test/FreebaseTypeInferenceTest.java | 92 ++ .../nlp/sempre/freebase/test/LexiconTest.java | 85 ++ .../freebase/test/PrepDropNormalizerTest.java | 23 + .../sempre/freebase/test/SparqlExecutorTest.java | 173 +++ .../nlp/sempre/freebase/test/StemmerTest.java | 15 + .../nlp/sempre/freebase/test/TokenMatchTest.java | 21 + .../nlp/sempre/freebase/utils/CollectionUtils.java | 25 + .../nlp/sempre/freebase/utils/DoubleContainer.java | 34 + .../nlp/sempre/freebase/utils/FileUtils.java | 261 +++++ .../nlp/sempre/freebase/utils/FormatConverter.java | 82 ++ .../nlp/sempre/freebase/utils/FreebaseUtils.java | 180 +++ .../freebase/utils/LinkedExtractionFileUtils.java | 110 ++ .../nlp/sempre/freebase/utils/MathUtils.java | 202 ++++ .../sempre/freebase/utils/SemparseLogTools.java | 261 +++++ .../nlp/sempre/freebase/utils/ShortContainer.java | 28 + .../nlp/sempre/freebase/utils/WnExpander.java | 147 +++ .../nlp/sempre/freebase/utils/WordNet.java | 982 ++++++++++++++++ .../nlp/sempre/geo880/Geo880TypeLookup.java | 110 ++ .../nlp/sempre/geo880/Geo880ValueEvaluator.java | 85 ++ .../stanford/nlp/sempre/interactive/ApplyFn.java | 66 ++ .../interactive/BadInteractionException.java | 48 + .../stanford/nlp/sempre/interactive/BlockFn.java | 106 ++ .../nlp/sempre/interactive/CitationTracker.java | 166 +++ .../nlp/sempre/interactive/DALAnalyzer.java | 136 +++ .../nlp/sempre/interactive/Definition.java | 11 + .../nlp/sempre/interactive/DefinitionAligner.java | 234 ++++ .../nlp/sempre/interactive/GrammarInducer.java | 465 ++++++++ .../sempre/interactive/InteractiveBeamParser.java | 577 +++++++++ .../nlp/sempre/interactive/InteractiveMaster.java | 365 ++++++ .../nlp/sempre/interactive/InteractiveServer.java | 357 ++++++ .../nlp/sempre/interactive/InteractiveUtils.java | 199 ++++ .../edu/stanford/nlp/sempre/interactive/Item.java | 16 + .../nlp/sempre/interactive/QueryStats.java | 41 + .../nlp/sempre/interactive/SimulationAnalyzer.java | 90 ++ .../stanford/nlp/sempre/interactive/Simulator.java | 238 ++++ .../edu/stanford/nlp/sempre/interactive/World.java | 81 ++ .../nlp/sempre/interactive/lassie/ChoiceFn.java | 85 ++ .../nlp/sempre/interactive/lassie/Component.java | 35 + .../nlp/sempre/interactive/lassie/HOLOntology.java | 185 +++ .../nlp/sempre/interactive/lassie/LassieUtils.java | 66 ++ .../nlp/sempre/interactive/lassie/TacticWorld.java | 140 +++ .../edu/stanford/nlp/sempre/overnight/Aligner.java | 146 +++ .../ConvertTargetValueFromListToString.java | 59 + .../CreateBerkeleyAlignerInputFromLispTree.java | 53 + .../nlp/sempre/overnight/GenerationMain.java | 50 + .../OvernightDerivationPruningComputer.java | 52 + .../sempre/overnight/OvernightFeatureComputer.java | 609 ++++++++++ .../stanford/nlp/sempre/overnight/PPDBModel.java | 90 ++ .../stanford/nlp/sempre/overnight/SimpleWorld.java | 829 +++++++++++++ .../nlp/sempre/overnight/test/SimpleWorldTest.java | 30 + .../nlp/sempre/tables/DenotationTypeInference.java | 169 +++ .../nlp/sempre/tables/InfiniteListValue.java | 68 ++ .../stanford/nlp/sempre/tables/ScopedFormula.java | 72 ++ .../stanford/nlp/sempre/tables/ScopedValue.java | 41 + .../sempre/tables/StringNormalizationUtils.java | 446 +++++++ .../edu/stanford/nlp/sempre/tables/TableCell.java | 32 + .../nlp/sempre/tables/TableCellProperties.java | 46 + .../stanford/nlp/sempre/tables/TableColumn.java | 79 ++ .../tables/TableDerivationPruningComputer.java | 195 +++ .../nlp/sempre/tables/TableFormulaEvaluator.java | 176 +++ .../nlp/sempre/tables/TableKnowledgeGraph.java | 707 +++++++++++ .../edu/stanford/nlp/sempre/tables/TableRow.java | 32 + .../nlp/sempre/tables/TableTypeLookup.java | 49 + .../nlp/sempre/tables/TableTypeSystem.java | 188 +++ .../nlp/sempre/tables/TableValueEvaluator.java | 139 +++ .../nlp/sempre/tables/TableValuePreprocessor.java | 151 +++ .../sempre/tables/alter/AggregatedTurkData.java | 99 ++ .../sempre/tables/alter/AlteredTablesExecutor.java | 221 ++++ .../nlp/sempre/tables/alter/BatchTableAlterer.java | 528 +++++++++ .../sempre/tables/alter/CachedSubsetChooser.java | 47 + .../nlp/sempre/tables/alter/DenotationData.java | 215 ++++ .../sempre/tables/alter/EntropySubsetChooser.java | 241 ++++ .../nlp/sempre/tables/alter/PureSubsetChooser.java | 52 + .../stanford/nlp/sempre/tables/alter/Subset.java | 132 +++ .../nlp/sempre/tables/alter/SubsetChooser.java | 10 + .../nlp/sempre/tables/alter/TableAlterer.java | 180 +++ .../nlp/sempre/tables/alter/TableAltererCache.java | 104 ++ .../tables/alter/TurkEquivalentClassInfo.java | 124 ++ .../sempre/tables/alter/ValueCanonicalizer.java | 35 + .../baseline/TableBaselineFeatureComputer.java | 111 ++ .../tables/baseline/TableBaselineParser.java | 75 ++ .../nlp/sempre/tables/dpd/DPDErrorValue.java | 70 ++ .../stanford/nlp/sempre/tables/dpd/DPDParser.java | 1146 ++++++++++++++++++ .../tables/features/AnchorFeatureComputer.java | 67 ++ .../sempre/tables/features/ColumnCategoryInfo.java | 84 ++ .../nlp/sempre/tables/features/HeadwordInfo.java | 94 ++ .../features/PhraseDenotationFeatureComputer.java | 166 +++ .../nlp/sempre/tables/features/PhraseInfo.java | 121 ++ .../features/PhrasePredicateFeatureComputer.java | 217 ++++ .../nlp/sempre/tables/features/PredicateInfo.java | 227 ++++ .../stanford/nlp/sempre/tables/grow/ApplyFn.java | 185 +++ .../nlp/sempre/tables/grow/BeginGrowFn.java | 37 + .../stanford/nlp/sempre/tables/grow/EndGrowFn.java | 49 + .../sempre/tables/lambdadcs/BinaryDenotation.java | 65 + .../sempre/tables/lambdadcs/BinaryTypeHint.java | 56 + .../nlp/sempre/tables/lambdadcs/Binarylike.java | 40 + .../sempre/tables/lambdadcs/DenotationUtils.java | 471 ++++++++ .../nlp/sempre/tables/lambdadcs/ExecutorCache.java | 70 ++ .../sempre/tables/lambdadcs/ExplicitPairList.java | 203 ++++ .../tables/lambdadcs/ExplicitUnaryDenotation.java | 116 ++ .../tables/lambdadcs/InfiniteUnaryDenotation.java | 435 +++++++ .../tables/lambdadcs/LambdaDCSException.java | 87 ++ .../sempre/tables/lambdadcs/LambdaDCSExecutor.java | 453 +++++++ .../tables/lambdadcs/LambdaDCSExecutorTest.java | 273 +++++ .../sempre/tables/lambdadcs/MappingDenotation.java | 60 + .../nlp/sempre/tables/lambdadcs/PairList.java | 37 + .../sempre/tables/lambdadcs/PredicatePairList.java | 256 ++++ .../nlp/sempre/tables/lambdadcs/TypeHint.java | 140 +++ .../sempre/tables/lambdadcs/UnaryDenotation.java | 84 ++ .../nlp/sempre/tables/lambdadcs/Unarylike.java | 47 + .../sempre/tables/lambdadcs/UnarylikeTypeHint.java | 71 ++ .../nlp/sempre/tables/match/ClosedClassFn.java | 141 +++ .../tables/match/EditDistanceFuzzyMatcher.java | 412 +++++++ .../nlp/sempre/tables/match/FuzzyMatchCache.java | 44 + .../nlp/sempre/tables/match/FuzzyMatcher.java | 148 +++ .../nlp/sempre/tables/match/OriginalMatcher.java | 131 +++ .../nlp/sempre/tables/serialize/DumpFilterer.java | 90 ++ .../tables/serialize/LazyLoadedExampleList.java | 320 +++++ .../sempre/tables/serialize/SerializedDataset.java | 128 ++ .../sempre/tables/serialize/SerializedDumper.java | 284 +++++ .../sempre/tables/serialize/SerializedLoader.java | 27 + .../sempre/tables/serialize/SerializedParser.java | 130 ++ .../nlp/sempre/tables/serialize/TSVGenerator.java | 71 ++ .../nlp/sempre/tables/serialize/TableReader.java | 108 ++ .../nlp/sempre/tables/serialize/TableWriter.java | 172 +++ .../tables/serialize/TaggedDatasetGenerator.java | 122 ++ .../tables/serialize/TaggedFuzzyGenerator.java | 109 ++ .../tables/serialize/TaggedTableGenerator.java | 148 +++ .../nlp/sempre/tables/test/BatchTableExecutor.java | 136 +++ .../nlp/sempre/tables/test/CustomExample.java | 259 ++++ .../nlp/sempre/tables/test/DPDParserChecker.java | 25 + .../tables/test/DPDParserCheckerProcessor.java | 152 +++ .../sempre/tables/test/TableColumnAnalyzer.java | 237 ++++ .../tables/test/TableFormulaCanonicalizer.java | 151 +++ .../nlp/sempre/tables/test/TableStatsComputer.java | 154 +++ .../nlp/sempre/test/DerivationStreamTest.java | 32 + .../edu/stanford/nlp/sempre/test/FormulaTest.java | 29 + .../edu/stanford/nlp/sempre/test/GrammarTest.java | 53 + .../nlp/sempre/test/GrammarValidityTest.java | 57 + .../stanford/nlp/sempre/test/JavaExecutorTest.java | 43 + .../src/edu/stanford/nlp/sempre/test/JsonTest.java | 73 ++ .../nlp/sempre/test/L1RegularizationTest.java | 183 +++ .../edu/stanford/nlp/sempre/test/ParserTest.java | 172 +++ .../edu/stanford/nlp/sempre/test/SemTypeTest.java | 66 ++ .../stanford/nlp/sempre/test/SemanticFnTest.java | 125 ++ .../stanford/nlp/sempre/test/SystemSanityTest.java | 65 + .../edu/stanford/nlp/sempre/test/TestUtils.java | 91 ++ .../nlp/sempre/test/TypeInferenceTest.java | 117 ++ examples/lassie/sempre/testng.xml | 17 + examples/lassie/sempre/unittest-files/README | 1 + .../binaryInfoStringAndAlignment.txt | 5 + .../unittest-files/unaryInfoStringAndAlignment.txt | 4 + examples/lassie/src/AssocMap.sml | 25 + examples/lassie/src/Holmakefile | 21 + examples/lassie/src/LassieLib.sml | 401 +++++++ examples/lassie/src/LassieParserLib.sml | 303 +++++ examples/lassie/src/LassieTacticsLib.sml | 98 ++ examples/lassie/src/LassieTestScript.sml | 38 + examples/lassie/src/LassieUtilsLib.sml | 234 ++++ examples/lassie/src/TacticMap.sml | 89 ++ tools-poly/configure.sml | 2 +- tools/configure.sml | 2 +- 421 files changed, 58339 insertions(+), 338 deletions(-) rename Manual/Developers/{Makefile => Holmakefile} (60%) create mode 100644 Manual/Interaction-emacs/.gitignore create mode 100644 Manual/Interaction-emacs/Holmakefile rename Manual/{Interaction/HOL-interaction.stex => Interaction-emacs/interaction-emacs.stex} (99%) delete mode 100644 Manual/Interaction/.gitignore delete mode 100644 Manual/Interaction/Holmakefile create mode 100644 Manual/Logic/Holmakefile delete mode 100644 Manual/Logic/Makefile create mode 100644 Manual/Quick/Holmakefile delete mode 100644 Manual/Quick/Makefile create mode 100644 Manual/Reference/.gitignore rename Manual/Reference/{Makefile => Holmakefile} (77%) rename doc/{next-release.md => kananaskis-14.release.md} (100%) create mode 100644 examples/PSL/1.1/executable-semantics/README create mode 100644 examples/elliptic/.gitignore rename examples/{ => lambda}/fsub/Holmakefile (100%) rename examples/{ => lambda}/fsub/README (100%) rename examples/{ => lambda}/fsub/fsubtypesScript.sml (100%) rename examples/{ => lambda}/fsub/full_subtypingScript.sml (100%) rename examples/{ => lambda}/fsub/kernel_subtypingScript.sml (100%) create mode 100644 examples/lassie/examples/Holmakefile create mode 100644 examples/lassie/examples/arithTacticsLib.sml create mode 100644 examples/lassie/examples/caseStudy1EuclidScript.sml create mode 100644 examples/lassie/examples/caseStudy2RealNumsScript.sml create mode 100644 examples/lassie/examples/caseStudy3IntervalLibScript.sml create mode 100644 examples/lassie/examples/caseStudy4NaprochePowersetScript.sml create mode 100644 examples/lassie/examples/gaussScript.sml create mode 100644 examples/lassie/examples/logicTacticsLib.sml create mode 100644 examples/lassie/examples/realTacticsLib.sml create mode 100644 examples/lassie/examples/tacticsCaseStudyLib.sml create mode 100644 examples/lassie/examples/tutorialScript.sml create mode 100644 examples/lassie/sempre/.gitignore create mode 100644 examples/lassie/sempre/DOCUMENTATION.md create mode 100644 examples/lassie/sempre/LICENSE.txt create mode 100644 examples/lassie/sempre/README.md create mode 100644 examples/lassie/sempre/TUTORIAL.md create mode 100644 examples/lassie/sempre/build.xml create mode 100644 examples/lassie/sempre/interactive/README.md create mode 100644 examples/lassie/sempre/interactive/lassie.db create mode 100644 examples/lassie/sempre/interactive/lassie.grammar create mode 100644 examples/lassie/sempre/interactive/lassie.grammar_old create mode 100644 examples/lassie/sempre/interactive/lassie.grammar_v2.0 create mode 100644 examples/lassie/sempre/interactive/lassie.grammar_v2.1 create mode 100644 examples/lassie/sempre/interactive/lassie.synonyms create mode 100755 examples/lassie/sempre/interactive/run create mode 100755 examples/lassie/sempre/pull-dependencies create mode 100755 examples/lassie/sempre/run create mode 100755 examples/lassie/sempre/scripts/agenda-stats create mode 100755 examples/lassie/sempre/scripts/checkstyle.sh create mode 100644 examples/lassie/sempre/scripts/checkstyle.xml create mode 100755 examples/lassie/sempre/scripts/create-geo-simple-lexicon.py create mode 100755 examples/lassie/sempre/scripts/evaluation.py create mode 100755 examples/lassie/sempre/scripts/extract-module-classes.rb create mode 100755 examples/lassie/sempre/scripts/filterGeneratedNegations.py create mode 100755 examples/lassie/sempre/scripts/find-first-pred-diff.sh create mode 100755 examples/lassie/sempre/scripts/find-hard-coded-paths.rb create mode 100755 examples/lassie/sempre/scripts/fix-checkstyle.rb create mode 100755 examples/lassie/sempre/scripts/generate-prediction-file.sh create mode 100755 examples/lassie/sempre/scripts/tunnel create mode 100755 examples/lassie/sempre/scripts/verify-code-loop.rb create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/AbstractReinforcementParserState.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/ActionFormula.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/AggregateFormula.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/ArithmeticFormula.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/AtomicSemType.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/BadFormulaException.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/BeamParser.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/BooleanValue.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/BoundedPriorityQueue.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Builder.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/CallFormula.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/CallTypeInfo.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/CanonicalNames.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/CatSizeBound.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/ChartParserState.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/ChildDerivationsGroup.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/CoarseParser.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Colorizer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/ConcatFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/ConstantFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/ContextFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/ContextValue.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Dataset.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/DateFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/DateRangeFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/DateValue.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/DefaultDerivationPruningComputer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/DerivOpCountFeatureComputer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Derivation.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/DerivationPruner.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/DerivationPruningComputer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/DerivationStream.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/DescriptionValue.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/ErrorValue.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/ExactValueEvaluator.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Example.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/ExampleUtils.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Executor.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/FeatureComputer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/FeatureExtractor.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/FeatureMatcher.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/FeatureVector.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/FilterNerSpanFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/FilterPosTagFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/FilterSpanLengthFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/FilterTokenFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/FloatingFeatureComputer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/FloatingParser.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/FloatingRuleUtils.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Formula.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/FormulaMatchExecutor.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Formulas.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/FuncSemType.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/FuzzyMatchFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/FuzzyMatchable.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Grammar.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/HasScore.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/IdentityFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/JavaExecutor.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/JoinFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/JoinFormula.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Json.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/KnowledgeGraph.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/LambdaFormula.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/LanguageAnalyzer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/LanguageInfo.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Learner.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/LearnerParallelProcessor.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/ListValue.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Main.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/MarkFormula.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Master.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/MergeFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/MergeFormula.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/MixParser.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/MultipleDerivationStream.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/NaiveKnowledgeGraph.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/NameValue.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/NotFormula.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/NullExecutor.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/NullTypeLookup.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/NumberFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/NumberValue.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/PairListValue.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Params.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Parser.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/ParserAgenda.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/ParserState.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/PrimitiveFormula.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/ReinforcementParser.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/ReinforcementUtils.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/ReverseFormula.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Rule.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/RuleSource.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/SelectFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/SemType.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/SemTypeHierarchy.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/SemanticFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/SempreUtils.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Server.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Session.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/SimpleAnalyzer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/SimpleLexicon.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/SimpleLexiconFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/SingleDerivationStream.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/StringValue.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/SuperlativeFormula.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/TableValue.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/TargetValuePreprocessor.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/TimeValue.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/TopSemType.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Trie.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/TypeInference.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/TypeLookup.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/UnionSemType.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/UriValue.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Value.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/ValueEvaluator.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/ValueFormula.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/Values.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/VariableFormula.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/cache/FileStringCache.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/cache/LruCallback.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/cache/LruMap.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/cache/RemoteStringCache.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/cache/StringCache.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/cache/StringCacheServer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/cache/StringCacheUtils.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/cache/test/StringCacheTest.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/corenlp/CoreNLPAnalyzer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/corenlp/test/CoreNLPSemanticFnTest.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/cprune/CPruneDerivInfo.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/cprune/CPruneFloatingParser.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/cprune/CPruneStats.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/cprune/CollaborativePruner.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/cprune/CustomGrammar.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/cprune/FormulaPattern.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/cprune/Symbol.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/BinaryLexicon.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/BridgeFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/BuildCanonicalIdMap.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/BuildTypesMap.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/CanonicalizeExamples.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/CanonicalizeIds.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/EntityLexicon.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/ExecuteExamples.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/FbFormulasInfo.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/FilterFreebase.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/Free917Converter.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/FreebaseInfo.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/FreebaseSearch.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/FreebaseTypeLookup.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/FreebaseValueEvaluator.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/LambdaCalculusConverter.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/Lexicon.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/LexiconFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/SparqlExecutor.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/SparqlExpr.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/Stemmer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/TextToTextMatcher.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/UnaryLexicon.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/Utils.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/index/FbEntityIndexer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/index/FbEntitySearcher.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/index/FbIndexField.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/lexicons/EntrySource.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/lexicons/ExtremeValueWrapper.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/lexicons/LexicalEntry.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/lexicons/TokenLevelMatchFeatures.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/lexicons/normalizers/BinaryNormalizer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/lexicons/normalizers/EntryNormalizer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/lexicons/normalizers/IdentityNormalizer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/lexicons/normalizers/PrepDropNormalizer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/test/FbFormulasTest.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/test/FreebaseInfoTest.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/test/FreebaseSemTypeTest.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/test/FreebaseTypeInferenceTest.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/test/LexiconTest.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/test/PrepDropNormalizerTest.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/test/SparqlExecutorTest.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/test/StemmerTest.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/test/TokenMatchTest.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/utils/CollectionUtils.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/utils/DoubleContainer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/utils/FileUtils.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/utils/FormatConverter.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/utils/FreebaseUtils.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/utils/LinkedExtractionFileUtils.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/utils/MathUtils.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/utils/SemparseLogTools.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/utils/ShortContainer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/utils/WnExpander.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/freebase/utils/WordNet.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/geo880/Geo880TypeLookup.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/geo880/Geo880ValueEvaluator.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/ApplyFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/BadInteractionException.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/BlockFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/CitationTracker.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/DALAnalyzer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/Definition.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/DefinitionAligner.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/GrammarInducer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/InteractiveBeamParser.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/InteractiveMaster.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/InteractiveServer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/InteractiveUtils.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/Item.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/QueryStats.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/SimulationAnalyzer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/Simulator.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/World.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/lassie/ChoiceFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/lassie/Component.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/lassie/HOLOntology.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/lassie/LassieUtils.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/interactive/lassie/TacticWorld.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/overnight/Aligner.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/overnight/ConvertTargetValueFromListToString.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/overnight/CreateBerkeleyAlignerInputFromLispTree.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/overnight/GenerationMain.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/overnight/OvernightDerivationPruningComputer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/overnight/OvernightFeatureComputer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/overnight/PPDBModel.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/overnight/SimpleWorld.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/overnight/test/SimpleWorldTest.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/DenotationTypeInference.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/InfiniteListValue.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/ScopedFormula.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/ScopedValue.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/StringNormalizationUtils.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/TableCell.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/TableCellProperties.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/TableColumn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/TableDerivationPruningComputer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/TableFormulaEvaluator.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/TableKnowledgeGraph.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/TableRow.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/TableTypeLookup.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/TableTypeSystem.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/TableValueEvaluator.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/TableValuePreprocessor.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/alter/AggregatedTurkData.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/alter/AlteredTablesExecutor.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/alter/BatchTableAlterer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/alter/CachedSubsetChooser.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/alter/DenotationData.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/alter/EntropySubsetChooser.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/alter/PureSubsetChooser.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/alter/Subset.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/alter/SubsetChooser.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/alter/TableAlterer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/alter/TableAltererCache.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/alter/TurkEquivalentClassInfo.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/alter/ValueCanonicalizer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/baseline/TableBaselineFeatureComputer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/baseline/TableBaselineParser.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/dpd/DPDErrorValue.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/dpd/DPDParser.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/features/AnchorFeatureComputer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/features/ColumnCategoryInfo.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/features/HeadwordInfo.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/features/PhraseDenotationFeatureComputer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/features/PhraseInfo.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/features/PhrasePredicateFeatureComputer.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/features/PredicateInfo.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/grow/ApplyFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/grow/BeginGrowFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/grow/EndGrowFn.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/lambdadcs/BinaryDenotation.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/lambdadcs/BinaryTypeHint.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/lambdadcs/Binarylike.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/lambdadcs/DenotationUtils.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/lambdadcs/ExecutorCache.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/lambdadcs/ExplicitPairList.java create mode 100644 examples/lassie/sempre/src/edu/stanford/nlp/sempre/tables/lambdadcs/ExplicitUnaryDenotation.java create mode 1006... [truncated message content] |