Property DLCflexbar-PT-8a-ReachabilityFireability-00
  "Automatically generated"
  is:
    E F "t14138"?
  end.
Property DLCflexbar-PT-8a-ReachabilityFireability-01
  "Automatically generated"
  is:
    E F ! ((((! "t13125"?) | ("t28812"?))) & ((("t14773"?) | (! "t18517"?))))
  end.
Property DLCflexbar-PT-8a-ReachabilityFireability-02
  "Automatically generated"
  is:
    A G ! (("t9974"?) & ((("t21072"?) & ((("t5902"?) | ("t21863"?))))))
  end.
Property DLCflexbar-PT-8a-ReachabilityFireability-03
  "Automatically generated"
  is:
    E F (((("t3521"?) | ("t1538"?))) & ((("t452"?) & ((((("t18710"?) & ("t21143"?))) & ((("t16551"?) & ("t4386"?))))))))
  end.
Property DLCflexbar-PT-8a-ReachabilityFireability-04
  "Automatically generated"
  is:
    A G ! "t19719"?
  end.
Property DLCflexbar-PT-8a-ReachabilityFireability-05
  "Automatically generated"
  is:
    A G ((((((! "t2575"?) & ("t4940"?))) & ("t1358"?))) | (! (("t24368"?) | ("t5164"?))))
  end.
Property DLCflexbar-PT-8a-ReachabilityFireability-06
  "Automatically generated"
  is:
    A G ! ((! ! "t16363"?) & (! (("t26179"?) | ("t25014"?))))
  end.
Property DLCflexbar-PT-8a-ReachabilityFireability-07
  "Automatically generated"
  is:
    A G ((((! (("t19599"?) & ("t3879"?))) | ((((("t22459"?) & ("t3939"?))) | ((("t28397"?) | ("t14700"?))))))) | ((((("t13330"?) & ((("t18635"?) & ("t17159"?))))) & (((! "t17400"?) & ((("t2862"?) | ("t8112"?))))))))
  end.
Property DLCflexbar-PT-8a-ReachabilityFireability-08
  "Automatically generated"
  is:
    E F (("t29805"?) & (! ((! "t13229"?) | (! "t894"?))))
  end.
Property DLCflexbar-PT-8a-ReachabilityFireability-09
  "Automatically generated"
  is:
    E F ! (((("t11522"?) | ("t16113"?))) | (((! "t28529"?) | ((("t18298"?) & ("t30632"?))))))
  end.
Property DLCflexbar-PT-8a-ReachabilityFireability-10
  "Automatically generated"
  is:
    E F (("t15492"?) & (((! ! "t28029"?) & (((! "t13467"?) | (! "t5860"?))))))
  end.
Property DLCflexbar-PT-8a-ReachabilityFireability-11
  "Automatically generated"
  is:
    E F "t10365"?
  end.
Property DLCflexbar-PT-8a-ReachabilityFireability-12
  "Automatically generated"
  is:
    E F "t19731"?
  end.
Property DLCflexbar-PT-8a-ReachabilityFireability-13
  "Automatically generated"
  is:
    E F "t22100"?
  end.
Property DLCflexbar-PT-8a-ReachabilityFireability-14
  "Automatically generated"
  is:
    A G ((! "t20941"?) | ((("t21841"?) & ("t8581"?))))
  end.
Property DLCflexbar-PT-8a-ReachabilityFireability-15
  "Automatically generated"
  is:
    E F (((("t16303"?) | ("t1086"?))) & (((((! "t24983"?) | ((("t20651"?) & ("t2239"?))))) & ((("t3207"?) | (! "t21084"?))))))
  end.
