¿Cómo convalidar FOL con PRL?