<<
p1
,
p2
,
p3
>>
P
>=
0.9999
[
F
task1_completed
]