report/d1.dot

   1 digraph {
   2         i1 [label=<I<SUB>1</SUB>>]
   3         i2 [label=<I<SUB>2</SUB>>]
   4         n [shape=plaintext label="Noisy OR"]
   5         n -> alarm [style=invis]
   6         gibbons [label="Gibbons calls"]
   7         watson [label="Watson calls"]
   8         newscast [rank=max label="Newcast calls"]
   9
  10         earthquake -> i1
  11         burglar -> i2
  12         i1 -> alarm
  13         i2 -> alarm
  14         alarm -> watson
  15         alarm -> gibbons
  16         earthquake -> newscast
  17 }