Property RingSingleMessageInMbox-PT-d2m160-LTLFireability-00
  "Automatically generated"
  is:
    A F X F "t89484"?
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLFireability-01
  "Automatically generated"
  is:
    A ("t41825"? | F X "t130266"? | !F "t168453"?)
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLFireability-02
  "Automatically generated"
  is:
    A !(X "t29538"? U X G (("t85496"? & F "t168652"?) U (X "t85496"? U "t180674"?)))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLFireability-03
  "Automatically generated"
  is:
    A !X X F "t173136"?
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLFireability-04
  "Automatically generated"
  is:
    A X ("t64392"? | X (G X ("t160586"? & X "t160586"?) & F G X "t64392"?))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLFireability-05
  "Automatically generated"
  is:
    A !X (G "t139684"? | ("t195311"? U !("t98524"? & "t113165"?)))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLFireability-06
  "Automatically generated"
  is:
    A (!"t144563"? U G F G X F ("t46151"? | F X X F "t114980"?))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLFireability-07
  "Automatically generated"
  is:
    A G F X F "t187000"?
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLFireability-08
  "Automatically generated"
  is:
    A F X F (!"t88163"? U X G (X "t62497"? U ("t128090"? U X "t88163"?)))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLFireability-09
  "Automatically generated"
  is:
    A F !("t190418"? & X ("t210947"? U ("t21880"? & "t210947"? & F "t21880"?)))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLFireability-10
  "Automatically generated"
  is:
    A ("t3672"? | G "t95879"?)
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLFireability-11
  "Automatically generated"
  is:
    A (F "t123803"? U "t123803"?)
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLFireability-12
  "Automatically generated"
  is:
    A (X F (("t84193"? & "t120164"?) | G !"t63186"?) & G "t63186"? & F "t208873"?)
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLFireability-13
  "Automatically generated"
  is:
    A ("t177305"? & X X (F "t193239"? & F !"t193239"?))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLFireability-14
  "Automatically generated"
  is:
    A X (X "t75206"? & X G ("t142128"? U X X "t142128"?))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLFireability-15
  "Automatically generated"
  is:
    A ("t113350"? U !X ("t113350"? & (G !"t188429"? U "t24851"?)))
  end.
