see

Dog license example

Insight

The derivation produced 1 new fact(s) from 7 stated fact(s).
Main conclusion: :alice :mustHave :dogLicense.

Selected conclusions:

• :alice :mustHave :dogLicense .

Explanation

The generated JavaScript starts from 7 compiled source fact(s), applies 1 compiled rule(s), and stops only after a fixpoint is reached.

A compact derivation path is:

• Rule 1: if ?Subject :hasDog ?Any; (1 { ?Subject :hasDog ?Dog } ?List) log:collectAllIn ?Scope; ?List math:sum ?Count; ?Count math:greaterThan 4, then ?Subject :mustHave :dogLicense. This produced :alice :mustHave :dogLicense .
  • Premises used:
    • :alice :hasDog :dog1 . (source fact)

Evidence

These are the derived non-input facts selected for the report. Source facts that support the explanation are shown inline with each derivation step.

:alice :mustHave :dogLicense .