Erik Segerdell VG Ponferrada CL editors Taxonomic equivalence axioms between XAO and CL. CL bridge to xao ciliated cell (xenopus) polar body (xenopus) cell (xenopus) thymocyte (xenopus)