digraph {
- earthquake -> alarm
- earthquake -> holmes
- burglar -> alarm
-
+ i1 [label=<I<SUB>1</SUB>>]
+ i2 [label=<I<SUB>2</SUB>>]
+ n [shape=plaintext label="Noisy OR"]
+ n -> alarm [style=invis]
+ gibbons [label="Gibbons calls"]
+ watson [label="Watson calls"]
+ newscast [rank=max label="Radio calls"]
+
+ earthquake -> i1
+ burglar -> i2
+ i1 -> alarm
+ i2 -> alarm
alarm -> watson
- alarm -> holmes
- watson -> holmes
+ alarm -> gibbons
+ earthquake -> newscast
}