{
  "Name": "smoke_arithmetic",
  "Title": "Smoke Arithmetic",
  "SourceFile": "examples/n3/smoke_arithmetic.n3",
  "SourceSHA256": "023304e0a3925e02822b9728ed5a19e4e6ff983a701ed0ac2b31e2561cb5347c",
  "Description": "Small Notation3 source used to prove that see.js generates a specialized JS\nexample which derives its answer from facts, math built-ins, fuses, and string\nformatting instead of reading a prewritten conclusion.",
  "Compiler": "see.js N3-to-JS compiler",
  "CompiledFacts": 2,
  "CompiledRules": 2,
  "CompiledBackwardRules": 0,
  "CompiledFuses": 0,
  "CompiledQueries": 0,
  "Builtins": [
    "log:outputString",
    "math:greaterThan",
    "math:product",
    "string:format"
  ]
}