digraph Span {
  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"];
	  t7[label="node_name=t7\ntok=."];
	}

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


    t1 -> t2;
    t2 -> t3;
    t3 -> t4;
    t4 -> t5;
    t5 -> t6;
    t6 -> t7;  
  }
 
  {
    node [shape=box, color=darkgreen];
    {   
    rank=max;
    stype[label="node_name=s1\ns_type=decl"];
    }
    {
    rank=min;
    hirend[label="node_name=s2\nhi_rend=blue"];
    }
  }


  {
    edge [style=dotted,color=darkgreen,fontcolor=darkgreen, label="Coverage"];
    hirend -> t4;
    hirend -> t5;

    stype -> t1;
    stype -> t2;
    stype -> t3;
    stype -> t4;
    stype -> t5;
    stype -> t6;
    stype -> t7;
  }
	
  {
	  hirend -> t4 [style=dashed,color=dimgray,fontcolor=dimgray,label="LeftToken"];
	  hirend -> t5 [style=dashed,color=dimgray,fontcolor=dimgray,label="RightToken"];
  }	

  {
    stype -> t1 [style=dashed,color=dimgray,fontcolor=dimgray,label="LeftToken"];
	  stype -> t7 [style=dashed,color=dimgray,fontcolor=dimgray,label="RightToken"];
  }
}
