Property gen-ReachabilityFireability-00
  "Automatically generated"
  is:
    E F ! (("Node62SelectsANodeOfTheLeafSetOfLxToReplaceNode12"?) | ((((("Node4ReceiveTheLeafSetOfRxToReplaceNode46"?) | ("Node44DetectsBreakDownOfNode51"?))) | (! "Node3SelectsANodeOfTheLeafSetOfLxToReplaceNode5"?))))
  end.
Property gen-ReachabilityFireability-01
  "Automatically generated"
  is:
    A G (((("Node54AsksItsLeafSetToRxToReplaceNode39"?) & (((! "Node15ReceiveTheLeafSetOfLxToReplaceNode19"?) & ((("Node20GetTheRightToManageTheBreakDownOfNode13"?) | ("Node4AsksItsLeafSetToLxToReplaceNode28"?))))))) | (((! "Node43SelectsANodeOfTheLeafSetOfLxToReplaceNode18"?) | ((((("Node13DetectsBreakDownOfNode52"?) | ("Node45ReceiveTheLeafSetOfLxToReplaceNode27"?))) | ("Node6SelectsANodeOfTheLeafSetOfLxToReplaceNode0"?))))))
  end.
Property gen-ReachabilityFireability-02
  "Automatically generated"
  is:
    E F ((! ((! "Node37AsksItsLeafSetToLxToReplaceNode16"?) | ((("Node19DetectsBreakDownOfNode28"?) | ("Node28AsksItsLeafSetToRxToReplaceNode41"?))))) | ((((((("Node42GetTheRightToManageTheBreakDownOfNode63"?) & ("Node51AsksItsLeafSetToLxToReplaceNode7"?))) | ((("Node25SelectsANodeOfTheLeafSetOfRxToReplaceNode59"?) & ("Node36SelectsANodeOfTheLeafSetOfRxToReplaceNode48"?))))) & ("Node63SelectsANodeOfTheLeafSetOfRxToReplaceNode37"?))))
  end.
Property gen-ReachabilityFireability-03
  "Automatically generated"
  is:
    E F "Node61AsksItsLeafSetToLxToReplaceNode4"?
  end.
Property gen-ReachabilityFireability-04
  "Automatically generated"
  is:
    A G ((! ((! "Node52DetectsBreakDownOfNode22"?) & ((("Node6SelectsANodeOfTheLeafSetOfLxToReplaceNode30"?) & ("Node1AsksItsLeafSetToLxToReplaceNode12"?))))) | ((((((("Node28ReceiveTheLeafSetOfRxToReplaceNode61"?) & ("Node56AsksItsLeafSetToRxToReplaceNode45"?))) | ((("Node63DetectsBreakDownOfNode59"?) | ("Node54SelectsANodeOfTheLeafSetOfRxToReplaceNode59"?))))) | (! "Node57GetTheRightToManageTheBreakDownOfNode42"?))))
  end.
Property gen-ReachabilityFireability-05
  "Automatically generated"
  is:
    E F (("Node2GetTheRightToManageTheBreakDownOfNode19"?) & (! (((("Node5GetTheRightToManageTheBreakDownOfNode4"?) & ("Node13GetTheRightToManageTheBreakDownOfNode45"?))) & (! "Node53ReceiveTheLeafSetOfLxToReplaceNode15"?))))
  end.
Property gen-ReachabilityFireability-06
  "Automatically generated"
  is:
    A G ! ((((! "Node53GetTheRightToManageTheBreakDownOfNode21"?) | (! "Node22ReceiveTheLeafSetOfRxToReplaceNode33"?))) & ((((("Node34ReceiveTheLeafSetOfRxToReplaceNode44"?) | ("Node31SelectsANodeOfTheLeafSetOfRxToReplaceNode52"?))) & ("Node6SelectsANodeOfTheLeafSetOfLxToReplaceNode19"?))))
  end.
Property gen-ReachabilityFireability-07
  "Automatically generated"
  is:
    A G ((((! (("Node30ReceiveTheLeafSetOfRxToReplaceNode44"?) & ("Node37GetTheRightToManageTheBreakDownOfNode16"?))) & ("Node43GetTheRightToManageTheBreakDownOfNode23"?))) | (! (((("Node7DetectsBreakDownOfNode33"?) & ("Node45SelectsANodeOfTheLeafSetOfRxToReplaceNode37"?))) | ("Node8SelectsANodeOfTheLeafSetOfRxToReplaceNode44"?))))
  end.
Property gen-ReachabilityFireability-08
  "Automatically generated"
  is:
    E F "Node54SelectsANodeOfTheLeafSetOfRxToReplaceNode57"?
  end.
Property gen-ReachabilityFireability-09
  "Automatically generated"
  is:
    A G ! ((! (("Node54DetectsBreakDownOfNode4"?) & ("RxReceiveARequestToSendItsLeafSetToNode57"?))) & ("Node19GetTheRightToManageTheBreakDownOfNode32"?))
  end.
Property gen-ReachabilityFireability-10
  "Automatically generated"
  is:
    A G ! (((("Node8SelectsANodeOfTheLeafSetOfLxToReplaceNode31"?) | ((("Node14SelectsANodeOfTheLeafSetOfRxToReplaceNode57"?) & ("Node30AsksItsLeafSetToRxToReplaceNode37"?))))) & ((("Node47ReceiveTheLeafSetOfLxToReplaceNode20"?) & ((("Node37SelectsANodeOfTheLeafSetOfRxToReplaceNode33"?) | ("Node58ReceiveTheLeafSetOfRxToReplaceNode59"?))))))
  end.
Property gen-ReachabilityFireability-11
  "Automatically generated"
  is:
    E F "Node64AsksItsLeafSetToRxToReplaceNode51"?
  end.
Property gen-ReachabilityFireability-12
  "Automatically generated"
  is:
    E F (((((((("Node63AsksItsLeafSetToLxToReplaceNode15"?) & ("Node9AsksItsLeafSetToLxToReplaceNode3"?))) | ((("Node30SelectsANodeOfTheLeafSetOfRxToReplaceNode64"?) & ("Node23SelectsANodeOfTheLeafSetOfLxToReplaceNode4"?))))) & ((((("Node60SelectsANodeOfTheLeafSetOfRxToReplaceNode48"?) & ("Node50SelectsANodeOfTheLeafSetOfRxToReplaceNode64"?))) & (! "Node37ReceiveTheLeafSetOfLxToReplaceNode21"?))))) & (! "Node0AsksItsLeafSetToRxToReplaceNode58"?))
  end.
Property gen-ReachabilityFireability-13
  "Automatically generated"
  is:
    E F "Node56AsksItsLeafSetToRxToReplaceNode38"?
  end.
Property gen-ReachabilityFireability-14
  "Automatically generated"
  is:
    E F (("Node44DetectsBreakDownOfNode34"?) & ((((((("Node33SelectsANodeOfTheLeafSetOfLxToReplaceNode16"?) & ("Node11GetTheRightToManageTheBreakDownOfNode28"?))) | ((("Node46GetTheRightToManageTheBreakDownOfNode10"?) | ("Node24AsksItsLeafSetToLxToReplaceNode22"?))))) & ("Node39ReceiveTheLeafSetOfLxToReplaceNode23"?))))
  end.
Property gen-ReachabilityFireability-15
  "Automatically generated"
  is:
    A G ! (((((("Node45AsksItsLeafSetToLxToReplaceNode17"?) & ("Node33AsksItsLeafSetToRxToReplaceNode32"?))) | ((("Node31GetTheRightToManageTheBreakDownOfNode45"?) & ("Node26GetTheRightToManageTheBreakDownOfNode63"?))))) & (! (("Node31SelectsANodeOfTheLeafSetOfLxToReplaceNode6"?) | ("Node8ReceiveTheLeafSetOfLxToReplaceNode29"?))))
  end.
