Property RingSingleMessageInMbox-PT-d2m010-LTLFireability-00
  "Automatically generated"
  is:
    A X G ("t44134"? & X "t44134"?)
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLFireability-01
  "Automatically generated"
  is:
    A ("t43029"? & F G F G X ("t79209"? & F X "t138154"?))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLFireability-02
  "Automatically generated"
  is:
    A X G (((!"t112217"? U X "t20868"?) U "t212595"?) U G "t92424"?)
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLFireability-03
  "Automatically generated"
  is:
    A (!"t12713"? | !F ("t147666"? & "t10549"?) | !G "t147666"?)
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLFireability-04
  "Automatically generated"
  is:
    A G (G X "t200854"? & !X "t121372"?)
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLFireability-05
  "Automatically generated"
  is:
    A X ("t37435"? | (F !"t100713"? U (!"t151496"? U ("t100713"? & "t151496"?))))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLFireability-06
  "Automatically generated"
  is:
    A !(F G !"t176310"? | G X X "t147798"?)
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLFireability-07
  "Automatically generated"
  is:
    A X !X F !F "t54828"?
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLFireability-08
  "Automatically generated"
  is:
    A (G "t148173"? & X !(G "t190519"? U X X "t172246"?))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLFireability-09
  "Automatically generated"
  is:
    A !G ("t97579"? & F !G (X "t59631"? U "t113429"?))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLFireability-10
  "Automatically generated"
  is:
    A (F G X ("t165103"? & "t47635"?) U ("t165103"? | F X F "t166892"?))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLFireability-11
  "Automatically generated"
  is:
    A F (X "t119590"? & (!"t185955"? | F "t178536"?) & G "t119590"?)
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLFireability-12
  "Automatically generated"
  is:
    A (X "t149201"? & (("t116876"? U X "t116876"?) U (!"t116876"? | G ("t116876"? | "t181589"?))))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLFireability-13
  "Automatically generated"
  is:
    A ((G "t164571"? U "t158582"?) & ("t164571"? | F !"t158582"?))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLFireability-14
  "Automatically generated"
  is:
    A (X F X "t93965"? | X (X X "t58573"? & !("t93965"? U !"t58573"?)))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLFireability-15
  "Automatically generated"
  is:
    A (!("t11214"? & F "t11214"?) U X ("t20178"? | "t56569"? | "t104673"?))
  end.
