Property RingSingleMessageInMbox-PT-d2m005-LTLFireability-00
  "Automatically generated"
  is:
    A F ("t165296"? | (!X ("t158325"? U "t165296"?) U G "t165296"?))
  end.
Property RingSingleMessageInMbox-PT-d2m005-LTLFireability-01
  "Automatically generated"
  is:
    A (F G F "t72092"? U (F "t125887"? | G ("t125887"? U X !X "t156995"?)))
  end.
Property RingSingleMessageInMbox-PT-d2m005-LTLFireability-02
  "Automatically generated"
  is:
    A F X (X "t135692"? U X G (F "t118056"? U G "t130206"?))
  end.
Property RingSingleMessageInMbox-PT-d2m005-LTLFireability-03
  "Automatically generated"
  is:
    A (F "t25"? & (F !G "t135891"? U G "t100595"?))
  end.
Property RingSingleMessageInMbox-PT-d2m005-LTLFireability-04
  "Automatically generated"
  is:
    A G !X (X X X "t70406"? & (!"t70406"? | X X "t83178"?))
  end.
Property RingSingleMessageInMbox-PT-d2m005-LTLFireability-05
  "Automatically generated"
  is:
    A (X X "t192395"? & !X G (G "t43548"? | G ("t208062"? U G "t80974"?)))
  end.
Property RingSingleMessageInMbox-PT-d2m005-LTLFireability-06
  "Automatically generated"
  is:
    A F (F X X "t118369"? & (F "t201479"? U ("t148919"? | G ("t118369"? | "t135714"?))))
  end.
Property RingSingleMessageInMbox-PT-d2m005-LTLFireability-07
  "Automatically generated"
  is:
    A !(X "t69476"? U !F G ("t69476"? U G F "t199224"?))
  end.
Property RingSingleMessageInMbox-PT-d2m005-LTLFireability-08
  "Automatically generated"
  is:
    A F (!"t156068"? & !F ("t25979"? | ("t156068"? & !F !"t156068"?)))
  end.
Property RingSingleMessageInMbox-PT-d2m005-LTLFireability-09
  "Automatically generated"
  is:
    A (F "t5019"? & (!"t184699"? | G "t54756"?))
  end.
Property RingSingleMessageInMbox-PT-d2m005-LTLFireability-10
  "Automatically generated"
  is:
    A !F "t100378"?
  end.
Property RingSingleMessageInMbox-PT-d2m005-LTLFireability-11
  "Automatically generated"
  is:
    A X (X !"t20715"? | G ("t53200"? & (X "t53200"? | G !F "t53200"?)))
  end.
Property RingSingleMessageInMbox-PT-d2m005-LTLFireability-12
"Automatically generated"
is:
A ((F "t49793"? & !G !("t140393"? U X "t120782"?)) | ("t170818"? & X "t49793"?))
end.
Property RingSingleMessageInMbox-PT-d2m005-LTLFireability-13
"Automatically generated"
is:
A X (F "t212260"? & X X !F ("t37404"? U G F ("t37404"? U "t212260"?)))
end.
Property RingSingleMessageInMbox-PT-d2m005-LTLFireability-14
"Automatically generated"
is:
A !(("t89552"? | X X X G "t89552"?) U "t11276"?)
end.
Property RingSingleMessageInMbox-PT-d2m005-LTLFireability-15
"Automatically generated"
is:
A ("t155602"? & (X G "t79342"? U F ("t95350"? & "t116712"? & "t79342"?)))
end.
