Property LoLA_Ausgabe-ReachabilityFireability-00
  "Automatically generated"
  is:
    A G ! (("t19197"?) & (! (("t7521"?) | ("t7756"?))))
  end.
Property LoLA_Ausgabe-ReachabilityFireability-01
  "Automatically generated"
  is:
    E F ! ! (((("t22412"?) & ("t17006"?))) | ("t12508"?))
  end.
Property LoLA_Ausgabe-ReachabilityFireability-02
  "Automatically generated"
  is:
    E F ! ! (((("t19862"?) & ("t1124"?))) & ("t23563"?))
  end.
Property LoLA_Ausgabe-ReachabilityFireability-03
  "Automatically generated"
  is:
    E F "t5821"?
  end.
Property LoLA_Ausgabe-ReachabilityFireability-04
  "Automatically generated"
  is:
    E F (("t20968"?) & ((((("t1383"?) & ((("t2303"?) | ("t3816"?))))) | ("t26962"?))))
  end.
Property LoLA_Ausgabe-ReachabilityFireability-05
  "Automatically generated"
  is:
    E F (("t18886"?) & (! "t2539"?))
  end.
Property LoLA_Ausgabe-ReachabilityFireability-06
  "Automatically generated"
  is:
    A G ! "t5213"?
  end.
Property LoLA_Ausgabe-ReachabilityFireability-07
  "Automatically generated"
  is:
    E F ((! ((! "t23700"?) | ("t558"?))) | (! ! (("t22831"?) & ("t27399"?))))
  end.
Property LoLA_Ausgabe-ReachabilityFireability-08
  "Automatically generated"
  is:
    E F "t14633"?
  end.
Property LoLA_Ausgabe-ReachabilityFireability-09
  "Automatically generated"
  is:
    E F "t6902"?
  end.
Property LoLA_Ausgabe-ReachabilityFireability-10
  "Automatically generated"
  is:
    E F (("t11736"?) & (! "t4390"?))
  end.
Property LoLA_Ausgabe-ReachabilityFireability-11
  "Automatically generated"
  is:
    E F (((((((("t17717"?) | ("t14169"?))) | ((("t5902"?) | ("t10326"?))))) & (! (("t27290"?) | ("t15610"?))))) & ("t0"?))
  end.
Property LoLA_Ausgabe-ReachabilityFireability-12
  "Automatically generated"
  is:
    A G ! ((! ! "t5793"?) & ("t11772"?))
  end.
Property LoLA_Ausgabe-ReachabilityFireability-13
  "Automatically generated"
  is:
    E F (((((("t20549"?) & (! "t8236"?))) | ((((("t469"?) | ("t5718"?))) | (! "t1454"?))))) & (((! ! "t26643"?) & ("t18867"?))))
  end.
Property LoLA_Ausgabe-ReachabilityFireability-14
  "Automatically generated"
  is:
    E F ((((! ! "t27328"?) & (! (("t11676"?) | ("t13219"?))))) | ((("t8848"?) & (((! "t25602"?) | ("t2797"?))))))
  end.
Property LoLA_Ausgabe-ReachabilityFireability-15
  "Automatically generated"
  is:
    E F "t22859"?
  end.
