Property gen-ReachabilityCardinality-00
  "Automatically generated"
  is:
    A G ! ((((((1) <= (#tokens("Node39ManageTheBreakDownOfNode9")))) & (((3) <= (#tokens("Node44ManageTheBreakDownOfNode29")))))) & (((((#tokens("Node63WantsToManageTheBreakDownOfNode18")) <= (#tokens("Node43HasTheLeafSetOfLxToReplaceNode10")))) | (((3) <= (#tokens("Node51HasAskedItsLeafSetToLxToReplaceNode17")))))))
  end.
Property gen-ReachabilityCardinality-01
  "Automatically generated"
  is:
    E F ! ((#tokens("Node51WantsToManageTheBreakDownOfNode60")) <= (#tokens("Node57FailureProcessedByNode39")))
  end.
Property gen-ReachabilityCardinality-02
  "Automatically generated"
  is:
    E F ((((((((#tokens("Node3HasTheLeafSetOfRxToReplaceNode64")) <= (#tokens("Node46WantsToManageTheBreakDownOfNode6")))) & (((3) <= (#tokens("Node8FailureProcessedByNode49")))))) & (((2) <= (#tokens("Node43WantsToManageTheBreakDownOfNode14")))))) & (((#tokens("Node0FailureProcessedByNode63")) <= (#tokens("Node3HasTheLeafSetOfLxToReplaceNode29")))))
  end.
Property gen-ReachabilityCardinality-03
  "Automatically generated"
  is:
    A G ! ! ((((#tokens("Node26WantsToManageTheBreakDownOfNode1")) <= (#tokens("Node47HasAskedItsLeafSetToRxToReplaceNode37")))) & (((#tokens("Node9HasAskedItsLeafSetToLxToReplaceNode2")) <= (#tokens("Node46WantsToManageTheBreakDownOfNode1")))))
  end.
Property gen-ReachabilityCardinality-04
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("Node4ManageTheBreakDownOfNode42")))
  end.
Property gen-ReachabilityCardinality-05
  "Automatically generated"
  is:
    E F ((((3) <= (#tokens("Node39FailureProcessedByNode30")))) & (((3) <= (#tokens("Node15ManageTheBreakDownOfNode27")))))
  end.
Property gen-ReachabilityCardinality-06
  "Automatically generated"
  is:
    E F ! ! ((((#tokens("Node31HasAskedItsLeafSetToLxToReplaceNode18")) <= (#tokens("Node26HasTheLeafSetOfRxToReplaceNode51")))) & (((2) <= (#tokens("Node1WantsToManageTheBreakDownOfNode46")))))
  end.
Property gen-ReachabilityCardinality-07
  "Automatically generated"
  is:
    E F ! ((#tokens("Node48HasTheLeafSetOfLxToReplaceNode7")) <= (#tokens("Node20FailureProcessedByNode5")))
  end.
Property gen-ReachabilityCardinality-08
  "Automatically generated"
  is:
    E F ((! ((#tokens("Node39ManageTheBreakDownOfNode12")) <= (#tokens("Node7FailureProcessedByNode8")))) & (((#tokens("Node55HasAskedItsLeafSetToLxToReplaceNode21")) <= (#tokens("Node60HasTheLeafSetOfLxToReplaceNode13")))))
  end.
Property gen-ReachabilityCardinality-09
  "Automatically generated"
  is:
    E F ((1) <= (#tokens("Node12HasAskedItsLeafSetToRxToReplaceNode38")))
  end.
Property gen-ReachabilityCardinality-10
  "Automatically generated"
  is:
    A G ((#tokens("Node25WantsToManageTheBreakDownOfNode0")) <= (#tokens("Node4HasTheLeafSetOfLxToReplaceNode1")))
  end.
Property gen-ReachabilityCardinality-11
  "Automatically generated"
  is:
    E F ! ! ((((3) <= (#tokens("Node22HasTheLeafSetOfRxToReplaceNode33")))) & (((1) <= (#tokens("Node17FailureProcessedByNode14")))))
  end.
Property gen-ReachabilityCardinality-12
  "Automatically generated"
  is:
    A G ((#tokens("Node41ManageTheBreakDownOfNode19")) <= (#tokens("Node23FailureProcessedByNode57")))
  end.
Property gen-ReachabilityCardinality-13
  "Automatically generated"
  is:
    A G ((((#tokens("LeafSetOfLxIsSentToNode22")) <= (#tokens("Node32HasAskedItsLeafSetToLxToReplaceNode25")))) | (((#tokens("Node0ManageTheBreakDownOfNode44")) <= (#tokens("Node14FailureProcessedByNode16")))))
  end.
Property gen-ReachabilityCardinality-14
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("Node32ManageTheBreakDownOfNode11")))
  end.
Property gen-ReachabilityCardinality-15
  "Automatically generated"
  is:
    A G ! ((1) <= (#tokens("Node48ManageTheBreakDownOfNode10")))
  end.
