Formalismos ontológicos bigenéricos
A) Reducción a M1, M2 (4) Reducción de M3 a M1 (5) Reducción de M3 a M2 (6) Reducción de M3 en parte a M2, en parte a M1 B) Reducción a M1, M3 (7) Reducción de M2 a M1 (8) Reducción de M2 a M3 (9) Reducción de M2 en parte a M1 y M3 C) Reducción a M2, M3 (10) Reducción de M1 a M2 (11) Reducción de M1 a M3 (12) Reducción de M1 en parte a M2, en parte a M3