data/aristotle-syllogistic-figure-2.mmd

graph TD
    DefAEIO("DefAEIO Categorical forms")
    DefFig("DefFig Figures 1,2,3")
    Econv("Econv E-conversion")
    Barbara("Barbara Barbara")
    Celarent("Celarent Celarent")
    Ferio("Ferio Ferio")
    Cesare("Cesare Cesare")
    Camestres("Camestres Camestres")
    Festino("Festino Festino")
    Baroco("Baroco Baroco")
    DefAEIO --> Barbara
    DefFig --> Barbara
    DefAEIO --> Celarent
    DefFig --> Celarent
    DefAEIO --> Ferio
    DefFig --> Ferio
    Econv --> Cesare
    Celarent --> Cesare
    Econv --> Camestres
    Celarent --> Camestres
    Econv --> Festino
    Ferio --> Festino
    Barbara --> Baroco
    classDef axiom fill:#e74c3c,color:#fff,stroke:#c0392b
    classDef definition fill:#3498db,color:#fff,stroke:#2980b9
    classDef theorem fill:#1abc9c,color:#fff,stroke:#16a085
    class Econv,Barbara,Celarent,Ferio axiom
    class DefAEIO,DefFig definition
    class Cesare,Camestres,Festino,Baroco theorem