La più grande basilica cirstercense di Sicilia, intitolata a Santa Maria di Roccadia in gran parte sconosciuta