Partiële retrogradeanalyse

Retrogradeanalyse redeneert vanuit het diagram terug om te bepalen welke legale voorgeschiedenis de stelling kan hebben voortgebracht. Partiële retrogradeanalyse, of PRA, wordt toegepast wanneer toestemmingen voor bepaalde bijzondere zetten niet onafhankelijk kunnen worden vastgesteld.

De toestemmingen betreffen meestal het recht om te rokeren en het recht om en passant te slaan. Rokade is de bijzondere zet waarbij koning en toren samen bewegen en vereist onder meer dat geen van beide eerder heeft bewogen. In composities is zij toegestaan tenzij de stelling het tegendeel bewijst. En passant laat een pion slaan alsof een vijandelijke pion, die zojuist vanaf zijn beginveld twee velden vooruitging en naast hem landde, slechts één veld was gegaan. Als en passant de eerste zet van de oplossing is, moet die dubbele pionzet als de onmiddellijk voorafgaande zet kunnen worden bewezen.

Soms sluit de voorgeschiedenis die nodig is om het ene recht te behouden de voorgeschiedenis voor het andere recht uit. In plaats van willekeurig één versie te kiezen, verdeelt PRA de oplossing in onderling uitsluitende delen. Elk deel neemt één samenhangende combinatie van rechten aan en samen moeten de delen elke mogelijke combinatie dekken die de conventies voor rokade en en passant toelaten.

Wanneer twee rokaderechten van elkaar afhangen

Als onderling afhankelijke rokaderechten onder PRA geen oplossing opleveren, geldt de Retro-Strategy-conventie, afgekort RS. De eerste rokade die daadwerkelijk wordt uitgevoerd, wordt dan als toegestaan beschouwd. Dit is een formele manier om de afhankelijkheid op te lossen, geen bewering dat beide rechten in één voorgeschiedenis tegelijk bestonden.