5.The number of nodes evaluated using NOPRUNE-BEL can be computed as (f_{1} + 1) ⋅ (f_{2} + 1) ⋅ (f_{3} + 1) ⋅ (a + 1)^{c+1},
where f_{1}, f_{2} and f_{3} are the number of ﬁre engines are station 1, 2 and 3, respectively, a is the number of
ambulances and c is the number of civilians. Each node provides a complete conditional role allocation,
assuming different numbers of civilians at each ﬁre station.