Oración 1: en otras palabras, dado un dominio del discurso "cosas aladas", o encontramos que p es un miembro de este dominio o no
Oración 2: tenemos una relación W (alada) entre p (pig) y {T, F},W (p) se evalúa como {T, F}
Conector: por lo tanto,
Relación: reasoning
Género: articles