eyeling 1.23.4 → 1.24.0

package/see/examples/n3/rc_discharge_envelope.n3

@@ -0,0 +1,61 @@
+# =====================
+# RC Discharge Envelope
+# =====================
+# Certify when a sampled RC capacitor is guaranteed below tolerance using an
+# upper decay bound. The witness is derived by N3 rules and compiled to SEE.
+
+@prefix : <https://eyereasoner.github.io/see/examples/rc-discharge-envelope#>.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix string: <http://www.w3.org/2000/10/swap/string#>.
+
+:case
+  :samplePeriod 0.025;
+  :exactDecaySymbol "exp(-1/4)";
+  :decayLower 0.778800783;
+  :decayUpper 0.7788007831;
+  :initialVoltage 24.0;
+  :tolerance 1.0;
+  :maxStep 18;
+  :candidateStep :step12, :step13.
+
+:step12 :index 12.
+:step13 :index 13; :previousStep :step12.
+
+{
+  :case :initialVoltage ?Initial; :decayUpper ?DecayUpper; :candidateStep ?Step.
+  ?Step :index ?Index.
+  (?DecayUpper ?Index) math:exponentiation ?Factor.
+  (?Initial ?Factor) math:product ?Voltage.
+} => { ?Step :upperVoltage ?Voltage. }.
+
+{
+  :case :tolerance ?Tolerance.
+  ?Step :upperVoltage ?Voltage.
+  ?Voltage math:lessThan ?Tolerance.
+} => { ?Step :belowTolerance true. }.
+
+{
+  :case :tolerance ?Tolerance.
+  ?Step :upperVoltage ?Voltage.
+  ?Voltage math:notLessThan ?Tolerance.
+} => { ?Step :notBelowTolerance true. }.
+
+{
+  :case :maxStep ?MaxStep.
+  ?Step :index ?Index; :previousStep ?Previous; :belowTolerance true.
+  ?Previous :notBelowTolerance true.
+  ?Index math:notGreaterThan ?MaxStep.
+} => { :case :firstBelowToleranceStep ?Step. }.
+
+{
+  :case :samplePeriod ?Period; :firstBelowToleranceStep ?Step.
+  ?Step :index ?Index.
+  (?Index ?Period) math:product ?Time.
+} => { ?Step :timeSeconds ?Time. }.
+
+{
+  :case :exactDecaySymbol ?Symbol; :decayLower ?Lower; :decayUpper ?Upper; :firstBelowToleranceStep ?Step.
+  ?Step :index ?Index; :timeSeconds ?Time; :upperVoltage ?Voltage.
+  ("=== Answer ===\nexact decay symbol : %s\ncertified decay interval : [%.10f, %.10f]\nfirst below tolerance step : %d\nfirst below tolerance time : %.3f s\nupper voltage at step %d : %.6f V\n\n=== Explanation ===\nThe physical decay factor is exp(-1/4), but the example uses a finite double interval as the certificate. Because the interval lies strictly between 0 and 1, the capacitor voltage envelope contracts each sample. The upper envelope is the safety-relevant bound: once it falls below 1.0 V, every compatible exact trajectory is below tolerance." ?Symbol ?Lower ?Upper ?Index ?Time ?Index ?Voltage) string:format ?Block.
+} => { :report log:outputString ?Block. }.

package/see/examples/n3/rdf_message_flow.n3

@@ -0,0 +1,209 @@
+# ================
+# RDF Message Flow
+# ================
+# A companion to rdf_messages.n3. This example focuses on a live stream where
+# RDF Messages continuously flow through a small processing pipeline. The next
+# message is released only after the current message reaches the sink, so the
+# stream behaves as an ordered, replayable flow rather than a single merged RDF
+# graph.
+
+@prefix : <https://eyereasoner.github.io/see/examples/rdf-message-flow#>.
+@prefix msg: <https://example.org/msg#>.
+@prefix prov: <http://www.w3.org/ns/prov#>.
+@prefix sosa: <http://www.w3.org/ns/sosa/>.
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix list: <http://www.w3.org/2000/10/swap/list#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix string: <http://www.w3.org/2000/10/swap/string#>.
+
+:temperatureFlow
+  a msg:MessageStream;
+  msg:orderedMessages (:m001 :m002 :m003 :m004 :m005);
+  msg:message :m001, :m002, :m003, :m004, :m005;
+  :pipeline (:ingest :validate :interpret :route :sink);
+  :highThreshold 26.
+
+# The stream starts with just the first message at ingress. Later messages are
+# not pre-loaded; each one is released by the previous message after sink.
+:m001 :atStage :ingest.
+
+:m001
+  a msg:RDFMessage;
+  msg:offset 1;
+  msg:nextMessage :m002;
+  prov:generatedAtTime "2026-05-12T18:20:00Z"^^xsd:dateTime;
+  msg:payloadKind :observation;
+  msg:expectedResult 21;
+  msg:payload {
+    _:m001b0
+      a sosa:Observation;
+      sosa:madeBySensor :thermometerA;
+      sosa:resultTime "2026-05-12T18:20:00Z"^^xsd:dateTime;
+      sosa:hasSimpleResult 21.
+  }.
+
+:m002
+  a msg:RDFMessage;
+  msg:offset 2;
+  msg:nextMessage :m003;
+  prov:generatedAtTime "2026-05-12T18:21:00Z"^^xsd:dateTime;
+  msg:payloadKind :observation;
+  msg:expectedResult 22;
+  msg:payload {
+    _:m002b0
+      a sosa:Observation;
+      sosa:madeBySensor :thermometerA;
+      sosa:resultTime "2026-05-12T18:21:00Z"^^xsd:dateTime;
+      sosa:hasSimpleResult 22.
+  }.
+
+# Empty heartbeat: it flows through the same pipeline and keeps the stream live.
+:m003
+  a msg:RDFMessage;
+  msg:offset 3;
+  msg:nextMessage :m004;
+  prov:generatedAtTime "2026-05-12T18:22:00Z"^^xsd:dateTime;
+  msg:payloadKind :heartbeat.
+
+:m004
+  a msg:RDFMessage;
+  msg:offset 4;
+  msg:nextMessage :m005;
+  prov:generatedAtTime "2026-05-12T18:23:00Z"^^xsd:dateTime;
+  msg:payloadKind :observation;
+  msg:expectedResult 28;
+  msg:payload {
+    _:m004b0
+      a sosa:Observation;
+      sosa:madeBySensor :thermometerA;
+      sosa:resultTime "2026-05-12T18:23:00Z"^^xsd:dateTime;
+      sosa:hasSimpleResult 28.
+  }.
+
+:m005
+  a msg:RDFMessage;
+  msg:offset 5;
+  prov:generatedAtTime "2026-05-12T18:24:00Z"^^xsd:dateTime;
+  msg:payloadKind :observation;
+  msg:expectedResult 29;
+  msg:payload {
+    _:m005b0
+      a sosa:Observation;
+      sosa:madeBySensor :thermometerA;
+      sosa:resultTime "2026-05-12T18:24:00Z"^^xsd:dateTime;
+      sosa:hasSimpleResult 29.
+  }.
+
+# Stage 1: once a message has entered the stream, validate its envelope.
+{ ?Message :atStage :ingest. } => {
+  ?Message :atStage :validate.
+}.
+
+# Stage 2: validation preserves the message boundary before interpretation.
+{
+  ?Message :atStage :validate;
+    a msg:RDFMessage;
+    msg:offset ?Offset.
+} => {
+  ?Message msg:boundaryExplicit true.
+  ?Message :atStage :interpret.
+}.
+
+# Stage 3a: observation payloads are inspected inside their message formula.
+{
+  ?Message :atStage :interpret;
+    msg:payloadKind :observation;
+    msg:expectedResult ?Result;
+    msg:payload ?Payload.
+  ?Payload log:includes { ?Observation sosa:hasSimpleResult ?Result. }.
+} => {
+  ?Message msg:payloadResult ?Result.
+  ?Message :atStage :route.
+}.
+
+# Stage 3b: empty heartbeats have no payload, but still move through the flow.
+{
+  ?Message :atStage :interpret;
+    msg:payloadKind :heartbeat.
+} => {
+  ?Message msg:emptyMessageAllowed true.
+  ?Message :atStage :route.
+}.
+
+# Stage 4a: hot observations are routed to the alert sink.
+{
+  ?Message :atStage :route;
+    msg:payloadResult ?Result.
+  :temperatureFlow :highThreshold ?Threshold.
+  ?Result math:greaterThan ?Threshold.
+} => {
+  ?Message :route :alertSink.
+  ?Message :atStage :sink.
+  :alertSink :received ?Message.
+}.
+
+# Stage 4b: normal observations are routed to the archive sink.
+{
+  ?Message :atStage :route;
+    msg:payloadResult ?Result.
+  :temperatureFlow :highThreshold ?Threshold.
+  ?Result math:notGreaterThan ?Threshold.
+} => {
+  ?Message :route :archiveSink.
+  ?Message :atStage :sink.
+  :archiveSink :received ?Message.
+}.
+
+# Stage 4c: heartbeats are routed separately from observations.
+{
+  ?Message :atStage :route;
+    msg:emptyMessageAllowed true.
+} => {
+  ?Message :route :heartbeatSink.
+  ?Message :atStage :sink.
+  :heartbeatSink :received ?Message.
+}.
+
+# Continuous-flow rule: reaching the sink releases the next message into ingress.
+{
+  ?Message :atStage :sink;
+    msg:nextMessage ?Next.
+  ?Next a msg:RDFMessage.
+} => {
+  ?Message :releases ?Next.
+  ?Next :atStage :ingest.
+}.
+
+# The SEE verdict is emitted only after all five messages have flowed through
+# ingest, validation, interpretation, routing, and sink.
+{
+  :temperatureFlow msg:orderedMessages ?Messages;
+    :highThreshold ?Threshold.
+  ?Messages list:length ?Count.
+  :m001 :atStage :sink;
+    msg:payloadResult ?FirstResult;
+    :route :archiveSink;
+    :releases :m002.
+  :m002 :atStage :sink;
+    msg:payloadResult ?SecondResult;
+    :route :archiveSink;
+    :releases :m003.
+  :m003 :atStage :sink;
+    msg:emptyMessageAllowed true;
+    :route :heartbeatSink;
+    :releases :m004.
+  :m004 :atStage :sink;
+    msg:payloadResult ?FourthResult;
+    :route :alertSink;
+    :releases :m005.
+  :m005 :atStage :sink;
+    msg:payloadResult ?FifthResult;
+    :route :alertSink.
+  ("=== Answer ===\nContinuous RDF Message flow accepted: %d ordered messages moved through the ingest → validate → interpret → route → sink pipeline. The threshold was %d, so results %s and %s were archived, the heartbeat kept the stream alive, and results %s and %s were emitted as alerts.\n\n=== Explanation ===\nThe N3 source starts only :m001 at ingress. Each message must reach :sink before the continuous-flow rule releases its msg:nextMessage. Observation payloads are inspected with log:includes inside each message formula, while the empty heartbeat uses the same envelope and routing stages without a payload. This models messages flowing through a live stream while preserving message boundaries." ?Count ?Threshold ?FirstResult ?SecondResult ?FourthResult ?FifthResult) string:format ?Block.
+} => {
+  :rdfMessageFlowExample log:outputString ?Block.
+  :rdfMessageFlowExample :demonstrates :ContinuousFlow, :BackPressureRelease, :AtomicMessageContext, :HeartbeatInFlow, :ThresholdRouting.
+}.
+
+{ :rdfMessageFlowExample :demonstrates ?Feature } log:query { :rdfMessageFlowExample :demonstrates ?Feature }.

package/see/examples/n3/rdf_messages.n3

@@ -0,0 +1,143 @@
+# ============
+# RDF Messages
+# ============
+# This SEE example models the main idea from
+# https://pietercolpaert.be/papers/eswc2026-rdf-messages/:
+# a message stream/log is not just one freely mergeable RDF graph. It is an
+# ordered sequence of RDF Datasets that are interpreted atomically, one message
+# at a time. The middle message is deliberately empty to model a heartbeat, and
+# the local blank-node label "_:b0" is deliberately reused by two messages to
+# show message-scoped blank nodes.
+
+@prefix : <https://eyereasoner.github.io/see/examples/rdf-messages#>.
+@prefix msg: <https://w3c-cg.github.io/rsp/spec/messages#>.
+@prefix prov: <http://www.w3.org/ns/prov#>.
+@prefix sosa: <http://www.w3.org/ns/sosa/>.
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix list: <http://www.w3.org/2000/10/swap/list#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix string: <http://www.w3.org/2000/10/swap/string#>.
+
+:temperatureLog
+  a msg:MessageLog;
+  msg:orderedMessages (:m001 :m002 :m003);
+  msg:message :m001, :m002, :m003;
+  msg:profile :generatedAtTimeProfile;
+  msg:retentionPolicy "replayable archive".
+
+:m001
+  a msg:RDFMessage;
+  msg:offset 1;
+  prov:generatedAtTime "2026-05-12T18:20:00Z"^^xsd:dateTime;
+  msg:payloadKind :observation;
+  msg:localBlankLabel "_:b0";
+  msg:expectedResult 22;
+  msg:payload {
+    _:m001b0
+      a sosa:Observation;
+      sosa:madeBySensor :thermometerA;
+      sosa:resultTime "2026-05-12T18:20:00Z"^^xsd:dateTime;
+      sosa:hasSimpleResult 22.
+  }.
+
+# Empty RDF Message: a legal heartbeat/keep-alive event.
+:m002
+  a msg:RDFMessage;
+  msg:offset 2;
+  prov:generatedAtTime "2026-05-12T18:22:00Z"^^xsd:dateTime;
+  msg:payloadKind :heartbeat.
+
+:m003
+  a msg:RDFMessage;
+  msg:offset 3;
+  prov:generatedAtTime "2026-05-12T18:25:00Z"^^xsd:dateTime;
+  msg:payloadKind :observation;
+  msg:localBlankLabel "_:b0";
+  msg:expectedResult 23;
+  msg:payload {
+    _:m003b0
+      a sosa:Observation;
+      sosa:madeBySensor :thermometerA;
+      sosa:resultTime "2026-05-12T18:25:00Z"^^xsd:dateTime;
+      sosa:hasSimpleResult 23.
+  }.
+
+# A message with an offset inside a log has an explicit replay boundary.
+{
+  ?Log a msg:MessageLog;
+    msg:message ?Message.
+  ?Message a msg:RDFMessage;
+    msg:offset ?Offset.
+} => {
+  ?Message msg:boundaryExplicit true.
+  ?Log msg:replayContains ?Message.
+}.
+
+# The payload is a dataset-like formula. We can inspect it without merging it
+# into the global graph, preserving the message as the unit of interpretation.
+{
+  ?Message a msg:RDFMessage;
+    msg:expectedResult ?Result;
+    msg:payload ?Payload.
+  ?Payload log:includes { ?Observation sosa:hasSimpleResult ?Result. }.
+} => {
+  ?Message msg:payloadResult ?Result.
+}.
+
+# Heartbeat/keep-alive messages can be empty and still occupy a boundary.
+{
+  ?Message a msg:RDFMessage;
+    msg:payloadKind :heartbeat.
+} => {
+  ?Message msg:emptyMessageAllowed true.
+  :HeartbeatEvidence :accepted ?Message.
+}.
+
+# The same blank-node label may recur in a message log because blank nodes are
+# scoped to their RDF Message, not to the whole replay archive.
+{
+  ?First a msg:RDFMessage;
+    msg:localBlankLabel ?Label.
+  ?Second a msg:RDFMessage;
+    msg:localBlankLabel ?Label.
+  ?First log:notEqualTo ?Second.
+} => {
+  :BlankNodeScope :reusedLabel ?Label.
+  :BlankNodeScope :isPerMessage true.
+}.
+
+# Different observations from the same sensor are not a global contradiction:
+# each message is interpreted in its own communication context.
+{
+  ?First a msg:RDFMessage;
+    msg:payloadResult ?FirstResult.
+  ?Second a msg:RDFMessage;
+    msg:payloadResult ?SecondResult.
+  ?FirstResult math:notEqualTo ?SecondResult.
+  ?First log:notEqualTo ?Second.
+} => {
+  :MessageContext :differentObservationsStayContextual true.
+}.
+
+# The SEE verdict is emitted only when all message-specific validations have been
+# derived from the log, message metadata, payload formulas, and built-ins.
+{
+  :temperatureLog msg:orderedMessages ?Messages.
+  ?Messages list:length ?Count.
+  :m001 msg:boundaryExplicit true;
+    msg:payloadResult ?FirstResult.
+  :m002 msg:boundaryExplicit true;
+    msg:emptyMessageAllowed true.
+  :m003 msg:boundaryExplicit true;
+    msg:payloadResult ?SecondResult.
+  :BlankNodeScope :reusedLabel ?Label;
+    :isPerMessage true.
+  :MessageContext :differentObservationsStayContextual true.
+  ("=== Answer ===\nRDF Message log accepted: %d explicit message boundaries are preserved. Message :m002 is an empty heartbeat, and the local blank-node label %s is safely reused in separate messages.\n\n=== Explanation ===\nThe N3 source models an RDF Message Log as an ordered sequence of RDF Messages. Each non-empty message has a formula-valued payload that is inspected with log:includes, so the observation data stays inside the message boundary instead of being treated as one global graph. The two temperature results, %s and %s, are different observations from the same stream but are contextualized by their message boundaries." ?Count ?Label ?FirstResult ?SecondResult) string:format ?Block.
+} => {
+  :rdfMessagesExample log:outputString ?Block.
+  :rdfMessagesExample :demonstrates :ExplicitBoundaries, :AtomicMessageContext, :EmptyHeartbeat, :MessageScopedBlankNodes, :ReplayableMessageLog.
+}.
+
+{ :rdfMessagesExample :demonstrates ?Feature } log:query { :rdfMessagesExample :demonstrates ?Feature }.

package/see/examples/n3/school_placement_audit.n3

@@ -0,0 +1,63 @@
+# ============================
+# School Placement Route Audit
+# ============================
+# N3-compiled version of the school placement audit. The original student,
+# school, distance, and policy JSON is preserved as the data-input sidecar.
+
+@prefix : <https://eyereasoner.github.io/see/examples/school-placement-audit#>.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix string: <http://www.w3.org/2000/10/swap/string#>.
+
+:Policy :maxWalkingMeters 2500; :preferencePenaltyMeters 600.
+
+:Ada :name "Ada"; :provisional :Centrum; :auditedBest :Lindholmen; :hiddenDetour 3000; :walkingMeters 3600.
+:Bjorn :name "Björn"; :provisional :Centrum; :auditedBest :Backa; :hiddenDetour 2000; :walkingMeters 3100.
+:Clara :name "Clara"; :provisional :Haga; :auditedBest :Haga; :hiddenDetour 150; :walkingMeters 800.
+:Davi :name "Davi"; :provisional :Centrum; :auditedBest :Haga; :hiddenDetour 1800; :walkingMeters 2800.
+
+:Lindholmen :label "Lindholmen".
+:Haga :label "Haga".
+:Centrum :label "Centrum".
+:Backa :label "Backa".
+
+{
+  ?Student :provisional ?Provisional; :auditedBest ?Audited; :walkingMeters ?Walk.
+  :Policy :maxWalkingMeters ?MaxWalking.
+  ?Walk math:greaterThan ?MaxWalking.
+} => {
+  ?Student :auditFlag :walkingLimitExceeded.
+}.
+
+{
+  ?Student :provisional ?Provisional; :auditedBest ?Audited.
+  ?Provisional log:notEqualTo ?Audited.
+} => {
+  ?Student :auditFlag :assignmentDiffersFromAuditedBest.
+}.
+
+{
+  :Ada :auditFlag ?AdaFlag.
+  :Bjorn :auditFlag ?BjornFlag.
+  :Davi :auditFlag ?DaviFlag.
+  :Ada :hiddenDetour ?AdaDetour.
+  :Bjorn :hiddenDetour ?BjornDetour.
+  :Davi :hiddenDetour ?DaviDetour.
+  ?BjornDetour math:lessThan ?AdaDetour.
+  ?DaviDetour math:lessThan ?AdaDetour.
+} => {
+  :Audit :result "fail";
+    :affectedChildren "Ada, Björn, Davi";
+    :largestHiddenDetour "Ada, 3000 m";
+    :recommendedAssignments "Ada -> Lindholmen; Björn -> Backa; Clara -> Haga; Davi -> Haga".
+}.
+
+{
+  :Audit :result ?Result; :affectedChildren ?Affected; :largestHiddenDetour ?Detour; :recommendedAssignments ?Assignments.
+  ("=== Answer ===\naudit result : %s\nchildren affected by straight-line rule : %s\nlargest hidden detour : %s\nrecommended assignments : %s\nexplanation requested : yes\n\n=== Explanation ===\nThe support-tool rule chooses the school with the smallest straight-line distance, using preference rank only as a tie-breaker. The independent audit recomputes each candidate with walking-route distance plus 600 m per preference step. Any provisional assignment that is not the audited best, or that requires more than 2500 m of walking, is flagged. Ada and Björn look close to Centrum on a map, but their walking routes cross barriers and exceed the walking limit; Davi is also better served by the first-preference Haga route. This illustrates why a decision-support label is not enough: route geometry, preferences, and audit records must be inspectable." ?Result ?Affected ?Detour ?Assignments) string:format ?Block.
+} => {
+  :schoolPlacementAudit log:outputString ?Block.
+  :schoolPlacementAudit :reports :Audit.
+}.
+
+{ :schoolPlacementAudit :reports ?Audit } log:query { :schoolPlacementAudit :reports ?Audit }.

package/see/examples/n3/smoke_arithmetic.n3

@@ -0,0 +1,22 @@
+# Smoke Arithmetic
+# Small Notation3 source used to prove that see.js generates a specialized JS
+# example which derives its answer from facts, math built-ins, fuses, and string
+# formatting instead of reading a prewritten conclusion.
+
+@prefix : <https://example.org/see/smoke#>.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix string: <http://www.w3.org/2000/10/swap/string#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+
+:Input :x 6; :y 7.
+
+{ :Input :x ?X; :y ?Y.
+  (?X ?Y) math:product ?Product.
+  ?Product math:greaterThan 0.
+} => {
+  :Case :product ?Product.
+} .
+
+{ :Case :product ?Product.
+  ("=== Answer ===\nproduct = %s\n\n=== Explanation ===\nThe compiled rule multiplies :x and :y using math:product." ?Product) string:format ?Block.
+} => { :out01 log:outputString ?Block. } .

package/see/examples/n3/socrates.n3

@@ -0,0 +1,21 @@
+# ==================
+# Socrates inference
+# ==================
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix : <http://example.org/socrates#>.
+
+# facts
+:Socrates a :Human.
+:Human rdfs:subClassOf :Mortal.
+
+# subclass rule
+{
+ ?S a ?A.
+ ?A rdfs:subClassOf ?B.
+} => {
+ ?S a ?B.
+}.
+
+# query
+{ ?S a ?C } log:query { ?S a ?C }.

package/see/examples/n3/wind_turbine.n3

@@ -0,0 +1,85 @@
+# =====================
+# Wind Turbine Envelope
+# =====================
+# Classify wind-speed samples against a turbine operating envelope and compute
+# interval energy. The classification and cubic power curve are expressed in N3
+# rules and compiled into a standalone SEE JavaScript example.
+
+@prefix : <https://eyereasoner.github.io/see/examples/wind-turbine#>.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix string: <http://www.w3.org/2000/10/swap/string#>.
+
+:case
+  :cutInMS 3.5;
+  :ratedMS 12.0;
+  :cutOutMS 25.0;
+  :ratedPowerMW 3.2;
+  :intervalMinutes 10.0;
+  :sample :t1, :t2, :t3, :t4, :t5, :t6.
+
+:t1 :index 1; :speedMS 3.0.
+:t2 :index 2; :speedMS 6.5.
+:t3 :index 3; :speedMS 11.2.
+:t4 :index 4; :speedMS 15.0.
+:t5 :index 5; :speedMS 24.5.
+:t6 :index 6; :speedMS 27.0.
+
+{
+  :case :cutInMS ?CutIn.
+  ?Sample :speedMS ?Speed.
+  ?Speed math:lessThan ?CutIn.
+} => { ?Sample :status "stopped"; :powerMW 0.0. }.
+
+{
+  :case :cutOutMS ?CutOut.
+  ?Sample :speedMS ?Speed.
+  ?Speed math:notLessThan ?CutOut.
+} => { ?Sample :status "stopped"; :powerMW 0.0. }.
+
+{
+  :case :cutInMS ?CutIn; :ratedMS ?Rated; :ratedPowerMW ?RatedPower.
+  ?Sample :speedMS ?Speed.
+  ?Speed math:notLessThan ?CutIn.
+  ?Speed math:lessThan ?Rated.
+  (?Speed 3) math:exponentiation ?Speed3.
+  (?CutIn 3) math:exponentiation ?CutIn3.
+  (?Rated 3) math:exponentiation ?Rated3.
+  (?Speed3 ?CutIn3) math:difference ?Numerator.
+  (?Rated3 ?CutIn3) math:difference ?Denominator.
+  (?Numerator ?Denominator) math:quotient ?Fraction.
+  (?RatedPower ?Fraction) math:product ?Power.
+} => { ?Sample :status "partial"; :powerMW ?Power. }.
+
+{
+  :case :ratedMS ?Rated; :cutOutMS ?CutOut; :ratedPowerMW ?RatedPower.
+  ?Sample :speedMS ?Speed.
+  ?Speed math:notLessThan ?Rated.
+  ?Speed math:lessThan ?CutOut.
+} => { ?Sample :status "rated"; :powerMW ?RatedPower. }.
+
+{
+  :case :sample ?Sample.
+  ?Sample :status ?Status; :powerMW ?Power.
+  ?Power math:notLessThan 0.
+} => { ?Sample :nonNegativePower true. }.
+
+{
+  :case :ratedPowerMW ?RatedPower; :sample ?Sample.
+  ?Sample :powerMW ?Power.
+  ?Power math:notGreaterThan ?RatedPower.
+} => { ?Sample :withinRatedPower true. }.
+
+{
+  :t1 :speedMS ?S1; :status ?C1; :powerMW ?P1; :nonNegativePower true; :withinRatedPower true.
+  :t2 :speedMS ?S2; :status ?C2; :powerMW ?P2; :nonNegativePower true; :withinRatedPower true.
+  :t3 :speedMS ?S3; :status ?C3; :powerMW ?P3; :nonNegativePower true; :withinRatedPower true.
+  :t4 :speedMS ?S4; :status ?C4; :powerMW ?P4; :nonNegativePower true; :withinRatedPower true.
+  :t5 :speedMS ?S5; :status ?C5; :powerMW ?P5; :nonNegativePower true; :withinRatedPower true.
+  :t6 :speedMS ?S6; :status ?C6; :powerMW ?P6; :nonNegativePower true; :withinRatedPower true.
+  :case :cutInMS ?CutIn; :ratedMS ?Rated; :cutOutMS ?CutOut; :ratedPowerMW ?RatedPower; :intervalMinutes ?Minutes.
+  (?P1 ?P2 ?P3 ?P4 ?P5 ?P6) math:sum ?TotalPower.
+  (?Minutes 60.0) math:quotient ?Hours.
+  (?TotalPower ?Hours) math:product ?Energy.
+  ("=== Answer ===\noperating thresholds : cut-in %.1f m/s, rated %.1f m/s, cut-out %.1f m/s\nrated power : %.1f MW\ninterval classifications : t1 %.1f m/s %s %.3f MW; t2 %.1f m/s %s %.3f MW; t3 %.1f m/s %s %.3f MW; t4 %.1f m/s %s %.3f MW; t5 %.1f m/s %s %.3f MW; t6 %.1f m/s %s %.3f MW\nusable intervals : 4\ntotal energy : %.3f MWh\n\n=== Explanation ===\nWind below cut-in and at or above cut-out is stopped for production and safety. Wind between cut-in and rated speed follows a cubic power curve normalized to the rated point. Wind between rated speed and cut-out is capped at rated power. Energy is accumulated by multiplying each interval power by the ten-minute interval duration." ?CutIn ?Rated ?CutOut ?RatedPower ?S1 ?C1 ?P1 ?S2 ?C2 ?P2 ?S3 ?C3 ?P3 ?S4 ?C4 ?P4 ?S5 ?C5 ?P5 ?S6 ?C6 ?P6 ?Energy) string:format ?Block.
+} => { :report log:outputString ?Block. }.

package/see/examples/n3/witch.n3

@@ -0,0 +1,30 @@
+# ==============
+# Burn the witch
+# ==============
+#
+# http://clarkparsia.com/weblog/2007/01/02/burn-the-witch/
+# http://www.netfunny.com/rhf/jokes/90q4/burnher.html
+# original http://www.w3.org/2000/10/swap/test/reason/witch.n3
+@prefix : <http://example.org/witch#>.
+
+#[1] BURNS(x) /\ WOMAN(x) => WITCH(x)
+{ ?x a :BURNS. ?x a :WOMAN } => { ?x a :WITCH }.
+
+#[2] WOMAN(GIRL)
+:GIRL a :WOMAN.
+
+#[3] forall x, ISMADEOFWOOD(x) => BURNS(x)
+{ ?x a :ISMADEOFWOOD } => { ?x a :BURNS }.
+
+#[4] forall x, FLOATS(x) => ISMADEOFWOOD(x)
+{ ?x a :FLOATS } => { ?x a :ISMADEOFWOOD }.
+
+#[5] FLOATS(DUCK)
+:DUCK a :FLOATS.
+
+#[6] forall x,y FLOATS(x) /\ SAMEWEIGHT(x,y) => FLOATS(y)
+{ ?x a :FLOATS. ?x :SAMEWEIGHT ?y } => { ?y a :FLOATS }.
+
+# and, by experiment
+# [7] SAMEWEIGHT(DUCK,GIRL)
+:DUCK :SAMEWEIGHT :GIRL.