E as AA., aí RR., deduziram pedido reconvencional sob a forma subsidiária, no caso de a acção ser julgada procedente, peticionando fosse a R., aí A., condenada a pagar-lhes as quantias acima referidas. Ou melhor, o pedido reconvencional foi deduzido nos seguintes termos: