R{"w_1_total"}max=? [ F status=8 ]
R{"w_2_total"}max=? [ F status=8 ]

P=? [F task1_completed]
P=? [F task2_completed & task1_completed]

P=? [ F agent1_joins_successful_team ]
P=? [ F agent2_joins_successful_team ]
P=? [ F agent3_joins_successful_team ]
P=? [ F agent4_joins_successful_team ]
P=? [ F agent5_joins_successful_team ]