Oración 1: a, b y c pertenecen entonces a A, lo cual se escribe 𝑎 ∈ 𝐴 (a es elemento de A)
Oración 2: d no es elemento de A (¬(𝑑𝜖𝐴))
Conector: por ejemplo,
Relación: entailment
Género: theses