Property DLCflexbar-PT-8a-ReachabilityCardinality-00
  "Automatically generated"
  is:
    E F ! ! ((((2) <= (#tokens("p379")))) | (((3) <= (#tokens("p3134")))))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-01
  "Automatically generated"
  is:
    A G ((! ((((2) <= (#tokens("p2356")))) & (((#tokens("p2087")) <= (#tokens("p393")))))) | (((((#tokens("p3233")) <= (#tokens("p3352")))) & (((#tokens("p464")) <= (#tokens("p3365")))))))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-02
  "Automatically generated"
  is:
    E F ((((((((#tokens("p415")) <= (#tokens("p122")))) | (((#tokens("p2592")) <= (#tokens("p3047")))))) | (! ((2) <= (#tokens("p1399")))))) & (((3) <= (#tokens("p906")))))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-03
  "Automatically generated"
  is:
    E F ((! ! ((3) <= (#tokens("p3374")))) | (((3) <= (#tokens("p1214")))))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-04
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p3659")))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-05
  "Automatically generated"
  is:
    E F ! ((#tokens("p3239")) <= (#tokens("p1267")))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-06
  "Automatically generated"
  is:
    A G ((! ((2) <= (#tokens("p3786")))) | (((! ((1) <= (#tokens("p2064")))) & (! ((1) <= (#tokens("p1105")))))))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-07
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("p1191")))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-08
  "Automatically generated"
  is:
    A G ((! ((3) <= (#tokens("p767")))) | (! ((#tokens("p2125")) <= (#tokens("p795")))))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-09
  "Automatically generated"
  is:
    E F ((((((((#tokens("p917")) <= (#tokens("p935")))) | (((1) <= (#tokens("p3469")))))) & (((((#tokens("p3380")) <= (#tokens("p1401")))) & (((3) <= (#tokens("p2921")))))))) & (((2) <= (#tokens("p2925")))))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-10
  "Automatically generated"
  is:
    A G ((#tokens("p2651")) <= (#tokens("p2992")))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-11
  "Automatically generated"
  is:
    E F ((((3) <= (#tokens("p3701")))) & (! ((((1) <= (#tokens("p2854")))) & (((#tokens("p3867")) <= (#tokens("p1390")))))))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-12
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("p1682")))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-13
  "Automatically generated"
  is:
    E F ((((((((3) <= (#tokens("p1116")))) & (((3) <= (#tokens("p3187")))))) & (((((#tokens("p2744")) <= (#tokens("p45")))) | (((#tokens("p2951")) <= (#tokens("p630")))))))) & (((#tokens("p307")) <= (#tokens("p2545")))))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-14
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p2990")))
  end.
Property DLCflexbar-PT-8a-ReachabilityCardinality-15
  "Automatically generated"
  is:
    E F ((! ! ((1) <= (#tokens("p1069")))) & (((((((2) <= (#tokens("p1992")))) & (((1) <= (#tokens("p185")))))) & (((((3) <= (#tokens("p3168")))) & (((#tokens("p527")) <= (#tokens("p103")))))))))
  end.
