Oración 1: oLF ES UNA CLASE DE FRAÏSSÉ Y EL LIMF (OLF ) ES (Q, <) ′ (donde A = (A, <C0 ↾A′ )), pues K olvida el orden
Oración 2: χ es un r- ( ) ( ) coloreo CA
Conector: por lo tanto
Relación: reasoning
Género: theses