Combining coverpoints

interface testInterface(input clk,
                        input CReset,
                        input[4;0] a0,
                        input[4;0] a1,
                        input[4;0] a2,
                        input[4;0] a3,
                        input[4;0] b0,
                        input[4;0] b1,
                        input[4;0] b2,
                        input[4;0] b3,
                        );
covergroup cg @(posedge clk);
   typeSquareA0: coverpoint a0 iff ([Long condition1])
   {..}
   typeSquareA1: coverpoint a1 iff ([Long condition1])
   {..}
   typeSquareA2: coverpoint a2 iff ([Long condition1])
   {..}
   typeSquareA3: coverpoint a3 iff ([Long condition1])
   {..}
   typeCircleA0: coverpoint a0 iff ([Long condition2])
   {..}
   typeCircleA1: coverpoint a1 iff ([Long condition2])
   {..}
   typeCircleA2: coverpoint a2 iff ([Long condition2])
   {..}
   typeCircleA3: coverpoint a3 iff ([Long condition2])
   {..}
   typeSquareB0: coverpoint b0 iff ([Long condition1])
   {..}
   typeSquareB1: coverpoint b1 iff ([Long condition1])
   {..}
   typeSquareB2: coverpoint b2 iff ([Long condition1])
   {..}
   typeSquareB3: coverpoint b3 iff ([Long condition1])
   {..}
   typeCircleB0: coverpoint b0 iff ([Long condition2])
   {..}
   typeCircleB1: coverpoint b1 iff ([Long condition2])
   {..}
   typeCircleB2: coverpoint b2 iff ([Long condition2])
   {..}
   typeCircleB3: coverpoint b3 iff ([Long condition2])
   {..}

   typeSquareA0CircleA1 : cross typeSquareA0,typeCircleA1;
   typeSquareA1CircleA2 : cross typeSquareA1,typeCircleA2;
   typeSquareA2CircleA3 : cross typeSquareA2,typeCircleA3;

   typeSquareB0CircleB1 : cross typeSquareB0,typeCircleB1;
   typeSquareB1CircleB2 : cross typeSquareB1,typeCircleB2;
   typeSquareB2CircleB3 : cross typeSquareB2,typeCircleB3;


   [AggregateCov1]: ?
   [AggregateCov2]: ?
endgroup
endinterface

All the coverpoints have just 1 bin. I am looking for AggregateCov1 which tells if any of typeSquareA1CircleA2,typeSquareA2CircleA3 is a hit. Essentially meaning I have at least one square and a circle adjacent to each other in the group [A0,A1,A2,A3]. Also looking for AggregateCov2 which tells if I have at least one square and a circle adjacent to each other in the group [A0,A1,A2,A3] or [B0,B1,B2,B3]