Explorer Parchments for CafeOBJ Logics