Property ErlangenMainframeV0-PT-1104-LTLFireability-00
  "Automatically generated"
  is:
    A X X (X X X "t7271"? | !("t16954"? U F "t7280"?))
  end.
Property ErlangenMainframeV0-PT-1104-LTLFireability-01
  "Automatically generated"
  is:
    A (X (!"t13595"? & "t6987"?) | G ("t16032"? & ("t16032"? | X G F "t9465"?)))
  end.
Property ErlangenMainframeV0-PT-1104-LTLFireability-02
  "Automatically generated"
  is:
    A F (F X X ("t17319"? & F "t14209"?) | !G X X X "t6848"?)
  end.
Property ErlangenMainframeV0-PT-1104-LTLFireability-03
  "Automatically generated"
  is:
    A X !X X X ((G "t6056"? U G "t22483"?) U X "t9261"?)
  end.
Property ErlangenMainframeV0-PT-1104-LTLFireability-04
  "Automatically generated"
  is:
    A G F X X G ("t4678"? U F G F "t4678"?)
  end.
Property ErlangenMainframeV0-PT-1104-LTLFireability-05
  "Automatically generated"
  is:
    A (((F "t7019"? | G "t377"?) U G "t25904"?) U ("t7019"? & X X X "t7019"?))
  end.
Property ErlangenMainframeV0-PT-1104-LTLFireability-06
  "Automatically generated"
  is:
    A (G "t1853"? & (X !"t7419"? U F !"t26105"?))
  end.
Property ErlangenMainframeV0-PT-1104-LTLFireability-07
  "Automatically generated"
  is:
    A !("t18168"? | X X (G "t24767"? U "t15002"?))
  end.
Property ErlangenMainframeV0-PT-1104-LTLFireability-08
  "Automatically generated"
  is:
    A ("t3582"? U G "t3582"?)
  end.
Property ErlangenMainframeV0-PT-1104-LTLFireability-09
  "Automatically generated"
  is:
    A (X "t30942"? U F "t30942"?)
  end.
Property ErlangenMainframeV0-PT-1104-LTLFireability-10
  "Automatically generated"
  is:
    A (F G "t10176"? & (F "t28189"? | G ("t1457"? | G ("t4841"? | F "t20316"?))))
  end.
Property ErlangenMainframeV0-PT-1104-LTLFireability-11
  "Automatically generated"
  is:
    A !G X F ("t9845"? U X !"t13942"?)
  end.
Property ErlangenMainframeV0-PT-1104-LTLFireability-12
  "Automatically generated"
  is:
    A (X ("t12985"? & F "t1904"?) | F G ("t9633"? & X "t29902"?))
  end.
Property ErlangenMainframeV0-PT-1104-LTLFireability-13
  "Automatically generated"
  is:
    A ((!(!"t5451"? U G "t5451"?) U X !"t9553"?) & ("t27995"? | F "t3009"?))
  end.
Property ErlangenMainframeV0-PT-1104-LTLFireability-14
  "Automatically generated"
  is:
    A X X X (X X X "t9270"? & (("t18090"? | "t5139"?) U "t16255"?))
  end.
Property ErlangenMainframeV0-PT-1104-LTLFireability-15
  "Automatically generated"
  is:
    A F ("t10689"? & "t4563"? & G (G !"t27041"? U G X ("t10689"? U "t27041"?)))
  end.
