see

Collection

Insight

The derivation produced 0 new fact(s) from 2 stated fact(s).
Main conclusion: _:b2 :p :q.

Selected conclusions:

• _:b2 :p :q .
• (1 _:b2 (2)) :p2 :q2 .

Explanation

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

Evidence

No new non-input facts were derived; the evidence below shows the selected graph facts.

(1 _:b2 (2)) :p2 :q2 .  
_:b2 :p :q .