graph
{
  rankdir = "BT";
  bgcolor = "transparent";
  node [ shape = "plaintext", fillcolor = "firebrick", color = "firebrick" ];

  b [ label = "⊥" ];

  e [ label = "[]", shape = "ellipse", style = filled ];
  bb [ label = "⊥:⊥" ];

  ub [ label = "():⊥" ];
  be [ label = "⊥:[]" ];
  bbb [ label = "⊥:⊥:⊥" ];

  ue [ label = "():[]", shape = "ellipse", style = filled ];
  ubb [ label = "():⊥:⊥" ];
  bub [ label = "⊥:():⊥" ];
  bbe [ label = "⊥:⊥:[]" ];
  bbbb [ label = "⊥:⊥:⊥:⊥" ];

  ellip1 [ label = "…" ];
  ellip2 [ label = "…" ];
  ellip3 [ label = "…" ];
  ellip4 [ label = "…" ];

  b -- e;
  b -- bb;

  bb -- ub;
  bb -- be;
  bb -- bbb;

  ub -- ue;
  ub -- ubb;
  be -- ue;
  bbb -- ubb;
  bbb -- bub;
  bbb -- bbe;
  bbb -- bbbb;

  ubb -- ellip1;
  bub -- ellip2;
  bbe -- ellip3;
  bbbb -- ellip4;
}