(RELE) S8)(S1 (EFBS) S2)(S7 (RRLL-) S6)(S7 (BRLL) S5) (S7
(RRLLP) S12)(S7 (RRLLP) S11)(S7 (RRBL) S4)(S7 (SRSL) S3)(S7
(BSEF) S10)(S7 (RRLLP) S9) (S7 (RRLLP) S8)(S7 (RRRB) S2)(S7
(ERRS) S1))
SparQ can output all path-consistent scenarios (i.e. constraint networks in base relations) via the command:
sparq constraint-reasoning dra-fp scenario-consistency all "(
(s7 errs s1) (s1 efbs s2) (s8 errs s2) (s1 rele s8) (s2 rele s9) (s10 efbs s7) (s10 errs s3) (s7 srsl s3) (s3 efbs s4) (s11 efbs s8) (s11 errs s4) (s3 ells s8) (s3 rele s11) (s8 srsl s4) (s12 efbs s9) (s4 ells s9) (s4 rele s12) (s10 srsl s5) (s5 efbs s6)
(s5 ells s11) (s11 srsl s6) (s6 ells s12) (s7 rrllP s8) (s8 rrllP
s9) (s10 rrllP s11) (s11 rrllP s12) (s3 llrr- s1) (s4 llrr- s2)
(s3 rrll- s5) (s4 rrll- s6) )"
For this CSP, only three slightly different path consistent scenarios exist:
((S5 (EFBS) S6)(S12 (LSEL) S6)(S12 (LLFL) S5)(S11 (SRSL)
S6)(S11 (LSEL) S5)(S11 (RRLLP) S12) (S4 (RRLL-) S6)(S4
(RRLL-) S5)(S4 (RELE) S12)(S4 (RSER) S11)(S3 (RRLL-) S6)(S3
(RRLL-) S5) (S3 (RFLL) S12)(S3 (RELE) S11)(S3 (EFBS) S4)(S10
(RRBL) S6)(S10 (SRSL) S5)(S10 (RRLLP) S12) (S10 (RRLLP)
S11)(S10 (RRRB) S4)(S10 (ERRS) S3)(S9 (LBLL) S6)(S9 (LLLL-)
S5)(S9 (BSEF) S12) (S9 (LLRRP) S11)(S9 (LSEL) S4)(S9 (LLFL)
S3)(S9 (LLRRP) S10)(S8 (BRLL) S6)(S8 (LBLL) S5) (S8 (RRLLP)
S12)(S8 (BSEF) S11)(S8 (SRSL) S4)(S8 (LSEL) S3)(S8 (LLRRP)
S10)(S8 (RRLLP) S9) (S2 (RRLLP) S6)(S2 (RRLLP) S5)(S2 (RRLF) S12)(S2 (RRFR) S11)(S2 (RRLL+) S4)(S2 (RRLL+) S3) (S2
(RRRR+) S10)(S2 (RELE) S9)(S2 (RSER) S8)(S1 (RRLLP) S6)(S1
(RRLLP) S5)(S1 (RRLL+) S12) (S1 (RRLF) S11)(S1 (RRLL+)
S4)(S1 (RRLL+) S3)(S1 (RRFR) S10)(S1 (RFLL) S9)(S1 (RELE)
S8) (S1 (EFBS) S2)(S7 (RRLL-) S6)(S7 (BRLL) S5)(S7 (RRLLP)
S12)(S7 (RRLLP) S11)(S7 (RRBL) S4) (S7 (SRSL) S3)(S7 (BSEF)
S10)(S7 (RRLLP) S9)(S7 (RRLLP) S8)(S7 (RRRB) S2)(S7 (ERRS)
S1))
((S5 (EFBS) S6)(S12 (LSEL) S6)(S12 (LLFL) S5)(S11 (SRSL)
S6)(S11 (LSEL) S5)(S11 (RRLLP) S12) (S4 (RRLL-) S6)(S4
(RRLL-) S5)(S4 (RELE) S12)(S4 (RSER) S11)(S3 (RRLL-) S6)(S3
(RRLL-) S5) (S3 (RFLL) S12)(S3 (RELE) S11)(S3 (EFBS) S4)(S10
(RRBL) S6)(S10 (SRSL) S5)(S10 (RRLLP) S12) (S10 (RRLLP)
S11)(S10 (RRRB) S4)(S10 (ERRS) S3)(S9 (LBLL) S6)(S9 (LLLL-)
S5)(S9 (BSEF) S12) (S9 (LLRRP) S11)(S9 (LSEL) S4)(S9 (LLFL)
S3)(S9 (LLRRP) S10)(S8 (BRLL) S6)(S8 (LBLL) S5) (S8 (RRLLP)
S12)(S8 (BSEF) S11)(S8 (SRSL) S4)(S8 (LSEL) S3)(S8 (LLRRP) S10)(S8 (RRLLP) S9) (S2 (RRLL-) S6)(S2 (RRLL-) S5)(S2 (RRLF) S12)(S2 (RRFR) S11)(S2 (RRLL+) S4)(S2 (RRLL+) S3) (S2 (RRRR+) S10)(S2 (RELE) S9)(S2 (RSER) S8)(S1 (RRLL-) S6)(S1