strict graph {
    A [label="Forever Running"]
    B [label="Scalability"]
    C [label="Minimal Content"]
    D [label="Model Everything"]
    E [label="Human Interaction"]
    F [label="Test-Driven"]
    G [label="Multi-View"]
    H [label="Multi-Formalism"]
    I [label="Multi-Abstraction"]
    J [label="Multi-User"]
    K [label="Interoperability"]

    A -- B [label="1"]
    A -- D [label="2"]
    A -- J [label="3"]

    B -- F [label="4"]
    B -- K [label="5"]

    C -- D [label="6"]

    D -- E [label="7"]
    D -- F [label="8"]
    D -- G [label="9"]
    D -- H [label="10"]
    D -- K [label="11"]

    E -- K [label="12"]
    
    G -- H [label="13"]
    G -- I [label="14"]

    J -- K [label="15"]
}