5,2,
電話をかける
電話番号を押す
発信音を確認
受話器を取る
スピーカーボタンを押す
240,431,100,20,obs,AND,0,1,1,0,0,0,0,0,0,0,,-1,
287,293,103,20,obs,,,-1,
206,295,100,20,obs,OR,0,0,0,1,1,0,0,0,0,0,,-1,
158,92,90,20,obs,,,-1,
226,96,155,20,obs,,,-1,
EXCL,192,20,33,20,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,,-1,
REQ,266,220,27,20,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,,-1,
--
[Cause Node]
電話番号を押す=
受話器を取る=
スピーカーボタンを押す=

[Middle Node]
発信音を確認=(受話器を取る OR スピーカーボタンを押す),

[Result Node]
電話をかける=(電話番号を押す AND 発信音を確認),

[Constraint]
EXCL(受話器を取る スピーカーボタンを押す),
REQ=(電話番号を押す 発信音を確認),