An event.  Logical OR.  Logical AND.  Logical NOT. Named branch node.  Leaf node. Logical implication. )Render a Graphviz dot file from a set of  (fault) trees.         fault-tree-0.0.0Language.FaultTreeEventOrAndNotBranchLeafimplydotcutsetsNameevents