Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.554688
expression level: 3480.8486
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.708333
expression level: 4796.4062
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.427083
expression level: 3024.7454
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.346354
expression level: 2704.875
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.580729
expression level: 3694.7397
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.299479
expression level: 2591.198
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.364583
expression level: 2934.4497
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.3125
expression level: 2575.1006
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.203125
expression level: 3390.437
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 1.0
expression level: 34418.605
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.609375
expression level: 5951.6357
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.276042
expression level: 3281.909
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.205729
expression level: 3800.4011
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.757812
expression level: 7246.1826
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.221354
expression level: 3111.2068
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.580729
expression level: 5167.873
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.304688
expression level: 3734.2559
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.200521
expression level: 2750.3076
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.247396
expression level: 2249.5334
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.304688
expression level: 3948.333
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.5625
expression level: 4903.54
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.466146
expression level: 3916.5762
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.408854
expression level: 2972.324
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.289062
expression level: 2663.2961
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.208333
expression level: 3003.615
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.208333
expression level: 3200.0513
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.390625
expression level: 3038.461
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.229167
expression level: 2527.531
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.28125
expression level: 4308.2974
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.427083
expression level: 4063.946
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.398438
expression level: 2650.235
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.328125
expression level: 2683.7168
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.257812
expression level: 3455.8315
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.234375
expression level: 3570.8325
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.289062
expression level: 2437.6418
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.700521
expression level: 6377.064
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.877604
expression level: 6102.106
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.489583
expression level: 4351.352
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.247396
expression level: 3404.2893
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.289062
expression level: 3187.1365
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.338542
expression level: 2996.3052
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.833333
expression level: 8515.839
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.341146
expression level: 2615.8223
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.359375
expression level: 3019.6335
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.208333
expression level: 2612.791
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.479167
expression level: 3638.5205
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.322917
expression level: 2776.3699
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.403646
expression level: 3796.0315
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.286458
expression level: 2711.8042
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.291667
expression level: 2538.896
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.596354
expression level: 3639.369
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.34375
expression level: 2859.212
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.635417
expression level: 5911.809
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.200521
expression level: 3273.5488
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.244792
expression level: 3383.459
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.723958
expression level: 4223.5415
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.234375
expression level: 3768.1597
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.419271
expression level: 3085.0676
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.213542
expression level: 3410.01
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3572.6528
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.239583
expression level: 2549.7708
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.338542
expression level: 3868.3135
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.541667
expression level: 4411.805
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.354167
expression level: 4187.306
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.317708
expression level: 2475.3457
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2726.9338
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.231771
expression level: 2198.9346
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.322917
expression level: 3635.0278
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.223958
expression level: 3474.0457
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.401042
expression level: 2941.3074
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.369792
expression level: 3913.1538
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.260417
expression level: 2483.706
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.395833
expression level: 3704.746
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.239583
expression level: 3457.7087
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.203125
expression level: 3791.5447
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.604167
expression level: 5378.449
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.445312
expression level: 2887.507
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.559896
expression level: 3665.479
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.291667
expression level: 2343.9958
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.247396
expression level: 2508.234
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.226562
expression level: 3674.1511
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.572917
expression level: 4672.443
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.505208
expression level: 3237.2397
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.356771
expression level: 2964.2417
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.419271
expression level: 4388.814
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.455729
expression level: 3084.2327
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.239583
expression level: 3652.729
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.200521
expression level: 3645.048
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.385417
expression level: 4153.4697
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.278646
expression level: 4175.4175
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.203125
expression level: 2300.0967
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.229167
expression level: 2336.9966
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.632812
expression level: 3959.696
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.263021
expression level: 3446.0208
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.815104
expression level: 8154.8877
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.572917
expression level: 4400.5635
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.210938
expression level: 3225.03
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.322917
expression level: 2569.2017
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.286458
expression level: 2561.7456
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.351562
expression level: 4171.582
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.458333
expression level: 3390.407
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.270833
expression level: 2706.6968
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.299479
expression level: 2861.4412
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.203125
expression level: 3480.1265
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.294271
expression level: 2437.0833
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.213542
expression level: 3440.7063
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.309896
expression level: 4071.2712
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.247396
expression level: 3018.972
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.255208
expression level: 2376.0762
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.296875
expression level: 3909.7012
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.450521
expression level: 3301.8416
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.505208
expression level: 4832.24
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.255208
expression level: 2402.351
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.351562
expression level: 3801.4543
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.213542
expression level: 2475.7454
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.205729
expression level: 2468.2488
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.34375
expression level: 3582.412
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.226562
expression level: 2526.6968
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.213542
expression level: 3656.3296
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.369792
expression level: 2751.9739
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.476562
expression level: 4380.846
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.588542
expression level: 5347.632
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.221354
expression level: 3388.2627
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.682292
expression level: 4374.9946
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.268229
expression level: 3518.0808
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.276042
expression level: 3131.5347
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.226562
expression level: 3678.232
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.307292
expression level: 2633.8154
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.364583
expression level: 4255.406
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.221354
expression level: 3857.594
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.302083
expression level: 3356.3274
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.205729
expression level: 3514.8738
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.247396
expression level: 2395.0942
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.317708
expression level: 4048.402
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.263021
expression level: 2526.8562
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.268229
expression level: 2611.398
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.21875
expression level: 2404.599
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.302083
expression level: 2931.7659
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.299479
expression level: 3454.174
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.429688
expression level: 3061.8616
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.294271
expression level: 3098.3406
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.294271
expression level: 2698.3179
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2536.9736
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.627604
expression level: 5163.4297
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.554688
expression level: 4908.4814
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.486979
expression level: 4336.5425
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.992188
expression level: 20484.273
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.216146
expression level: 2743.1934
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.291667
expression level: 3751.2703
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.226562
expression level: 2530.1765
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.653646
expression level: 5616.4014
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.356771
expression level: 2831.7747
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.372396
expression level: 2676.1445
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.565104
expression level: 5635.319
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.234375
expression level: 3208.705
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.473958
expression level: 3036.1218
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.385417
expression level: 4368.8667
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.28125
expression level: 2653.9028
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.382812
expression level: 4275.326
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.299479
expression level: 3588.854
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.559896
expression level: 5127.3022
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.221354
expression level: 2293.2363
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.778646
expression level: 5163.2236
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.356771
expression level: 3997.2393
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.247396
expression level: 3412.4475
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.627604
expression level: 3563.4863
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.210938
expression level: 2366.573
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.257812
expression level: 2213.7917
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.338542
expression level: 2574.8914
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.507812
expression level: 3070.5515
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.338542
expression level: 3985.9746
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.354167
expression level: 2629.871
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.223958
expression level: 3873.4985
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.427083
expression level: 4333.5015
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.252604
expression level: 3801.3706
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.380208
expression level: 4447.1836
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.611979
expression level: 5151.5376
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.252604
expression level: 3642.4724
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.760417
expression level: 4438.198
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.273438
expression level: 3588.126
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.322917
expression level: 3826.8032
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.286458
expression level: 3106.0642
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.382812
expression level: 4001.1228
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.429688
expression level: 3127.4045
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.640625
expression level: 4782.9937
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.596354
expression level: 5078.008
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.473958
expression level: 3075.3645
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.239583
expression level: 3593.0796
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.203125
expression level: 2958.5413
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.270833
expression level: 3692.8606
hide in terminfo: true

Axiom
annotated source: FBlc0007801
annotated property: type
annotated target: Restriction
expression extent: 0.367188
expression level: 2714.1301
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.655532
expression level: 4693.4893
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.29158
expression level: 3061.0093
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.487126
expression level: 4038.637
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.203897
expression level: 2605.9922
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.216423
expression level: 3825.3792
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.389005
expression level: 4641.896
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.215031
expression level: 4088.1604
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.398051
expression level: 3453.7058
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.223382
expression level: 2844.7686
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.290188
expression level: 3007.283
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.363953
expression level: 4572.7373
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.219207
expression level: 4141.4023
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.211552
expression level: 4102.7886
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.339596
expression level: 4089.3533
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.526792
expression level: 3883.4722
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.438413
expression level: 5000.902
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.265136
expression level: 3666.7424
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.52888
expression level: 3865.5894
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.217815
expression level: 3852.578
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.217119
expression level: 2863.467
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.277662
expression level: 2899.7566
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.259569
expression level: 3878.588
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.491997
expression level: 3916.5264
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.242171
expression level: 3594.701
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.267919
expression level: 3058.4438
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.212944
expression level: 3909.8699
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.311761
expression level: 4215.0864
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.253305
expression level: 2774.257
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.417537
expression level: 3548.805
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.268615
expression level: 4094.5764
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.219903
expression level: 2832.4683
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.267919
expression level: 3704.0535
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.250522
expression level: 4101.3867
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.281141
expression level: 4065.2576
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.416145
expression level: 3474.5796
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.482951
expression level: 3676.8135
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.216423
expression level: 4281.401
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.203201
expression level: 3936.872
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.372303
expression level: 3879.2524
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.725818
expression level: 10110.304
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.201809
expression level: 2569.777
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.508003
expression level: 5559.5293
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.212248
expression level: 2952.7397
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.287404
expression level: 3950.5518
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.231037
expression level: 3770.1973
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.207376
expression level: 2938.5571
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.235212
expression level: 3891.1716
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.204593
expression level: 3621.297
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.205289
expression level: 2920.0503
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.274878
expression level: 4162.191
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.400139
expression level: 3707.2693
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.212944
expression level: 2757.975
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.347251
expression level: 4221.3223
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.379958
expression level: 3200.8596
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.241475
expression level: 2933.2903
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.243563
expression level: 2886.1199
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.350035
expression level: 4528.9644
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.218511
expression level: 2839.859
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.532359
expression level: 4155.4526
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.556715
expression level: 5623.8535
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.211552
expression level: 3877.7446
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.215727
expression level: 3798.0352
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.202505
expression level: 2772.0962
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.493389
expression level: 5286.573
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.222686
expression level: 2809.832
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.251914
expression level: 4305.2583
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.206681
expression level: 3642.6375
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.247042
expression level: 2786.6514
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.201113
expression level: 2799.6765
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.48643
expression level: 3640.8694
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.292276
expression level: 4157.8364
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.200418
expression level: 3875.4841
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.240779
expression level: 3881.1538
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.229645
expression level: 3550.072
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.354906
expression level: 4339.5737
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.211552
expression level: 3788.2314
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.219903
expression level: 3331.5405
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.214335
expression level: 3879.7349
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.224078
expression level: 3835.5916
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.281837
expression level: 2827.6082
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.200418
expression level: 3618.2651
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.250522
expression level: 3973.379
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.2373
expression level: 3960.5679
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.208768
expression level: 4297.9062
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.238692
expression level: 2883.633
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.241475
expression level: 4117.6577
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.22199
expression level: 2778.309
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.219207
expression level: 2793.7754
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.347251
expression level: 3138.4282
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.331246
expression level: 3005.3494
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.22199
expression level: 3744.1824
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.200418
expression level: 2742.341
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.206681
expression level: 2786.4321
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.305498
expression level: 3198.6025
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.322199
expression level: 4407.6504
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.444676
expression level: 5451.819
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.385525
expression level: 4321.2544
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.205985
expression level: 2880.6687
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.360473
expression level: 3212.2966
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.241475
expression level: 2823.8672
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.663883
expression level: 5148.8403
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.261656
expression level: 4099.85
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.208768
expression level: 2916.6533
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.265136
expression level: 3031.9866
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.302714
expression level: 4013.8296
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.239388
expression level: 3905.6003
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.286013
expression level: 3103.7942
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.2373
expression level: 3808.8494
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.269311
expression level: 4386.494
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.208768
expression level: 2988.3374
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.212248
expression level: 2856.8384
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.401531
expression level: 3653.8528
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.273486
expression level: 4595.0474
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.240779
expression level: 3869.497
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.404315
expression level: 3325.4517
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.325678
expression level: 3423.2388
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.279749
expression level: 3974.5618
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.362561
expression level: 3229.5442
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.289492
expression level: 3128.099
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.266527
expression level: 2964.4836
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.296451
expression level: 4058.6023
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.265832
expression level: 2910.2458
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.335421
expression level: 4129.1157
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.234516
expression level: 2907.8418
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.343076
expression level: 4175.038
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.211552
expression level: 3732.7815
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.253305
expression level: 3965.225
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.304802
expression level: 3218.4963
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.253305
expression level: 2928.9644
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.510786
expression level: 5147.008
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.241475
expression level: 4020.7324
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.569241
expression level: 5176.2124
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.963814
expression level: 13093.143
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.232429
expression level: 4009.6277
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.224774
expression level: 2843.8508
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.491997
expression level: 5731.7773
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.3389
expression level: 4130.3013
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.278358
expression level: 4054.641
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.407794
expression level: 3494.0815
hide in terminfo: true

Axiom
annotated source: FBlc0007802
annotated property: type
annotated target: Restriction
expression extent: 0.217119
expression level: 2743.601
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.667688
expression level: 4708.687
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.25513
expression level: 2764.1274
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.550689
expression level: 4114.3813
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.212864
expression level: 2796.0476
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.202757
expression level: 3513.3137
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.253599
expression level: 3633.129
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.430322
expression level: 4371.5527
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.210413
expression level: 3647.8716
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.374885
expression level: 3258.308
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.266156
expression level: 2876.1433
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.279632
expression level: 2930.3206
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.426953
expression level: 4426.508
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.250536
expression level: 3781.3076
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.317917
expression level: 3942.354
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.50781
expression level: 3650.5015
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.483614
expression level: 5166.505
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.285145
expression level: 3774.3054
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.559265
expression level: 3902.3455
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.228178
expression level: 3657.0586
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.241348
expression level: 2892.7817
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.309648
expression level: 2876.1814
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.277489
expression level: 3682.9636
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.519755
expression level: 3940.1614
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.200306
expression level: 3402.032
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.28147
expression level: 2961.2544
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.239204
expression level: 3455.8801
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.267688
expression level: 3785.366
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.266462
expression level: 2770.5942
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.34732
expression level: 3172.8955
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.211945
expression level: 3471.1287
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.267075
expression level: 3602.727
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.241654
expression level: 2976.5964
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.325881
expression level: 3791.3088
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.222358
expression level: 3737.0251
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.234916
expression level: 3517.5151
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.460337
expression level: 3641.014
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.205819
expression level: 3344.2427
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.429403
expression level: 3345.3333
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.222971
expression level: 3421.883
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.221133
expression level: 3511.703
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.207963
expression level: 3737.597
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.382542
expression level: 3595.0798
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.669832
expression level: 6225.28
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.216233
expression level: 2639.278
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.488208
expression level: 4707.7183
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.215008
expression level: 3279.932
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.236753
expression level: 2799.1218
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.321286
expression level: 3684.8398
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.252374
expression level: 3479.545
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.265237
expression level: 2956.8728
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.227565
expression level: 3689.0417
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.209495
expression level: 2814.6396
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.219908
expression level: 3616.2976
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.47075
expression level: 3916.477
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.205207
expression level: 2577.9011
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.35559
expression level: 4084.219
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.401531
expression level: 3259.3325
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.239204
expression level: 2915.0078
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.247779
expression level: 2808.235
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.275651
expression level: 2873.3154
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.290658
expression level: 3764.9285
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.241654
expression level: 2828.7322
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.548239
expression level: 3787.7683
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.601225
expression level: 5479.664
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.261562
expression level: 3577.5818
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.209801
expression level: 3622.7068
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.216845
expression level: 3380.266
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.227871
expression level: 2768.386
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.207351
expression level: 2731.3123
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.422665
expression level: 4436.304
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.22389
expression level: 3550.423
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.23124
expression level: 2763.836
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.220521
expression level: 2667.1753
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.290658
expression level: 3960.556
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.206738
expression level: 3328.4885
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.265237
expression level: 2824.4087
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.216233
expression level: 2688.6895
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.503216
expression level: 3677.3176
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.229096
expression level: 3885.0747
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.248086
expression level: 3440.6724
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.21317
expression level: 3606.621
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.261256
expression level: 3638.1262
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.267075
expression level: 3474.8306
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.369372
expression level: 4237.204
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.202757
expression level: 3384.458
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.217458
expression level: 3775.0999
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.229709
expression level: 3330.5537
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.207351
expression level: 2740.722
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.236753
expression level: 3520.5454
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.244717
expression level: 3674.6362
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.259418
expression level: 2798.3086
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.240735
expression level: 3586.0642
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.259724
expression level: 3802.7368
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.226953
expression level: 3628.17
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.213783
expression level: 3314.425
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.214395
expression level: 2836.6667
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.206126
expression level: 3297.082
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.258806
expression level: 2821.2625
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.22879
expression level: 2822.9124
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.316692
expression level: 3153.068
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.354364
expression level: 3189.048
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.229709
expression level: 2739.1736
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.226034
expression level: 2732.3374
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.258806
expression level: 2867.9297
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.326493
expression level: 3875.2131
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.403369
expression level: 4581.055
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.403369
expression level: 4185.7764
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.216845
expression level: 3477.9111
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.260031
expression level: 2922.289
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.34487
expression level: 3151.8755
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.286064
expression level: 3036.8577
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.746401
expression level: 5464.5366
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.295865
expression level: 3732.9106
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.212557
expression level: 2741.812
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.27657
expression level: 3022.539
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.291884
expression level: 3665.472
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.262481
expression level: 3656.1106
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.294028
expression level: 2941.613
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.266769
expression level: 3709.6511
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.301991
expression level: 4356.1675
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.215926
expression level: 2693.0493
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.230322
expression level: 2720.585
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.472894
expression level: 3761.219
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.306279
expression level: 3723.0002
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.278714
expression level: 3735.728
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.230934
expression level: 3472.6172
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.403982
expression level: 3241.6216
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.391118
expression level: 3399.3655
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.220214
expression level: 3588.9478
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.339357
expression level: 3007.762
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.217764
expression level: 2787.7112
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.311485
expression level: 3023.038
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.21807
expression level: 3448.556
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.286371
expression level: 2903.3672
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.321593
expression level: 3850.6472
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.279326
expression level: 2788.4978
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.215926
expression level: 2830.788
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.369066
expression level: 3949.795
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.250536
expression level: 2781.2043
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.387749
expression level: 4298.613
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.236753
expression level: 3667.3704
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.245329
expression level: 3925.64
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.345789
expression level: 3147.181
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.270444
expression level: 2942.3022
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.54977
expression level: 4933.4634
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.236753
expression level: 2864.8213
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.2634
expression level: 3927.203
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.588974
expression level: 5209.4946
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.974579
expression level: 12881.376
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.21562
expression level: 2704.324
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.566309
expression level: 5624.0283
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.395712
expression level: 4117.034
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.267075
expression level: 3749.8875
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.460643
expression level: 3424.1016
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.201225
expression level: 2671.1965
hide in terminfo: true

Axiom
annotated source: FBlc0007803
annotated property: type
annotated target: Restriction
expression extent: 0.249617
expression level: 2831.1213
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 6654.463
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4558.942
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.352941
expression level: 8405.433
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.411765
expression level: 7797.9062
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 7791.491
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 6054.992
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.352941
expression level: 4028.6052
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4065.0593
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.352941
expression level: 5525.3247
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 3609.3882
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.470588
expression level: 8099.2256
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.294118
expression level: 5716.1147
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.294118
expression level: 3955.4795
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.588235
expression level: 5801.5347
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 3156.666
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 8675.17
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.294118
expression level: 5693.099
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 6348.5547
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 3325.338
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.294118
expression level: 4456.5884
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.470588
expression level: 7444.8687
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.411765
expression level: 5240.407
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.470588
expression level: 4404.8784
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 3464.8977
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 5678.9087
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4467.9956
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.529412
expression level: 5678.8364
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.294118
expression level: 3916.0024
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.470588
expression level: 5971.1367
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.294118
expression level: 3708.4639
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 5933.9346
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.882353
expression level: 45126.62
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.352941
expression level: 9169.845
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.647059
expression level: 7981.885
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.411765
expression level: 4510.137
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.294118
expression level: 4155.312
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4574.8306
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.294118
expression level: 6344.934
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.470588
expression level: 6276.6187
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.352941
expression level: 4719.381
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 6559.5127
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.294118
expression level: 4452.777
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.352941
expression level: 6348.9697
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.470588
expression level: 4607.219
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.411765
expression level: 3468.222
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4219.288
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.470588
expression level: 7372.0225
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.588235
expression level: 5393.1855
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.529412
expression level: 5292.7554
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.294118
expression level: 4964.7334
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.352941
expression level: 4127.8906
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.470588
expression level: 9624.027
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 9230.186
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 2814.8145
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4053.8455
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 7188.493
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 3112.9883
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.294118
expression level: 6096.7324
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 3899.9746
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 3412.5398
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.470588
expression level: 4276.0874
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 2669.2952
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.352941
expression level: 3775.0808
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.470588
expression level: 5851.755
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 3239.0654
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.294118
expression level: 2882.4448
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4689.7227
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4006.7163
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 3470.114
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.294118
expression level: 3112.4028
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4193.3423
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4163.058
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 13319.075
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.294118
expression level: 4861.055
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4183.072
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 2921.574
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.352941
expression level: 4334.565
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4518.9775
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 5130.4663
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.294118
expression level: 3997.8816
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4848.2354
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.529412
expression level: 7316.9624
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.352941
expression level: 6933.9272
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.411765
expression level: 7420.7515
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 3540.5237
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 3277.4436
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.352941
expression level: 5074.4688
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 7005.499
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.294118
expression level: 3952.7017
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4094.365
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 2785.5627
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 3494.9392
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.294118
expression level: 3837.2014
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 3689.2986
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 12721.562
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.411765
expression level: 4168.015
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.411765
expression level: 4897.83
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.352941
expression level: 4504.613
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 3219.8079
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.294118
expression level: 7027.611
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.294118
expression level: 8081.324
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4997.422
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 2789.4053
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 3372.2124
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4501.2637
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4494.7544
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4464.986
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 3400.6958
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 3981.9019
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4224.434
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.588235
expression level: 7787.9683
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.411765
expression level: 7638.605
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.941176
expression level: 18860.03
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.411765
expression level: 5169.081
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 3162.0312
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.529412
expression level: 6926.992
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 5031.861
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.352941
expression level: 7541.6997
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.588235
expression level: 4469.0474
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.352941
expression level: 3445.414
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 7388.23
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.352941
expression level: 3032.864
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.294118
expression level: 5357.4854
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4161.051
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4600.9004
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 5018.139
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.352941
expression level: 5406.8115
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 8344.378
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 4104.6587
hide in terminfo: true

Axiom
annotated source: FBlc0007804
annotated property: type
annotated target: Restriction
expression extent: 0.235294
expression level: 2914.6196
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.86
expression level: 3905.8809
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.38
expression level: 2866.6472
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.66
expression level: 5158.9365
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.38
expression level: 5406.3936
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1274.1866
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 2510.7676
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.6
expression level: 2522.9329
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.58
expression level: 3222.91
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 1322.9385
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1890.978
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.36
expression level: 2117.4746
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 2821.0557
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.32
expression level: 1998.7196
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.36
expression level: 2257.3994
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 2131.1868
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 1991.1509
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 2088.0046
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 3601.8008
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.3
expression level: 1655.4276
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.42
expression level: 2069.3093
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.4
expression level: 1470.2128
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.58
expression level: 5415.7627
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.64
expression level: 3820.5093
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 2031.4375
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 2291.284
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 2678.6987
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.32
expression level: 1982.6185
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.56
expression level: 3406.2573
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.66
expression level: 3248.9
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.6
expression level: 2309.031
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1437.1416
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.48
expression level: 3258.3005
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 1878.0007
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.34
expression level: 1888.4495
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.68
expression level: 3604.1716
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.34
expression level: 1884.796
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.94
expression level: 5101.5854
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.48
expression level: 2533.48
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.44
expression level: 2849.3247
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.3
expression level: 1695.1671
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1426.0634
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.64
expression level: 2985.5403
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 1958.8044
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.3
expression level: 1490.2051
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 1797.7979
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.3
expression level: 1576.9413
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 1805.6185
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.38
expression level: 1826.7411
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.48
expression level: 3088.14
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.46
expression level: 1885.1873
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 2431.3643
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1952.4182
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1630.4122
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.34
expression level: 4571.9507
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.46
expression level: 2696.8809
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.52
expression level: 2645.1091
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.7
expression level: 4043.3708
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.32
expression level: 1368.4296
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.38
expression level: 2398.452
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.66
expression level: 2969.9543
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.32
expression level: 11208.567
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1843.217
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1142.625
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.36
expression level: 2154.8438
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.4
expression level: 2224.2107
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.48
expression level: 2781.408
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.44
expression level: 2149.1155
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 2087.2559
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 2388.1877
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.7
expression level: 5461.8223
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.78
expression level: 3832.4429
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.68
expression level: 2465.722
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1183.1027
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1695.6412
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 2127.476
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 936.4518
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1152.2844
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.36
expression level: 2647.051
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.38
expression level: 2679.9766
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.42
expression level: 2289.088
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 1759.2655
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.82
expression level: 3885.6685
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.3
expression level: 2549.9148
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 1940.5424
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.32
expression level: 1285.34
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 2838.1199
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.52
expression level: 2050.2246
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 1630.1567
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 2813.873
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.54
expression level: 1920.6307
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.64
expression level: 2789.5752
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.36
expression level: 1921.8529
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.4
expression level: 1995.1171
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.58
expression level: 2170.8945
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 2513.665
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 1.0
expression level: 35956.53
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.72
expression level: 4410.362
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.34
expression level: 1874.2075
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1348.4877
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.88
expression level: 7026.766
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.34
expression level: 2686.4773
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.66
expression level: 3825.5024
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.44
expression level: 3031.0627
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 2492.8823
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 1266.3547
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.32
expression level: 1724.5203
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.36
expression level: 2350.483
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.34
expression level: 1778.0802
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.4
expression level: 3151.509
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 2492.3298
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.7
expression level: 3979.4883
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 2016.8798
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.64
expression level: 3623.8438
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.46
expression level: 2249.4185
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.32
expression level: 1928.0796
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.42
expression level: 2376.0625
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 1526.4155
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.34
expression level: 2187.441
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.56
expression level: 2160.1184
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 1463.1
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 2460.467
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.56
expression level: 2852.568
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.46
expression level: 1804.8451
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1970.5629
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.42
expression level: 1717.034
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 2479.2283
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 1793.9108
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.36
expression level: 1335.8312
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 2486.8066
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.38
expression level: 1540.7793
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.82
expression level: 5958.7407
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.9
expression level: 5787.6743
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 1705.8904
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 2497.927
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 2500.925
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.52
expression level: 3303.7168
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.3
expression level: 2864.0674
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 2385.5166
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 1775.1387
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.36
expression level: 2358.4197
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1305.3636
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.32
expression level: 2315.4114
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 1524.3231
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.42
expression level: 2021.7522
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1212.6548
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 3339.1516
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 1395.267
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 2607.554
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.88
expression level: 7741.9023
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.6
expression level: 2254.991
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1400.8966
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.54
expression level: 2176.03
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 2410.1975
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.58
expression level: 2674.1506
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.46
expression level: 2035.2349
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.6
expression level: 3432.1558
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.38
expression level: 2505.1653
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.4
expression level: 1668.9304
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.7
expression level: 2655.344
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1474.0624
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.4
expression level: 1739.7548
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.66
expression level: 3720.473
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1332.6075
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1132.45
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1814.5026
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 1561.1987
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 2022.025
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.32
expression level: 1947.8398
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1440.0183
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 2605.4563
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.6
expression level: 2363.7056
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 1494.643
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.32
expression level: 2360.58
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.52
expression level: 2534.2063
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 1447.7502
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 2315.3557
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1861.8602
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.42
expression level: 3017.6318
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.68
expression level: 4014.1665
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1677.791
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.54
expression level: 2806.7227
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1369.1943
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.42
expression level: 2026.9062
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1898.7472
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.32
expression level: 1496.3157
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.3
expression level: 1312.004
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 1956.9597
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 2009.4702
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1338.0621
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 2905.3203
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.46
expression level: 2060.6296
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.4
expression level: 2972.4548
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.38
expression level: 2330.7507
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.34
expression level: 2545.0933
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.72
expression level: 5503.6875
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.46
expression level: 2087.6594
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.3
expression level: 1919.6003
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 1720.3927
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.42
expression level: 2447.715
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.62
expression level: 3305.7112
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.3
expression level: 2012.2823
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.34
expression level: 1568.1206
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 3204.167
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.66
expression level: 3720.1587
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.66
expression level: 2695.2654
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.46
expression level: 1697.3796
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 2995.8408
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1975.404
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1285.7185
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.54
expression level: 3145.928
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 2091.0305
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.54
expression level: 2296.5518
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 1367.4028
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 2348.023
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1187.4211
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.44
expression level: 2699.876
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1504.7816
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.3
expression level: 1402.871
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.8
expression level: 3117.513
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 2544.0195
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.4
expression level: 2568.2463
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1765.9681
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.86
expression level: 8611.15
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.68
expression level: 3822.4365
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1291.4519
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 1630.8322
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1887.4341
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.64
expression level: 2242.6768
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.38
expression level: 2305.1375
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 1973.3256
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1983.4333
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 3004.4915
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.54
expression level: 3285.1772
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.38
expression level: 2177.4873
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.36
expression level: 2896.116
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.34
expression level: 2269.6714
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.32
expression level: 1908.3883
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.32
expression level: 1503.8228
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.34
expression level: 3170.0452
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.38
expression level: 2098.0479
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 2060.8064
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 2076.086
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 2171.4736
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.44
expression level: 2204.841
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.42
expression level: 2242.4377
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1578.3563
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.44
expression level: 1717.9238
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1471.7676
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.48
expression level: 2639.3684
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.42
expression level: 2755.0144
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.34
expression level: 1695.2072
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 2642.9753
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.3
expression level: 1598.8717
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.3
expression level: 2606.1
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 1894.1349
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.38
expression level: 3140.3818
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 2317.3855
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.3
expression level: 2166.2925
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 1603.4915
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1795.0243
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 2236.0474
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1247.512
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 2629.4238
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 1652.705
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.6
expression level: 2117.0962
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1143.7142
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.62
expression level: 3592.2026
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.68
expression level: 4964.281
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.32
expression level: 2056.7266
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.78
expression level: 3720.388
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1525.4817
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.4
expression level: 1884.9344
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.34
expression level: 3484.0237
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1175.0383
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 1891.7373
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 1288.6675
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 1305.229
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.3
expression level: 2818.816
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.52
expression level: 1605.7516
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.48
expression level: 2735.8918
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 2514.4192
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.48
expression level: 3099.5676
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1946.5338
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 943.3436
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1096.6868
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1363.2235
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.4
expression level: 2460.4326
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.32
expression level: 2349.1746
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 2097.9866
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.32
expression level: 3184.8965
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 3300.639
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 1616.2793
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1374.8286
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 1166.2388
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 2388.99
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.3
expression level: 1697.331
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.34
expression level: 1592.8815
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.38
expression level: 8634.1455
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 2746.733
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.42
expression level: 1993.5905
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.48
expression level: 2612.3477
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 2520.465
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1759.2179
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.54
expression level: 1978.7294
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.34
expression level: 1613.0951
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.3
expression level: 2206.6301
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.4
expression level: 2033.6104
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.3
expression level: 2409.3472
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 1657.895
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 2592.2078
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.26
expression level: 1654.772
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.28
expression level: 1760.4536
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.38
expression level: 1932.2339
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.3
expression level: 1533.2202
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.74
expression level: 4268.7446
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.56
expression level: 3423.3228
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.98
expression level: 18499.168
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.3
expression level: 2180.631
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.34
expression level: 2528.7222
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.38
expression level: 1759.4547
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.72
expression level: 4537.4575
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.24
expression level: 1322.256
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.38
expression level: 1841.7677
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.22
expression level: 2733.5962
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.42
expression level: 1904.5057
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.64
expression level: 3874.819
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.38
expression level: 3327.895
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.56
expression level: 3930.3606
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.4
expression level: 1752.7467
hide in terminfo: true

Axiom
annotated source: FBlc0007805
annotated property: type
annotated target: Restriction
expression extent: 0.3
expression level: 1860.7806
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 3784.513
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 4384.334
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 8314.227
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 4188.3623
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 6617.0815
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3406.4597
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 9504.641
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 3060.924
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.583333
expression level: 6988.808
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 2267.4282
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 3273.0442
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.583333
expression level: 10707.437
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3330.4521
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 2903.4814
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 1851.7869
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 3589.781
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 4017.74
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 1625.759
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 10907.891
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 4301.668
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 2454.1936
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3918.5671
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2515.448
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 1625.759
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2016.888
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2266.7078
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3472.9219
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 2657.4678
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2356.5212
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 1647.2091
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 6142.9565
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 4021.1946
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2086.9937
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2261.062
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 2908.7358
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 3074.9827
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 3281.381
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 2122.3381
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 3739.4753
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 2092.6382
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 5530.6294
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 4242.3613
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 3239.4075
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3984.3958
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 2255.9724
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3427.2905
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2983.0002
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.583333
expression level: 5887.4795
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2797.4814
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 4928.794
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 5931.3066
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 7712.1743
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 4961.0176
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3636.167
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 5170.4087
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 2780.7664
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2379.7947
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2627.8867
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2772.8242
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 8236.151
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.666667
expression level: 7618.6343
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.833333
expression level: 10327.282
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 2285.082
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 4103.6104
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 3842.6187
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2830.8528
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 1845.3815
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.583333
expression level: 5198.4995
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2414.3892
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3356.9824
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 3812.5269
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3872.1553
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 3812.0574
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.916667
expression level: 11419.102
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 2343.52
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2279.6436
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 3680.8354
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 6102.615
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 4339.0654
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3912.3086
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 1841.8198
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2487.5679
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2867.3372
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 1888.8633
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2072.5906
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2258.1936
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3597.4067
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 1858.5792
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.75
expression level: 7222.8906
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 2957.5928
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2712.131
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 3760.7595
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 3376.8645
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 6606.021
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 3109.9678
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2625.369
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 6067.3813
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.666667
expression level: 55157.902
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2060.6025
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3030.0645
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 4706.622
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2365.3918
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 2092.6382
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3140.5854
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 1834.0969
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 3439.8357
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 4912.788
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2200.077
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 4905.5005
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2620.5752
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 3234.5198
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 6793.6836
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2564.4453
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 4126.9053
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2184.1843
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 2481.668
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2932.5137
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 8458.883
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 5027.1304
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 6277.2046
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 4597.776
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 3357.8096
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 4260.7524
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 4132.073
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 4656.177
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2697.728
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 3542.9995
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 5525.254
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 5141.488
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 6116.181
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 1680.5659
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 4059.6384
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 2832.428
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3146.3933
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3181.9795
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 4516.5254
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 4420.6914
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.75
expression level: 5184.7524
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 4586.176
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2177.7178
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2347.327
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 8979.792
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 2601.3904
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 3675.9612
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 3470.6448
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 2635.2188
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3030.0645
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 1928.9612
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3474.3635
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.583333
expression level: 11241.61
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 1220.244
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3995.125
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3964.1794
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 4825.6533
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.583333
expression level: 8384.302
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3015.7556
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2503.4602
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 2202.7644
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2518.8333
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 2576.7805
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3460.4148
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 46469.965
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2830.8528
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.75
expression level: 5882.19
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 6875.133
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 3191.5596
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.666667
expression level: 5441.3906
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 8723.247
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 6648.088
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3268.5452
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2086.9937
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3886.0237
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2414.3892
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.75
expression level: 4798.4175
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.666667
expression level: 10087.845
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 1866.8315
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.75
expression level: 10691.797
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.75
expression level: 6603.5186
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 6029.0312
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 2566.2427
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.583333
expression level: 4381.5522
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 8219.144
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2554.6936
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.583333
expression level: 7677.135
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 6027.674
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 3127.2485
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2367.5977
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.583333
expression level: 4164.61
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2772.8242
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2717.0056
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 3634.1091
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2824.512
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 3309.5415
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 3352.6223
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 2652.9006
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.583333
expression level: 11614.012
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 2652.875
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 8269.1455
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2657.258
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 4716.62
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 1497.1528
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 1896.7039
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.666667
expression level: 5794.548
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 7590.4214
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.833333
expression level: 12751.069
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 2995.2144
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 5859.1416
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 3559.0781
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 5840.8037
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 4069.4768
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 5128.8535
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 9388.957
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 2836.4893
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 8299.354
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 2266.5771
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 6749.2207
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 4039.1357
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 3962.2031
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 4611.1055
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.416667
expression level: 4688.944
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.25
expression level: 1995.713
hide in terminfo: true

Axiom
annotated source: FBlc0007806
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 2555.0557
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 3533.919
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 3302.356
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 4243.6035
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 7578.1943
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 5200.809
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 4387.3926
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3079.4927
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 6600.659
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 5636.513
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 6234.1777
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2964.903
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 6676.736
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3508.8196
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 4678.4907
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3959.6145
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3552.3542
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 6847.646
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.714286
expression level: 7238.316
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 6901.194
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3509.6992
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 4887.2554
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 6054.765
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 5502.918
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 7480.4473
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 5269.963
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 4214.7036
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 5653.6167
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.714286
expression level: 5828.921
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 2883.5774
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 6366.31
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.428571
expression level: 3970.8
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 2682.1863
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 3878.5781
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.428571
expression level: 3128.3525
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 7640.7363
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 3544.2422
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2964.903
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2734.7766
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 6519.427
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.428571
expression level: 5306.3887
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 6425.0747
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 5688.624
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.571429
expression level: 3873.0103
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3265.086
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 4200.505
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2796.47
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 6710.201
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 6203.417
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.428571
expression level: 6326.046
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 4171.418
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 7016.1016
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 3222.4495
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 6056.4375
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 3557.1228
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3465.5837
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3863.046
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 4917.6797
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 6863.4175
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.642857
expression level: 3890.114
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 3031.872
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 5139.19
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 4005.9944
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 5361.4644
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.428571
expression level: 4110.3096
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3367.8286
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 1.0
expression level: 27759.248
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.714286
expression level: 6733.91
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 4333.161
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 4051.9895
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.642857
expression level: 10388.051
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 5948.7036
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 8290.587
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 4041.477
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 3896.715
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 8220.107
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 5337.4595
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 4648.559
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 4177.9106
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2846.767
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 3982.5083
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 5517.6147
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 4463.4126
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 9236.415
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 3319.1675
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 3088.141
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.428571
expression level: 6367.8027
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.714286
expression level: 8682.512
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 5681.353
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 3977.162
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 5539.4346
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2388.3657
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 9099.71
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3513.0867
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 3366.583
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 6932.9146
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.714286
expression level: 7951.225
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 5099.612
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3228.086
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 8502.315
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 5461.448
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 3452.2998
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 4249.5566
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 3710.591
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 6646.101
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 4074.5977
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 7952.371
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 5878.338
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 4648.6074
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 3771.6797
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3653.2153
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2517.8987
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 5078.83
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2943.869
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2216.946
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2795.7502
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 3368.823
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 3380.5503
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 5299.4897
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 6659.164
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2851.8105
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 5179.478
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 7316.5645
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2914.6067
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 4119.0537
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 5794.7466
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 3212.7983
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 3655.505
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 3108.8733
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 5962.2725
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2820.2817
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 4203.9536
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3875.7263
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 4068.9895
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 3155.3066
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 3829.1797
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 4025.3196
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3207.8672
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 4631.454
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 4634.005
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 4483.2173
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 3996.7651
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 3121.8672
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 5401.122
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 4177.3013
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 5716.9346
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.714286
expression level: 12623.156
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.428571
expression level: 7454.1226
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 4070.754
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 3605.6392
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3090.8699
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2969.9663
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 6659.4565
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 4408.245
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 6511.7354
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 2637.198
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 3057.8174
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 4618.7925
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2964.903
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2841.8904
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3269.5603
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 4579.4556
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 9918.113
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2799.2476
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 3632.4512
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.428571
expression level: 4192.952
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 4542.804
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3141.1858
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 4739.2544
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 4944.33
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2627.625
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 4211.523
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3473.0686
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 4680.7324
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 6740.2715
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.428571
expression level: 3172.2703
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3047.3362
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2581.4978
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.428571
expression level: 4284.3945
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.428571
expression level: 4790.066
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 4843.4062
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3956.163
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3273.821
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 3812.9277
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 4935.6826
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 2921.5615
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 5370.2095
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 5434.0
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3069.2778
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 5557.277
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 5506.518
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 7910.4575
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 3991.379
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 4586.5464
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 7568.93
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 2866.4575
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 5770.654
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 4039.469
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3102.7937
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 4441.2207
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 3608.396
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 4512.4727
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3321.5525
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 3487.0203
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 4108.855
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.785714
expression level: 7664.816
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.428571
expression level: 3992.8892
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.928571
expression level: 16598.246
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 6061.986
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2665.6272
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.428571
expression level: 10481.619
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 2634.6885
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.285714
expression level: 2837.5134
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.5
expression level: 11184.423
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 4552.7417
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 9816.863
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.357143
expression level: 4145.371
hide in terminfo: true

Axiom
annotated source: FBlc0007807
annotated property: type
annotated target: Restriction
expression extent: 0.214286
expression level: 6514.7666
hide in terminfo: true