Property LeafsetExtension-PT-S64C4-00
  "Automatically generated"
  is:
    A X X (G !"Node58AsksItsLeafSetToRxToReplaceNode33"? & F "Node48AsksItsLeafSetToRxToReplaceNode51"?)
  end.
Property LeafsetExtension-PT-S64C4-01
  "Automatically generated"
  is:
    A (!(F G ("Node55ReceiveTheLeafSetOfLxToReplaceNode7"? U "Node44SelectsANodeOfTheLeafSetOfRxToReplaceNode61"?) U (X "Node61DetectsBreakDownOfNode24"? U "Node55ReceiveTheLeafSetOfLxToReplaceNode7"?)) U !F "Node57GetTheRightToManageTheBreakDownOfNode53"?)
  end.
Property LeafsetExtension-PT-S64C4-02
  "Automatically generated"
  is:
    A (G X ("Node46AsksItsLeafSetToRxToReplaceNode60"? | "Node23ReceiveTheLeafSetOfLxToReplaceNode4"?) & (!"Node46AsksItsLeafSetToRxToReplaceNode60"? U G "Node46AsksItsLeafSetToRxToReplaceNode60"?))
  end.
Property LeafsetExtension-PT-S64C4-03
  "Automatically generated"
  is:
    A G !X X X ("Node4GetTheRightToManageTheBreakDownOfNode3"? & G ("Node45ReceiveTheLeafSetOfLxToReplaceNode24"? & "Node4GetTheRightToManageTheBreakDownOfNode3"?))
  end.
Property LeafsetExtension-PT-S64C4-04
  "Automatically generated"
  is:
    A (("Node43SelectsANodeOfTheLeafSetOfLxToReplaceNode29"? | F "Node43SelectsANodeOfTheLeafSetOfLxToReplaceNode29"?) & X G "Node60GetTheRightToManageTheBreakDownOfNode48"?)
  end.
Property LeafsetExtension-PT-S64C4-05
  "Automatically generated"
  is:
    A (("Node33ReceiveTheLeafSetOfLxToReplaceNode7"? U F G F "Node49GetTheRightToManageTheBreakDownOfNode21"?) U G "Node42ReceiveTheLeafSetOfRxToReplaceNode36"?)
  end.
Property LeafsetExtension-PT-S64C4-06
  "Automatically generated"
  is:
    A !F (X "Node8AsksItsLeafSetToRxToReplaceNode41"? U F X X "Node24AsksItsLeafSetToLxToReplaceNode13"?)
  end.
Property LeafsetExtension-PT-S64C4-07
  "Automatically generated"
  is:
    A !G F !(!"Node15DetectsBreakDownOfNode16"? & G (X "Node33SelectsANodeOfTheLeafSetOfRxToReplaceNode40"? | ("Node55SelectsANodeOfTheLeafSetOfLxToReplaceNode16"? & G "Node33SelectsANodeOfTheLeafSetOfRxToReplaceNode40"?)))
  end.
Property LeafsetExtension-PT-S64C4-08
  "Automatically generated"
  is:
    A X G (!F "Node10AsksItsLeafSetToRxToReplaceNode55"? | X X !"Node10AsksItsLeafSetToRxToReplaceNode55"?)
  end.
Property LeafsetExtension-PT-S64C4-09
  "Automatically generated"
  is:
    A !X G (("Node56AsksItsLeafSetToLxToReplaceNode2"? U "Node37SelectsANodeOfTheLeafSetOfLxToReplaceNode10"?) & X ("Node37SelectsANodeOfTheLeafSetOfLxToReplaceNode10"? & X ("Node49GetTheRightToManageTheBreakDownOfNode26"? | X "Node56ReceiveTheLeafSetOfLxToReplaceNode6"?)))
  end.
Property LeafsetExtension-PT-S64C4-10
  "Automatically generated"
  is:
    A (X X "Node63ReceiveTheLeafSetOfLxToReplaceNode17"? & !G ("Node33ReceiveTheLeafSetOfRxToReplaceNode39"? U "Node61GetTheRightToManageTheBreakDownOfNode12"?) & (X "Node63ReceiveTheLeafSetOfLxToReplaceNode17"? | G "Node33ReceiveTheLeafSetOfRxToReplaceNode39"?))
  end.
Property LeafsetExtension-PT-S64C4-11
  "Automatically generated"
  is:
    A ("Node46DetectsBreakDownOfNode55"? & F (F X "Node46DetectsBreakDownOfNode55"? & F "Node57SelectsANodeOfTheLeafSetOfRxToReplaceNode51"? & ("Node46DetectsBreakDownOfNode55"? | X "Node51DetectsBreakDownOfNode49"?)))
  end.
Property LeafsetExtension-PT-S64C4-12
  "Automatically generated"
  is:
    A (("Node6AsksItsLeafSetToLxToReplaceNode27"? | !"Node54GetTheRightToManageTheBreakDownOfNode44"?) & F (!F "Node56ReceiveTheLeafSetOfRxToReplaceNode62"? U ("Node34ReceiveTheLeafSetOfLxToReplaceNode18"? U X "Node6AsksItsLeafSetToLxToReplaceNode27"?)))
  end.
Property LeafsetExtension-PT-S64C4-13
  "Automatically generated"
  is:
    A !(("Node22SelectsANodeOfTheLeafSetOfRxToReplaceNode64"? U F "Node39SelectsANodeOfTheLeafSetOfRxToReplaceNode38"?) | ("Node43ReceiveTheLeafSetOfRxToReplaceNode53"? U F !"Node5GetTheRightToManageTheBreakDownOfNode39"?))
  end.
Property LeafsetExtension-PT-S64C4-14
  "Automatically generated"
  is:
    A (X "Node45ReceiveTheLeafSetOfRxToReplaceNode34"? | ("Node53ReceiveTheLeafSetOfLxToReplaceNode0"? & G (G "Node42DetectsBreakDownOfNode9"? & F G "Node53ReceiveTheLeafSetOfLxToReplaceNode0"?)))
  end.
Property LeafsetExtension-PT-S64C4-15
  "Automatically generated"
  is:
    A F X ("Node16ReceiveTheLeafSetOfRxToReplaceNode61"? & X (("Node16ReceiveTheLeafSetOfRxToReplaceNode61"? U "Node50DetectsBreakDownOfNode18"?) | G F "Node16ReceiveTheLeafSetOfRxToReplaceNode61"?))
  end.
