5.The number of nodes evaluated using NOPRUNE-BEL can be computed as (f1 + 1) (f2 + 1) (f3 + 1) (a + 1)c+1, where f1, f2 and f3 are the number of fire 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 fire station.