Property DLCflexbar-PT-8a-ReachabilityCardinality-00
  "Automatically generated"
  is:
    E F ((((3) <= (#tokens("p489")))) & (((1) <= (#tokens("p3465")))))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-01
  "Automatically generated"
  is:
    A G ((! ! ((1) <= (#tokens("p852")))) | (! ((3) <= (#tokens("p82")))))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-02
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p250")))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-03
  "Automatically generated"
  is:
    A G ((#tokens("p1697")) <= (#tokens("p3706")))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-04
  "Automatically generated"
  is:
    A G ((#tokens("p844")) <= (#tokens("p1694")))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-05
  "Automatically generated"
  is:
    A G ! ((((((#tokens("p476")) <= (#tokens("p3063")))) & (((2) <= (#tokens("p1475")))))) | (((((3) <= (#tokens("p3486")))) & (((#tokens("p3541")) <= (#tokens("p1559")))))))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-06
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p1869")))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-07
  "Automatically generated"
  is:
    A G ((((((1) <= (#tokens("p1096")))) & (((((#tokens("p2529")) <= (#tokens("p1410")))) | (((2) <= (#tokens("p104")))))))) | (! ((2) <= (#tokens("p1825")))))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-08
  "Automatically generated"
  is:
    E F ((((#tokens("p3376")) <= (#tokens("p1012")))) & (! ((((#tokens("p3439")) <= (#tokens("p376")))) & (((#tokens("p1394")) <= (#tokens("p0")))))))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-09
  "Automatically generated"
  is:
    E F ! ((! ((2) <= (#tokens("p3055")))) | (! ((1) <= (#tokens("p1666")))))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-10
  "Automatically generated"
  is:
    E F ((! ! ((2) <= (#tokens("p518")))) & (! ((((#tokens("p3525")) <= (#tokens("p3730")))) & (((#tokens("p2318")) <= (#tokens("p2749")))))))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-11
  "Automatically generated"
  is:
    A G ((! ((((3) <= (#tokens("p3140")))) & (((#tokens("p2519")) <= (#tokens("p3916")))))) & (((#tokens("p2813")) <= (#tokens("p3595")))))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-12
  "Automatically generated"
  is:
    A G ((#tokens("p3926")) <= (#tokens("p2935")))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-13
  "Automatically generated"
  is:
    A G ((((((((3) <= (#tokens("p2825")))) | (((#tokens("p346")) <= (#tokens("p2287")))))) & (((((1) <= (#tokens("p2692")))) & (((#tokens("p347")) <= (#tokens("p847")))))))) | (! ((((2) <= (#tokens("p3035")))) & (((1) <= (#tokens("p2984")))))))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-14
  "Automatically generated"
  is:
    E F ((((((((#tokens("p2505")) <= (#tokens("p3555")))) | (((#tokens("p292")) <= (#tokens("p3343")))))) & (((((1) <= (#tokens("p3630")))) & (((#tokens("p3456")) <= (#tokens("p114")))))))) & (((((((#tokens("p648")) <= (#tokens("p3930")))) & (((#tokens("p1677")) <= (#tokens("p2258")))))) & (! ((3) <= (#tokens("p2120")))))))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-15
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p2429")))
  end.
