7,1,
Žθ”—Ώ”­Ά
ATM‚π—˜—p
–ι23Žž`—‚’©8Žž
—D‹φ‰οˆυ
ˆψo
—a“ό
Už
241,354,87,20,obs,AND,0,1,1,1,0,0,0,0,0,0,1,0,0,0,,-1,
205,232,89,20,obs,OR,0,0,0,0,1,1,1,0,0,0,0,0,0,0,,-1,
293,74,114,20,obs,,,-1,
344,123,64,20,obs,,,-1,
163,131,38,20,obs,,,-1,
206,129,38,20,obs,,,-1,
246,131,38,20,obs,,,-1,
EXCL,207,42,33,20,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,0,0,0,0,0,0,0,,-1,
--
[Cause Node]
–ι23Žž`—‚’©8Žž=
—D‹φ‰οˆυ=
ˆψo=
—a“ό=
Už=

[Middle Node]
ATM‚π—˜—p=(ˆψo OR —a“ό OR Už),

[Result Node]
Žθ”—Ώ”­Ά=(ATM‚π—˜—p AND –ι23Žž`—‚’©8Žž AND NOT —D‹φ‰οˆυ),

[Constraint]
EXCL(ˆψo —a“ό Už),