digraph Syntax {
  margin=0;
  graph [dpi=400];
	{rank=same;
	  t1[label="node_name=t1\ntok=That"];
	  t2[label="node_name=t2\ntok=is"];
	  t3[label="node_name=t3\ntok=a"];
	  t4[label="node_name=t4\ntok=Category"];
	  t5[label="node_name=t5\ntok=3"];
	  t6[label="node_name=t6\ntok=storm"];
	}

 
  {
    // also add the ordering
    edge [color="blue", fontcolor="blue", style="solid", label="Ordering"];


    t1 -> t2;
    t2 -> t3;
    t3 -> t4;
    t4 -> t5;
    t5 -> t6;
  }
 
  {
    s2[label="node_name=s2\ncat=S"];
    s3[label="node_name=s3\ncat=NP"];
    s4[label="node_name=s4\ncat=VP"];
    s5[label="node_name=s5\ncat=NP"];
  }

  {
    edge[color=red, fontcolor=red, label="Dominance"];
    
    s2 -> s3;
    s2 -> s4;
        
    s3 -> t1;
    
    s4 -> t2;
    s4 -> s5;

    s5 -> t3;
    s5 -> t4;
    s5 -> t5;
    s5 -> t6;
  }

  {
    edge [style=dotted,color=darkgreen,fontcolor=darkgreen, label="Coverage"];
    
    s2 -> t1;
    s2 -> t2;
    s2 -> t3;
    s2 -> t4;
    s2 -> t5;
    s2 -> t6;

    s3 -> t1;
    
    s4 -> t2;
    s4 -> t3;
    s4 -> t4;
    s4 -> t5;
    s4 -> t6;

    s5 -> t3;
    s5 -> t4;
    s5 -> t5;
    s5 -> t6;


  }	

}
