Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.380682
expression level: 5966.124
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.857955
expression level: 5162.8706
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.852273
expression level: 4297.5083
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.278409
expression level: 2087.3052
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.721591
expression level: 3044.0825
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.295455
expression level: 1677.367
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.863636
expression level: 5874.5503
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.357955
expression level: 2130.7776
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.454545
expression level: 1942.9036
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.590909
expression level: 2494.5962
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.460227
expression level: 2571.075
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.301136
expression level: 1949.9574
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.284091
expression level: 1260.5767
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.306818
expression level: 1967.0204
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.579545
expression level: 2275.3193
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.244318
expression level: 1441.2394
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.357955
expression level: 2243.7886
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.505682
expression level: 2122.378
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.318182
expression level: 3390.4087
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.988636
expression level: 18934.271
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.4375
expression level: 1999.1973
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.823864
expression level: 4107.666
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.528409
expression level: 1888.2855
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.403409
expression level: 1763.3654
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.715909
expression level: 3351.194
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.261364
expression level: 1803.5579
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.295455
expression level: 2290.9517
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.210227
expression level: 2306.8313
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.227273
expression level: 1292.6001
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.289773
expression level: 1871.468
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.227273
expression level: 1459.3046
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.869318
expression level: 3721.9712
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.426136
expression level: 7443.9067
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.244318
expression level: 1721.1587
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.267045
expression level: 1609.8125
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.215909
expression level: 2531.4216
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.505682
expression level: 1794.3063
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.340909
expression level: 1885.71
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.636364
expression level: 3112.968
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.340909
expression level: 1601.0227
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.238636
expression level: 1557.345
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.357955
expression level: 1732.5378
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.363636
expression level: 2223.3752
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.568182
expression level: 2472.9783
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.380682
expression level: 4502.7627
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.625
expression level: 6300.237
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.386364
expression level: 4480.829
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.517045
expression level: 5077.9272
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.596591
expression level: 1634.8213
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.420455
expression level: 2088.7158
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.295455
expression level: 4126.7275
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.221591
expression level: 1498.541
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.585227
expression level: 9706.124
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.477273
expression level: 2236.299
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.539773
expression level: 2323.3264
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.357955
expression level: 1943.2777
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.295455
expression level: 811.28406
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.335227
expression level: 1729.9716
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.670455
expression level: 2716.4822
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.289773
expression level: 1565.0571
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.920455
expression level: 9635.663
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.352273
expression level: 1870.0858
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.284091
expression level: 2348.0684
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.238636
expression level: 1556.4817
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.306818
expression level: 1526.5266
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.204545
expression level: 1649.6804
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.267045
expression level: 2038.563
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.784091
expression level: 3940.763
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.272727
expression level: 1710.9248
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.232955
expression level: 1244.1853
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.267045
expression level: 2477.5168
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.642045
expression level: 2631.8904
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.517045
expression level: 2284.1658
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.215909
expression level: 1607.6978
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.982955
expression level: 7116.5767
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.272727
expression level: 1563.2073
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.323864
expression level: 2191.6152
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.284091
expression level: 1884.818
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.4375
expression level: 1820.1228
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.210227
expression level: 1758.429
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.534091
expression level: 4012.4668
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.409091
expression level: 4071.783
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.272727
expression level: 1557.5708
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.204545
expression level: 1936.2938
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.227273
expression level: 1595.661
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.289773
expression level: 1682.395
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.227273
expression level: 1883.596
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.357955
expression level: 2041.5305
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.204545
expression level: 2099.4746
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.613636
expression level: 2453.7334
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.778409
expression level: 3460.0964
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.607955
expression level: 3023.3635
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.380682
expression level: 1371.7664
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.482955
expression level: 2598.9832
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.210227
expression level: 1830.5833
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.454545
expression level: 3239.6904
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.380682
expression level: 1613.695
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.375
expression level: 1690.7997
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.573864
expression level: 2903.0217
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.357955
expression level: 1784.1721
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.238636
expression level: 1608.0321
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.528409
expression level: 2145.1653
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.375
expression level: 1831.6445
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.238636
expression level: 1711.586
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.664773
expression level: 4715.4243
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.255682
expression level: 1908.11
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.215909
expression level: 1524.895
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.232955
expression level: 764.1776
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.232955
expression level: 1533.3641
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.301136
expression level: 1678.0214
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.244318
expression level: 1665.222
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.255682
expression level: 1595.8347
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.289773
expression level: 2163.0698
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.272727
expression level: 1598.378
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.221591
expression level: 1482.0637
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.363636
expression level: 1690.6066
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.227273
expression level: 1722.3751
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.386364
expression level: 1675.7272
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.306818
expression level: 989.9804
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.261364
expression level: 1657.4043
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.238636
expression level: 1852.1261
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.210227
expression level: 1225.7422
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.232955
expression level: 1376.6138
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.272727
expression level: 2094.3438
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.534091
expression level: 1999.0328
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.295455
expression level: 1888.1051
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.215909
expression level: 965.1668
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.539773
expression level: 2181.2092
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.329545
expression level: 1111.128
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.409091
expression level: 1937.6895
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.227273
expression level: 1839.7816
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.318182
expression level: 2110.1252
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.261364
expression level: 1504.5518
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.352273
expression level: 1634.5784
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.471591
expression level: 1908.8572
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.625
expression level: 2503.042
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.204545
expression level: 2214.158
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.204545
expression level: 1184.891
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.227273
expression level: 1770.0593
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.278409
expression level: 1497.4686
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.318182
expression level: 1977.5933
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.494318
expression level: 3788.1055
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.210227
expression level: 1484.641
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.392045
expression level: 2281.4875
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.704545
expression level: 2524.2922
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.227273
expression level: 1584.9653
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.607955
expression level: 2551.621
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.289773
expression level: 1937.601
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.602273
expression level: 1553.1348
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.426136
expression level: 2516.9744
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.386364
expression level: 2099.951
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.255682
expression level: 1815.5126
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.482955
expression level: 2487.774
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.227273
expression level: 1790.5022
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.204545
expression level: 1386.9186
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.369318
expression level: 1890.8405
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.210227
expression level: 1414.7523
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.255682
expression level: 1902.1688
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.284091
expression level: 1623.3715
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.346591
expression level: 1953.2312
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.426136
expression level: 1435.8967
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.221591
expression level: 1841.0397
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.272727
expression level: 1461.7596
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.267045
expression level: 1814.0062
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.573864
expression level: 2239.1514
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.534091
expression level: 2391.3105
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.335227
expression level: 1579.7883
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.880682
expression level: 5285.928
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.375
expression level: 1690.1227
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.482955
expression level: 2327.6667
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.403409
expression level: 1910.7794
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.988636
expression level: 39474.03
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.369318
expression level: 2579.0823
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.210227
expression level: 1561.7198
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.414773
expression level: 2114.704
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.221591
expression level: 1819.1493
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.335227
expression level: 2267.7039
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.306818
expression level: 1864.6003
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.357955
expression level: 805.05225
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.630682
expression level: 3404.116
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.539773
expression level: 2498.953
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.227273
expression level: 1288.9501
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.619318
expression level: 3480.408
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.585227
expression level: 2867.7778
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.454545
expression level: 950.6864
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.454545
expression level: 2129.5308
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.346591
expression level: 1854.844
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.329545
expression level: 1602.3353
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.954545
expression level: 6116.769
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.715909
expression level: 3298.9407
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.329545
expression level: 2164.4487
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.267045
expression level: 1952.2115
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.352273
expression level: 2508.5256
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.420455
expression level: 1785.894
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.607955
expression level: 2390.731
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.289773
expression level: 1918.1873
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.227273
expression level: 1522.2174
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.335227
expression level: 2114.4255
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.210227
expression level: 1431.4121
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.204545
expression level: 1377.8998
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.255682
expression level: 1698.4321
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.346591
expression level: 1916.6934
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.840909
expression level: 3005.794
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.232955
expression level: 1381.3018
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.409091
expression level: 1771.4146
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.403409
expression level: 2369.3074
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.204545
expression level: 1771.2045
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.238636
expression level: 1788.8499
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.238636
expression level: 1911.2557
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.215909
expression level: 1555.5162
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.238636
expression level: 1664.676
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.244318
expression level: 1724.4723
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.721591
expression level: 2670.8687
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.244318
expression level: 1829.7284
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.414773
expression level: 2031.7249
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.778409
expression level: 3270.9568
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.295455
expression level: 1495.689
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.284091
expression level: 1782.9694
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.585227
expression level: 2355.372
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.210227
expression level: 1102.4695
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.352273
expression level: 1897.0552
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.272727
expression level: 1384.0883
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.232955
expression level: 1893.025
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.522727
expression level: 1971.3989
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.545455
expression level: 2255.4197
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.215909
expression level: 1784.5848
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.471591
expression level: 2097.3098
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.761364
expression level: 3524.0771
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.278409
expression level: 1547.6903
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.238636
expression level: 1461.576
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.323864
expression level: 2107.8613
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.375
expression level: 2061.4775
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.238636
expression level: 1527.9607
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.329545
expression level: 2018.6505
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.340909
expression level: 1589.3933
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.9375
expression level: 6019.7734
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.227273
expression level: 1530.9425
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.221591
expression level: 1682.1794
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.375
expression level: 1667.5934
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.573864
expression level: 2706.5146
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.329545
expression level: 2121.01
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.403409
expression level: 1749.6151
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.261364
expression level: 1761.6743
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.647727
expression level: 2604.0593
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.289773
expression level: 2085.713
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.278409
expression level: 1821.3323
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.215909
expression level: 1646.3867
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.329545
expression level: 1748.9739
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.267045
expression level: 1614.0319
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.289773
expression level: 1674.5964
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.590909
expression level: 1299.6576
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.272727
expression level: 1605.9652
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.420455
expression level: 1763.1265
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.221591
expression level: 1970.8895
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.426136
expression level: 2376.0303
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.357955
expression level: 1790.8704
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.221591
expression level: 1827.3627
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.295455
expression level: 1480.0431
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.238636
expression level: 903.6672
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.545455
expression level: 2337.0608
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.227273
expression level: 776.9828
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.863636
expression level: 3929.63
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.886364
expression level: 3643.5662
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.255682
expression level: 1759.7637
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.335227
expression level: 2112.0972
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.375
expression level: 2288.854
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.517045
expression level: 2469.16
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.875
expression level: 4244.8267
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.272727
expression level: 1508.3102
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.619318
expression level: 2452.5234
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.357955
expression level: 2206.0696
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.744318
expression level: 2667.4927
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.363636
expression level: 1782.4094
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.840909
expression level: 4364.233
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.267045
expression level: 1699.5317
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.215909
expression level: 1461.8038
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.392045
expression level: 1506.4225
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.204545
expression level: 1497.5475
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.340909
expression level: 2395.8281
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.210227
expression level: 1611.0447
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.289773
expression level: 2237.961
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.215909
expression level: 1746.5962
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.710227
expression level: 3355.7666
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.272727
expression level: 1689.0549
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.306818
expression level: 1873.3152
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.301136
expression level: 1594.6875
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.823864
expression level: 3553.744
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.329545
expression level: 4164.268
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.767045
expression level: 2806.9216
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.431818
expression level: 1860.9717
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.363636
expression level: 1764.8065
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.880682
expression level: 4496.349
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.607955
expression level: 2689.1733
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.630682
expression level: 2226.7925
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.215909
expression level: 1542.1428
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.323864
expression level: 2319.3308
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.267045
expression level: 1820.8595
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.318182
expression level: 1863.3718
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.727273
expression level: 2777.3728
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.255682
expression level: 1770.1747
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.454545
expression level: 1787.5834
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.227273
expression level: 1566.971
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.409091
expression level: 3117.2395
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.301136
expression level: 2046.0946
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.221591
expression level: 1387.9368
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.329545
expression level: 1376.5967
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.215909
expression level: 1222.0558
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.732955
expression level: 4793.1777
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.795455
expression level: 3717.379
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.465909
expression level: 2150.9053
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.375
expression level: 1822.0516
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.261364
expression level: 2855.2827
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.329545
expression level: 1814.9983
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.238636
expression level: 1581.0403
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.261364
expression level: 1597.9841
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.267045
expression level: 1926.2279
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.295455
expression level: 1956.6327
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.698864
expression level: 2951.51
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.931818
expression level: 7517.2026
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.272727
expression level: 1913.9006
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.818182
expression level: 3619.668
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.852273
expression level: 3864.505
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.215909
expression level: 1561.3353
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.420455
expression level: 2317.6897
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.409091
expression level: 2091.0261
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.210227
expression level: 1559.4363
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.670455
expression level: 2855.083
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.403409
expression level: 1303.0526
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.403409
expression level: 2309.2698
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.431818
expression level: 1765.3243
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.545455
expression level: 2701.231
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.602273
expression level: 2832.6768
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.619318
expression level: 2495.5024
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.426136
expression level: 2254.553
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.215909
expression level: 1252.4403
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.8125
expression level: 3537.982
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.232955
expression level: 1496.7153
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.215909
expression level: 1818.684
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.278409
expression level: 1345.1716
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.704545
expression level: 2652.4683
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.727273
expression level: 3049.2966
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.215909
expression level: 1564.5436
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.204545
expression level: 2035.3215
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.710227
expression level: 3561.1118
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.545455
expression level: 2603.2856
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.465909
expression level: 2163.7827
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.261364
expression level: 1854.4695
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.232955
expression level: 1386.4603
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.272727
expression level: 1847.5991
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.460227
expression level: 2044.4232
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.801136
expression level: 3323.9224
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.465909
expression level: 2716.7822
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.244318
expression level: 1951.3959
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.215909
expression level: 1671.704
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.323864
expression level: 2053.667
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.863636
expression level: 12617.161
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.221591
expression level: 1623.1517
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.346591
expression level: 2200.4583
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.4375
expression level: 1985.4249
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.755682
expression level: 3397.7966
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.397727
expression level: 1940.3289
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.284091
expression level: 1027.29
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.238636
expression level: 647.9781
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.721591
expression level: 2997.5178
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.204545
expression level: 2038.9817
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.255682
expression level: 2291.4243
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.545455
expression level: 2107.8325
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.579545
expression level: 2324.5457
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.380682
expression level: 1838.8755
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.420455
expression level: 1926.0414
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.698864
expression level: 2370.7812
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.818182
expression level: 5436.067
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.340909
expression level: 2399.1414
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.443182
expression level: 2096.9985
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.284091
expression level: 1777.0891
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.744318
expression level: 3696.497
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.517045
expression level: 2523.257
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.346591
expression level: 2015.6936
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.278409
expression level: 2121.0696
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.835227
expression level: 3891.2368
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.630682
expression level: 2246.102
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.534091
expression level: 1885.5974
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.272727
expression level: 1979.6473
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.642045
expression level: 2150.9365
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.301136
expression level: 1152.1466
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.806818
expression level: 7648.0293
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.221591
expression level: 1483.625
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.420455
expression level: 1773.1544
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.625
expression level: 3984.2976
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.204545
expression level: 1675.0781
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.232955
expression level: 2167.017
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.943182
expression level: 5767.8315
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.528409
expression level: 2423.9084
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.272727
expression level: 1551.6406
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.289773
expression level: 2449.737
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.363636
expression level: 1417.248
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.295455
expression level: 1761.6422
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.267045
expression level: 3039.1973
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.369318
expression level: 1634.5707
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.710227
expression level: 2655.1743
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.636364
expression level: 2405.4597
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.613636
expression level: 2706.1274
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.551136
expression level: 2349.8462
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.397727
expression level: 2065.2832
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.420455
expression level: 2013.3672
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.829545
expression level: 4319.482
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.295455
expression level: 1730.1029
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.215909
expression level: 2006.7938
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.403409
expression level: 1795.9291
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.755682
expression level: 3444.26
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.829545
expression level: 4707.5073
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.448864
expression level: 1975.5101
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.4375
expression level: 3001.24
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.732955
expression level: 13871.464
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.801136
expression level: 5203.386
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.227273
expression level: 1690.783
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.988636
expression level: 32552.555
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.329545
expression level: 1040.8253
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.306818
expression level: 939.6005
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.278409
expression level: 2144.3333
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.346591
expression level: 1752.1573
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.221591
expression level: 1634.0851
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.267045
expression level: 1299.3945
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.556818
expression level: 1217.9607
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.267045
expression level: 1797.553
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.255682
expression level: 539.1503
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.8125
expression level: 3943.7405
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.289773
expression level: 1780.6979
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.619318
expression level: 2249.9302
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.585227
expression level: 2476.3506
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.460227
expression level: 1859.9174
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.323864
expression level: 1425.141
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.511364
expression level: 2312.6326
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.642045
expression level: 2621.9338
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.284091
expression level: 1632.6764
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.494318
expression level: 2522.2737
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.210227
expression level: 1844.072
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.386364
expression level: 2200.018
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.857955
expression level: 3393.7903
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.386364
expression level: 2532.9414
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.556818
expression level: 4085.2383
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.517045
expression level: 2145.7039
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.914773
expression level: 6598.5195
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.261364
expression level: 1202.7823
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.289773
expression level: 1609.5667
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.278409
expression level: 1552.7678
hide in terminfo: true

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.568182
expression level: 2356.9775
hide in terminfo: true

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

Axiom
annotated source: FBlc0006365
annotated property: type
annotated target: Restriction
expression extent: 0.380682
expression level: 1714.9662
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.257261
expression level: 1441.8755
hide in terminfo: true

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

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.713693
expression level: 3132.1306
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.423237
expression level: 1803.9131
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.423237
expression level: 1695.7301
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.46473
expression level: 1701.1595
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.215768
expression level: 1726.0781
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.228216
expression level: 1762.7389
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.232365
expression level: 998.60046
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.742739
expression level: 2932.6116
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.215768
expression level: 1370.2169
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.813278
expression level: 3279.1936
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.344398
expression level: 1811.6729
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.539419
expression level: 2125.4602
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.356846
expression level: 2188.8032
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.502075
expression level: 2050.7644
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.979253
expression level: 5894.3984
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.319502
expression level: 1513.2567
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.286307
expression level: 1459.7761
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.742739
expression level: 3368.6292
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.705394
expression level: 2954.2014
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.26556
expression level: 1449.9547
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.26556
expression level: 1418.6794
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.26971
expression level: 1511.1954
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.207469
expression level: 2032.8691
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.248963
expression level: 1398.7019
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.705394
expression level: 2627.1865
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.858921
expression level: 3647.5403
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.406639
expression level: 2186.4226
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.224066
expression level: 1370.1849
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.211618
expression level: 1503.1807
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.435685
expression level: 2054.3752
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.390041
expression level: 1915.8887
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.20332
expression level: 1357.6321
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.53527
expression level: 5013.761
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.3361
expression level: 1410.3715
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.352697
expression level: 4489.528
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.385892
expression level: 1867.4224
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.257261
expression level: 1519.055
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.224066
expression level: 2037.2358
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.232365
expression level: 1820.8339
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.290456
expression level: 1391.3024
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.224066
expression level: 1601.812
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.580913
expression level: 2623.1694
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.323651
expression level: 11137.537
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.369295
expression level: 3220.6199
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.572614
expression level: 2363.2373
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.211618
expression level: 1123.6459
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.871369
expression level: 4031.6167
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.224066
expression level: 1421.9197
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.228216
expression level: 1740.9373
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.568465
expression level: 2011.955
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.547718
expression level: 1887.4225
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.253112
expression level: 1619.605
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.244813
expression level: 1436.9807
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.278008
expression level: 1446.4607
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.365145
expression level: 1564.9512
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.502075
expression level: 1903.4401
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.493776
expression level: 2804.6985
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.53527
expression level: 2071.732
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.950207
expression level: 6795.921
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.33195
expression level: 1539.7483
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.406639
expression level: 2304.075
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.344398
expression level: 1461.3949
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.394191
expression level: 1787.665
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.477178
expression level: 1854.6049
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.298755
expression level: 1419.885
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.207469
expression level: 1301.1167
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.829876
expression level: 3032.7883
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.290456
expression level: 1771.3566
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.493776
expression level: 2975.4114
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.327801
expression level: 2917.2715
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.473029
expression level: 1747.0743
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.53527
expression level: 2325.6401
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.522822
expression level: 1650.9001
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.20332
expression level: 2061.0178
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.26971
expression level: 746.2507
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.365145
expression level: 1895.4689
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.518672
expression level: 1512.5222
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.344398
expression level: 2014.7832
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.3361
expression level: 1614.004
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.585062
expression level: 2263.258
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.236515
expression level: 2512.313
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.340249
expression level: 1743.5219
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.26971
expression level: 1347.8995
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.580913
expression level: 2202.5989
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.319502
expression level: 1454.1278
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.290456
expression level: 1668.2239
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.224066
expression level: 1090.4817
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.713693
expression level: 2569.8496
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.26971
expression level: 1749.8959
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.414938
expression level: 2593.3857
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.73444
expression level: 4000.4338
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.991701
expression level: 11591.631
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.273859
expression level: 1425.3436
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.215768
expression level: 2107.9775
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.319502
expression level: 1456.0001
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.298755
expression level: 1702.6649
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.290456
expression level: 1605.3375
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.224066
expression level: 1448.9558
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.211618
expression level: 1502.5876
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.257261
expression level: 1758.91
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.219917
expression level: 1634.1898
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.248963
expression level: 1435.9895
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.253112
expression level: 1353.7915
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.20332
expression level: 1189.1505
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.20332
expression level: 1479.6533
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.883817
expression level: 4378.503
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.497925
expression level: 2666.2837
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.248963
expression level: 480.03027
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.211618
expression level: 956.24896
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.228216
expression level: 1848.6127
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.975104
expression level: 5638.2544
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.219917
expression level: 786.2779
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.307054
expression level: 1503.9542
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.609959
expression level: 1791.1974
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.460581
expression level: 1844.5889
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.39834
expression level: 1813.5695
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.327801
expression level: 1569.3016
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.261411
expression level: 1240.604
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.510373
expression level: 1807.9265
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.207469
expression level: 1360.5626
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.232365
expression level: 1441.9683
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.278008
expression level: 1377.0015
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.618257
expression level: 1836.0712
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.39834
expression level: 1825.8214
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.248963
expression level: 1623.4237
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.261411
expression level: 2084.4492
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.236515
expression level: 1692.6368
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.26556
expression level: 1404.9923
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.647303
expression level: 2145.5122
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.273859
expression level: 1506.8954
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.543568
expression level: 2526.5403
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.20332
expression level: 1399.3469
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.676349
expression level: 1678.1895
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.589212
expression level: 2432.8247
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.207469
expression level: 1691.4766
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.228216
expression level: 1428.0405
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.215768
expression level: 2049.3552
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.46473
expression level: 2063.5508
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.684647
expression level: 2504.097
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.298755
expression level: 1741.2694
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.261411
expression level: 1502.9783
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.207469
expression level: 1202.3702
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.244813
expression level: 1519.1213
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.373444
expression level: 1981.0758
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.207469
expression level: 1057.0289
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.232365
expression level: 1520.0498
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.207469
expression level: 1388.4965
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.26971
expression level: 1993.6301
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.215768
expression level: 1388.1409
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.360996
expression level: 2145.1355
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.431535
expression level: 2053.9023
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.219917
expression level: 1792.439
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.236515
expression level: 1690.2422
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.522822
expression level: 3561.4204
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.439834
expression level: 1552.3293
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.224066
expression level: 3040.6375
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.228216
expression level: 1638.121
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.236515
expression level: 1496.6803
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.377593
expression level: 1596.1956
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.622407
expression level: 2349.5325
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.493776
expression level: 2601.8562
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.20332
expression level: 2151.564
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.211618
expression level: 491.07507
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.244813
expression level: 1890.5936
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.33195
expression level: 1852.8456
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.244813
expression level: 1561.1525
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.273859
expression level: 1887.2598
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.33195
expression level: 1688.2096
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.253112
expression level: 1876.9742
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.356846
expression level: 1661.5852
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.236515
expression level: 1412.3098
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.278008
expression level: 1457.6569
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.622407
expression level: 2508.8716
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.26556
expression level: 1475.0636
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.253112
expression level: 1552.8716
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.244813
expression level: 1628.7394
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.518672
expression level: 1809.2672
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.273859
expression level: 3254.5752
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.20332
expression level: 1629.6499
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.273859
expression level: 2182.2825
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.224066
expression level: 2125.5732
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.278008
expression level: 1698.902
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.236515
expression level: 1701.4996
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.278008
expression level: 1698.0227
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.236515
expression level: 2646.5461
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.257261
expression level: 1531.4095
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.539419
expression level: 1989.8805
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.373444
expression level: 1584.4523
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.20332
expression level: 1656.6737
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.352697
expression level: 1075.2784
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.311203
expression level: 1805.8713
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.20332
expression level: 572.9959
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.215768
expression level: 1886.0367
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.439834
expression level: 4057.5635
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.211618
expression level: 2845.5715
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.278008
expression level: 1935.3033
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.257261
expression level: 1475.1797
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.278008
expression level: 1933.7662
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.460581
expression level: 1963.4729
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.456432
expression level: 1750.1383
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.435685
expression level: 1828.7167
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.278008
expression level: 1012.1349
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.360996
expression level: 1671.1561
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.315353
expression level: 1428.1365
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.302905
expression level: 1567.474
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.219917
expression level: 1771.4666
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.340249
expression level: 2511.498
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.26971
expression level: 1549.2667
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.390041
expression level: 1324.4274
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.477178
expression level: 1749.4218
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.323651
expression level: 1543.1815
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.207469
expression level: 1271.0502
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.286307
expression level: 1317.7661
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.219917
expression level: 1384.1536
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.215768
expression level: 1340.21
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.290456
expression level: 1798.6951
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.423237
expression level: 1813.6948
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.253112
expression level: 1959.0076
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.543568
expression level: 2104.0715
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.315353
expression level: 1981.4099
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.307054
expression level: 2425.1118
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.539419
expression level: 1998.7063
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.365145
expression level: 1612.4275
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.721992
expression level: 2711.0789
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.26556
expression level: 1563.7345
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.365145
expression level: 1670.7313
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.352697
expression level: 2929.9717
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.302905
expression level: 1248.8635
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.26556
expression level: 1232.282
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.502075
expression level: 2268.123
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.248963
expression level: 1459.5981
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.257261
expression level: 1802.9529
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.365145
expression level: 2487.8694
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.244813
expression level: 1431.7828
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.290456
expression level: 2419.025
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.215768
expression level: 1348.6578
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.244813
expression level: 1711.7565
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.207469
expression level: 1258.9392
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.215768
expression level: 1718.4426
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.228216
expression level: 2138.9744
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.282158
expression level: 1852.8339
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.307054
expression level: 1629.0967
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.40249
expression level: 1758.6069
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.684647
expression level: 3664.1707
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.228216
expression level: 1949.9629
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.253112
expression level: 1744.1414
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.215768
expression level: 1437.0842
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.456432
expression level: 1912.6145
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.219917
expression level: 1506.4076
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.850622
expression level: 4251.4507
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.410788
expression level: 1755.9235
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.294606
expression level: 1297.9666
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.340249
expression level: 1730.8717
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.307054
expression level: 1649.3293
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.365145
expression level: 2211.118
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.232365
expression level: 1672.2999
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.207469
expression level: 1482.012
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.26971
expression level: 1540.5952
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.390041
expression level: 1764.6178
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.348548
expression level: 1135.3049
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.676349
expression level: 2224.82
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.307054
expression level: 1592.9845
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.286307
expression level: 1775.8975
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.282158
expression level: 1689.4655
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.261411
expression level: 1315.817
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.278008
expression level: 1830.7391
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.240664
expression level: 1403.0709
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.618257
expression level: 2272.5593
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.39834
expression level: 1708.3219
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.278008
expression level: 982.05914
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.705394
expression level: 2514.377
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.340249
expression level: 1428.3237
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.896266
expression level: 4964.7495
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.20332
expression level: 759.0461
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.348548
expression level: 1601.0343
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.219917
expression level: 2005.2759
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.207469
expression level: 1485.0209
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.340249
expression level: 2197.6736
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.39834
expression level: 2027.7977
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.452282
expression level: 2482.6982
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.20332
expression level: 1707.9044
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.390041
expression level: 2494.5315
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.53527
expression level: 2542.924
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.344398
expression level: 1785.6937
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.66805
expression level: 3345.5452
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.419087
expression level: 2002.5267
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.253112
expression level: 1625.7236
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.232365
expression level: 2234.8245
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.219917
expression level: 1491.9968
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.435685
expression level: 2336.852
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.568465
expression level: 2614.5176
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.721992
expression level: 2879.4822
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.211618
expression level: 1626.2986
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.80083
expression level: 4048.4001
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.40249
expression level: 1826.5115
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.273859
expression level: 1334.4904
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.842324
expression level: 4218.897
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.240664
expression level: 2025.6825
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.327801
expression level: 1451.2334
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.427386
expression level: 1572.1666
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.215768
expression level: 1971.5986
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.315353
expression level: 1688.6239
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.526971
expression level: 2179.5002
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.406639
expression level: 13256.69
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.211618
expression level: 1905.3016
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.207469
expression level: 1388.5631
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.352697
expression level: 1601.1022
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.473029
expression level: 1729.2963
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.215768
expression level: 1579.4382
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.394191
expression level: 1916.9769
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.452282
expression level: 1626.7852
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.406639
expression level: 1948.7188
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.377593
expression level: 2073.7844
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.365145
expression level: 1695.012
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.680498
expression level: 2717.0042
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.311203
expression level: 2008.0831
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.66805
expression level: 2106.333
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.373444
expression level: 1673.1461
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.290456
expression level: 1550.0615
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.219917
expression level: 1767.5687
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.244813
expression level: 2112.5063
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.53527
expression level: 1869.7368
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.381743
expression level: 1726.9225
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.443983
expression level: 1742.0704
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.327801
expression level: 2312.1885
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.348548
expression level: 1628.6194
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.240664
expression level: 1340.6588
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.489627
expression level: 2365.9321
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.236515
expression level: 1664.0178
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.232365
expression level: 1111.8358
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.319502
expression level: 1652.8859
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.431535
expression level: 1539.8185
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.373444
expression level: 2321.0942
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.53527
expression level: 2768.1326
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.232365
expression level: 1644.378
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.257261
expression level: 1224.2545
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.79668
expression level: 3288.6213
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.423237
expression level: 1554.506
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.278008
expression level: 1837.3499
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.709544
expression level: 4317.5635
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.294606
expression level: 2199.615
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.282158
expression level: 1570.9677
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.904564
expression level: 5694.3027
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.20332
expression level: 1207.3339
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.236515
expression level: 1514.995
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.248963
expression level: 2350.3806
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.373444
expression level: 1678.8357
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.26971
expression level: 1207.2189
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.477178
expression level: 3528.7598
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.763485
expression level: 2903.8992
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.253112
expression level: 1636.1428
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.33195
expression level: 3135.3271
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.207469
expression level: 1262.155
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.26971
expression level: 1763.987
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.240664
expression level: 1337.0579
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.427386
expression level: 1923.9431
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.804979
expression level: 3861.8079
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.215768
expression level: 1486.65
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.448133
expression level: 2631.1238
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.522822
expression level: 1835.852
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.912863
expression level: 6039.52
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.302905
expression level: 1696.7744
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.439834
expression level: 1728.5029
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.307054
expression level: 1456.5349
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.302905
expression level: 1962.5961
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.73029
expression level: 2773.811
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.630705
expression level: 2561.5762
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.26556
expression level: 1337.0725
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.427386
expression level: 1633.0137
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.33195
expression level: 1100.9625
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.311203
expression level: 1515.3278
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.684647
expression level: 2888.8984
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.232365
expression level: 1859.4238
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.311203
expression level: 1696.422
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.580913
expression level: 2175.1274
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.228216
expression level: 1553.9749
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.26556
expression level: 1336.7797
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.390041
expression level: 1817.758
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.224066
expression level: 1354.1995
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.609959
expression level: 2097.689
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.842324
expression level: 3083.617
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.207469
expression level: 1926.1681
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.651452
expression level: 2473.6401
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.497925
expression level: 2289.4092
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.298755
expression level: 1504.1445
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.294606
expression level: 1795.8057
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.278008
expression level: 1464.267
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.692946
expression level: 3136.7063
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.215768
expression level: 1482.732
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.423237
expression level: 1882.7546
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.365145
expression level: 1701.6748
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.360996
expression level: 1711.79
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.526971
expression level: 1869.6648
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.406639
expression level: 2243.9478
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.215768
expression level: 1474.9872
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.240664
expression level: 1731.3458
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.966805
expression level: 16791.492
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.394191
expression level: 1623.4692
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.315353
expression level: 1685.5205
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.307054
expression level: 1439.9253
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.514523
expression level: 2534.9229
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.59751
expression level: 3447.6912
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.576763
expression level: 4591.2607
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.448133
expression level: 1654.2897
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.373444
expression level: 1685.3152
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.228216
expression level: 1302.4298
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.323651
expression level: 1712.6028
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.327801
expression level: 1474.3557
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.211618
expression level: 1346.7354
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.448133
expression level: 2093.3767
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.369295
expression level: 2172.5728
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.406639
expression level: 1819.786
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.435685
expression level: 1738.5929
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.419087
expression level: 1721.0227
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.273859
expression level: 1393.2631
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.609959
expression level: 2129.459
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.244813
expression level: 1841.8849
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.580913
expression level: 2081.554
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.526971
expression level: 2879.03
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.294606
expression level: 1759.2506
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.215768
expression level: 969.6644
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.614108
expression level: 2673.1367
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.327801
expression level: 1692.3273
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.294606
expression level: 3333.4124
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.385892
expression level: 1145.7263
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.248963
expression level: 1548.1405
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.315353
expression level: 2000.1465
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.232365
expression level: 964.98395
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.618257
expression level: 7871.343
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.435685
expression level: 1782.055
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.46473
expression level: 2034.9677
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.20332
expression level: 2631.8313
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.236515
expression level: 1745.7808
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.207469
expression level: 1376.7109
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.261411
expression level: 3068.4016
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.290456
expression level: 1520.3173
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.236515
expression level: 2007.8043
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.817427
expression level: 2382.0398
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.211618
expression level: 2431.9116
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.755187
expression level: 2769.0652
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.352697
expression level: 1700.862
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.419087
expression level: 1550.8436
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.294606
expression level: 1866.7069
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.340249
expression level: 1691.2023
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.543568
expression level: 1980.7372
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.315353
expression level: 1638.3445
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.232365
expression level: 1529.7893
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.543568
expression level: 1942.7731
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.423237
expression level: 2176.2334
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.576763
expression level: 3274.5183
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.261411
expression level: 1547.2499
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.717842
expression level: 3480.9316
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.373444
expression level: 1558.9952
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.593361
expression level: 3220.0217
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.356846
expression level: 1705.0065
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.655602
expression level: 2675.149
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.651452
expression level: 5683.993
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.551867
expression level: 5157.676
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.842324
expression level: 104013.88
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.929461
expression level: 13751.834
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.20332
expression level: 1088.0762
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.286307
expression level: 1542.6779
hide in terminfo: true

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

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

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.290456
expression level: 919.5307
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.219917
expression level: 1857.383
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.253112
expression level: 1637.3638
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.219917
expression level: 1573.1747
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.369295
expression level: 1570.0797
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.282158
expression level: 982.76764
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.244813
expression level: 1512.8402
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.390041
expression level: 895.5182
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.626556
expression level: 2117.8008
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.497925
expression level: 1532.2638
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.290456
expression level: 1092.578
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.419087
expression level: 1434.8469
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.224066
expression level: 1686.6514
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.6639
expression level: 2243.3965
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.452282
expression level: 1649.1127
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.261411
expression level: 1254.098
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.966805
expression level: 7330.3545
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.506224
expression level: 1812.8228
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.323651
expression level: 1846.0294
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.232365
expression level: 1642.5925
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.618257
expression level: 2117.4968
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.975104
expression level: 7162.519
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.211618
expression level: 742.4183
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.485477
expression level: 1496.4406
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.33195
expression level: 1610.8442
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.253112
expression level: 1379.781
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.219917
expression level: 1468.2074
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.340249
expression level: 1546.4203
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.253112
expression level: 1493.3491
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.46888
expression level: 2067.3804
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.248963
expression level: 1021.51135
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.261411
expression level: 1182.095
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.278008
expression level: 1858.6057
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.431535
expression level: 1796.165
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.551867
expression level: 4538.201
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.232365
expression level: 1728.3701
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.576763
expression level: 2619.5286
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.211618
expression level: 1618.315
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.302905
expression level: 1403.8352
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.286307
expression level: 886.6381
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.900415
expression level: 4470.357
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.6639
expression level: 2728.5105
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.406639
expression level: 1730.6886
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.580913
expression level: 2302.5227
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.273859
expression level: 2223.7913
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.435685
expression level: 1893.3375
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.302905
expression level: 2690.6228
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.215768
expression level: 1714.9852
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.273859
expression level: 1419.8975
hide in terminfo: true

Axiom
annotated source: FBlc0006366
annotated property: type
annotated target: Restriction
expression extent: 0.460581
expression level: 1547.4636
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.548048
expression level: 1845.7589
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.578078
expression level: 1992.1873
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.722222
expression level: 3071.5325
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.948949
expression level: 10732.8125
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.225225
expression level: 1924.3563
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.238739
expression level: 1794.4463
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.37988
expression level: 1594.6099
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.516517
expression level: 3430.2622
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.635135
expression level: 2648.7773
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.674174
expression level: 3082.6646
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.250751
expression level: 2165.1792
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.474474
expression level: 2428.8992
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.214715
expression level: 1627.1354
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.303303
expression level: 1907.4586
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.322823
expression level: 1826.2644
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.466967
expression level: 2444.0708
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.351351
expression level: 1249.4966
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.241742
expression level: 2442.6104
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.854354
expression level: 9620.177
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.891892
expression level: 4980.736
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.490991
expression level: 2226.8105
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.357357
expression level: 2088.9556
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.524024
expression level: 2373.297
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.36036
expression level: 2040.3959
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.27027
expression level: 1946.9642
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.345345
expression level: 2103.727
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.213213
expression level: 905.22766
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.231231
expression level: 1993.3884
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.674174
expression level: 2888.792
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.202703
expression level: 2034.5194
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.232733
expression level: 2090.6404
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.400901
expression level: 1974.5106
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.659159
expression level: 2603.7466
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.558559
expression level: 2826.1448
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.249249
expression level: 1771.7822
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.644144
expression level: 2615.9211
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.25976
expression level: 929.9348
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.843844
expression level: 3661.799
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.606607
expression level: 4413.6216
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.25976
expression level: 1541.6433
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.267267
expression level: 1910.0847
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.243243
expression level: 1891.5732
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.243243
expression level: 1678.9248
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.714715
expression level: 3784.419
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.864865
expression level: 5994.0073
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.201201
expression level: 2004.4155
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.217718
expression level: 1983.745
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.357357
expression level: 1957.8707
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.59009
expression level: 2716.0508
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.247748
expression level: 2016.2174
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.689189
expression level: 3022.5867
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.201201
expression level: 1597.7274
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.43994
expression level: 2489.3396
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.213213
expression level: 1760.3617
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.471471
expression level: 2294.2458
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.599099
expression level: 2657.05
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.342342
expression level: 1994.162
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.399399
expression level: 1881.7003
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.716216
expression level: 2875.629
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.231231
expression level: 2101.6255
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.527027
expression level: 2419.572
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.255255
expression level: 2621.3445
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.998498
expression level: 28336.027
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.490991
expression level: 2262.7803
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.222222
expression level: 1500.0488
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.318318
expression level: 1897.5315
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.791291
expression level: 4852.362
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.681682
expression level: 3020.2065
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.351351
expression level: 1995.8972
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.62012
expression level: 3037.992
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.247748
expression level: 2115.765
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.426426
expression level: 2149.0576
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.27027
expression level: 1549.7859
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.267267
expression level: 1941.3113
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.207207
expression level: 1536.4124
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.875375
expression level: 4140.0815
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.274775
expression level: 1617.1646
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.241742
expression level: 1855.5328
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.261261
expression level: 2320.593
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.295796
expression level: 1931.9352
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.537538
expression level: 2152.913
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.309309
expression level: 1807.3743
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.22973
expression level: 1703.6698
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.406907
expression level: 1953.3593
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.358859
expression level: 2138.3586
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.471471
expression level: 1972.7255
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.704204
expression level: 2785.5815
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.414414
expression level: 1891.0717
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.531532
expression level: 2364.4707
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.25976
expression level: 1570.763
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.208709
expression level: 1449.6265
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.591592
expression level: 2206.6904
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.618619
expression level: 2771.9878
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.72973
expression level: 3521.0347
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.213213
expression level: 1695.709
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.28979
expression level: 825.08386
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.777778
expression level: 3364.0452
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.249249
expression level: 1873.7858
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.225225
expression level: 923.8694
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.211712
expression level: 1251.7572
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.264264
expression level: 1913.9312
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.315315
expression level: 2010.1312
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.843844
expression level: 4332.1333
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.220721
expression level: 1625.8121
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.725225
expression level: 3261.5059
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.546547
expression level: 2293.6565
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.981982
expression level: 8028.7935
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.990991
expression level: 13638.892
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.268769
expression level: 1927.8767
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.271772
expression level: 1924.8447
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.232733
expression level: 1708.1167
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.208709
expression level: 1785.1742
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.412913
expression level: 2145.6125
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.457958
expression level: 2590.1482
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.202703
expression level: 1846.5529
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.331832
expression level: 1950.8553
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.249249
expression level: 1855.3925
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 2113.9465
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.21021
expression level: 1552.5652
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.213213
expression level: 1759.9165
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.202703
expression level: 1704.2915
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.445946
expression level: 2313.9387
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.762763
expression level: 3679.5366
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.303303
expression level: 1266.3978
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.695195
expression level: 2894.3254
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.261261
expression level: 2546.271
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.283784
expression level: 1876.7578
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.207207
expression level: 1140.849
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.280781
expression level: 1861.2264
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.222222
expression level: 1610.4333
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.543544
expression level: 2867.816
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.220721
expression level: 1579.7499
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.292793
expression level: 1816.9628
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.405405
expression level: 1923.4797
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.325826
expression level: 1745.1277
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.525526
expression level: 2467.688
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.65015
expression level: 3257.0571
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.285285
expression level: 1836.8451
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.665165
expression level: 3987.1382
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.264264
expression level: 839.4162
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.342342
expression level: 1925.9454
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.252252
expression level: 2196.6882
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.312312
expression level: 2124.9048
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.243243
expression level: 1699.1777
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.62012
expression level: 2590.3862
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.252252
expression level: 2219.368
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.288288
expression level: 1976.9475
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.265766
expression level: 1208.7916
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.546547
expression level: 2336.8677
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.316817
expression level: 1802.6819
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.525526
expression level: 2383.2283
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.274775
expression level: 2111.9343
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.487988
expression level: 1387.3152
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.614114
expression level: 2346.253
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.56006
expression level: 2704.2737
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.331832
expression level: 2354.5881
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.489489
expression level: 1679.2006
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.279279
expression level: 2047.0416
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.292793
expression level: 1936.9069
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.219219
expression level: 2011.2438
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.414414
expression level: 2035.1945
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.600601
expression level: 2207.1968
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.235736
expression level: 1831.6943
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.854354
expression level: 4671.304
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.234234
expression level: 1675.2552
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.21021
expression level: 1973.5815
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.265766
expression level: 1504.2556
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.220721
expression level: 1983.6963
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.63964
expression level: 4368.4736
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.246246
expression level: 1943.8484
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.223724
expression level: 1570.4825
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.31982
expression level: 2276.4604
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.575075
expression level: 2689.431
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.34985
expression level: 1753.7858
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.216216
expression level: 1922.6746
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.223724
expression level: 2128.7063
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.671171
expression level: 2862.2732
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.584084
expression level: 2653.826
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.225225
expression level: 1591.0792
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.316817
expression level: 2125.2346
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.331832
expression level: 1873.2775
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.204204
expression level: 2060.5203
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.291291
expression level: 1773.1578
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.216216
expression level: 1475.3428
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.256757
expression level: 1956.0897
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.400901
expression level: 2101.2488
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.243243
expression level: 1848.8086
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.412913
expression level: 2208.8318
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.216216
expression level: 1972.7458
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.253754
expression level: 1702.4834
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.249249
expression level: 1649.9473
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.539039
expression level: 2734.3008
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.53003
expression level: 2444.6792
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.385886
expression level: 1968.5447
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.92042
expression level: 6112.8857
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.59009
expression level: 2577.1445
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.274775
expression level: 1932.5304
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.246246
expression level: 1997.2019
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.244745
expression level: 1724.463
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.343844
expression level: 6370.042
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.211712
expression level: 1988.9717
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.336336
expression level: 2060.0913
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.228228
expression level: 1634.1882
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.295796
expression level: 2033.6821
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.201201
expression level: 1862.8252
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.427928
expression level: 2584.005
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.593093
expression level: 2611.8628
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.334835
expression level: 767.5258
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.899399
expression level: 5471.5254
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.208709
expression level: 1941.7411
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.303303
expression level: 1653.1929
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.22973
expression level: 1528.3157
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.418919
expression level: 2572.7852
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.303303
expression level: 1916.263
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.366366
expression level: 735.2353
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.466967
expression level: 2321.8914
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.258258
expression level: 1612.293
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.391892
expression level: 1927.6034
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.983483
expression level: 11141.379
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.310811
expression level: 1801.943
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.888889
expression level: 5644.364
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.264264
expression level: 2715.828
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.322823
expression level: 2037.7614
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.472973
expression level: 2228.7524
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.205706
expression level: 1915.9777
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.31982
expression level: 2139.2917
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.509009
expression level: 2515.7324
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.39039
expression level: 2343.6243
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.202703
expression level: 1878.0553
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.37988
expression level: 2075.8894
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.840841
expression level: 3672.5295
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.567568
expression level: 2314.9258
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.346847
expression level: 2099.286
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.213213
expression level: 1661.9938
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.297297
expression level: 1866.732
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.252252
expression level: 1785.3412
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.208709
expression level: 1623.8943
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.220721
expression level: 1889.1785
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.291291
expression level: 1842.316
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.756757
expression level: 3120.938
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.537538
expression level: 2593.3674
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.36036
expression level: 1826.2935
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.24024
expression level: 1785.0009
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.608108
expression level: 2619.8008
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.342342
expression level: 2187.602
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.273273
expression level: 2402.7244
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.60961
expression level: 2569.449
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.695195
expression level: 2960.499
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.816817
expression level: 3882.5623
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.361862
expression level: 1737.2811
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.223724
expression level: 1764.5768
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.528529
expression level: 2954.6152
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.307808
expression level: 2274.477
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.496997
expression level: 2241.6611
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.456456
expression level: 1966.1096
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.298799
expression level: 1739.2047
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.984985
expression level: 8480.792
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.36036
expression level: 1813.4202
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.393393
expression level: 1853.683
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.602102
expression level: 3086.4243
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.536036
expression level: 2550.0945
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.304805
expression level: 2188.1433
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.372372
expression level: 2196.7788
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.340841
expression level: 1949.5027
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.238739
expression level: 1730.4093
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.647147
expression level: 1281.1731
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.253754
expression level: 1915.1549
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.25976
expression level: 2020.4543
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.456456
expression level: 2044.1877
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.274775
expression level: 1616.2981
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.285285
expression level: 1948.9062
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.510511
expression level: 2375.913
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.268769
expression level: 1637.6652
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.252252
expression level: 1776.8541
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.223724
expression level: 944.9509
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.202703
expression level: 1260.5422
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.713213
expression level: 4162.144
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.223724
expression level: 2201.0972
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.851351
expression level: 4282.9927
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.255255
expression level: 1791.9484
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.59009
expression level: 2339.4255
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.204204
expression level: 1515.761
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.414414
expression level: 2204.3508
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.324324
expression level: 1762.5619
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.956456
expression level: 5805.3965
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.334835
expression level: 1782.2778
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.624625
expression level: 2615.316
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.354354
expression level: 2268.3708
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.513514
expression level: 2482.8123
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.228228
expression level: 1711.7413
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.225225
expression level: 1624.8668
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.569069
expression level: 4185.023
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.367868
expression level: 2088.2488
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.238739
expression level: 1604.4468
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.339339
expression level: 1825.516
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.417417
expression level: 2054.0515
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.998498
expression level: 41339.754
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.226727
expression level: 2012.4087
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.207207
expression level: 2046.249
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.214715
expression level: 1780.1436
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.495495
expression level: 2255.8489
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.220721
expression level: 1882.9629
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.252252
expression level: 1904.5416
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.234234
expression level: 1718.9332
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.90991
expression level: 4808.231
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.743243
expression level: 2969.8767
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.258258
expression level: 1605.0536
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.504505
expression level: 2635.2126
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.597598
expression level: 2596.0825
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.21021
expression level: 1830.7295
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.223724
expression level: 1875.9409
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.336336
expression level: 1917.4972
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.25976
expression level: 1773.5238
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.659159
expression level: 3215.2515
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.333333
expression level: 2348.7166
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.621622
expression level: 2071.5125
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.717718
expression level: 3425.1853
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.421922
expression level: 2269.032
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.219219
expression level: 1876.4784
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.478979
expression level: 1877.3152
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.87988
expression level: 5409.0293
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.845345
expression level: 4344.904
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.3003
expression level: 1859.5114
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.268769
expression level: 2292.6846
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.366366
expression level: 2354.9343
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.478979
expression level: 2269.1382
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.258258
expression level: 1458.163
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.211712
expression level: 1607.3721
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.355856
expression level: 2119.1785
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.762763
expression level: 3158.4565
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.65015
expression level: 5204.349
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.208709
expression level: 1731.3278
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.24024
expression level: 1662.6414
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.321321
expression level: 655.50305
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.348348
expression level: 1914.9658
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.806306
expression level: 4386.7695
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.674174
expression level: 3158.137
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.204204
expression level: 1885.5952
hide in terminfo: true

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

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.271772
expression level: 2483.5996
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.522523
expression level: 2424.7808
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.345345
expression level: 1228.087
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.361862
expression level: 1745.5125
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.361862
expression level: 1883.8326
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.391892
expression level: 2181.925
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.51952
expression level: 2667.6602
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.204204
expression level: 984.0333
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.213213
expression level: 1665.9158
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.648649
expression level: 2954.133
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.310811
expression level: 2007.2242
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.457958
expression level: 2283.5083
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.86036
expression level: 3891.3037
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.25976
expression level: 2070.413
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.328829
expression level: 2296.9502
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.265766
expression level: 1823.9302
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.432432
expression level: 2609.6687
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.252252
expression level: 2004.9163
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.255255
expression level: 2009.5686
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.211712
expression level: 1983.7682
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.578078
expression level: 2758.7715
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.753754
expression level: 3756.9817
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.496997
expression level: 3230.2432
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.219219
expression level: 1773.9735
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.459459
expression level: 2723.7048
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.533033
expression level: 4273.465
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.201201
expression level: 1887.8088
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.454955
expression level: 2360.7761
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.433934
expression level: 2363.4014
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.866366
expression level: 4811.972
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.397898
expression level: 2017.6573
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.764264
expression level: 3515.86
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.391892
expression level: 2219.3035
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.548048
expression level: 2806.6633
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.432432
expression level: 2213.1309
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.501502
expression level: 2588.1233
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.208709
expression level: 834.79834
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.608108
expression level: 2653.503
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.250751
expression level: 1649.3256
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.728228
expression level: 3343.2976
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.654655
expression level: 3667.5261
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.213213
expression level: 1950.9497
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.303303
expression level: 1385.5927
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.785285
expression level: 5520.673
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.361862
expression level: 1960.893
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.367868
expression level: 2243.1626
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.725225
expression level: 3593.8547
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.603604
expression level: 1901.5891
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.466967
expression level: 1347.5295
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.608108
expression level: 2580.1182
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.537538
expression level: 2285.6448
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.429429
expression level: 1900.5814
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.382883
expression level: 1976.5844
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.367868
expression level: 2276.9746
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.246246
expression level: 1971.0413
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.963964
expression level: 6909.033
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.602102
expression level: 2762.246
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.297297
expression level: 1995.15
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.408408
expression level: 3942.9062
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.342342
expression level: 1666.2644
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.225225
expression level: 964.5544
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.406907
expression level: 2108.5486
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.304805
expression level: 1801.975
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.762763
expression level: 3372.461
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.68018
expression level: 2932.675
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.602102
expression level: 2886.603
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.448949
expression level: 2357.6345
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.432432
expression level: 2181.476
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.870871
expression level: 4750.2466
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.402402
expression level: 2257.0886
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.798799
expression level: 3747.3672
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.929429
expression level: 5903.816
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.238739
expression level: 2174.0095
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.406907
expression level: 2161.9565
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.322823
expression level: 2053.3276
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.735736
expression level: 5823.4897
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.837838
expression level: 5619.6895
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.220721
expression level: 2151.3325
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.998498
expression level: 44068.438
hide in terminfo: true

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

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.297297
expression level: 984.89624
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.39039
expression level: 2496.177
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.292793
expression level: 1736.1552
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.614114
expression level: 1227.8936
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.22973
expression level: 558.6684
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.430931
expression level: 2337.0989
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.211712
expression level: 2036.6732
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.576577
expression level: 2531.126
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.376877
expression level: 2130.1946
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.453453
expression level: 1826.802
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.217718
expression level: 1665.4447
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.744745
expression level: 3498.916
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.722222
expression level: 3250.3938
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.400901
expression level: 1899.0398
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.268769
expression level: 2038.1901
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.250751
expression level: 1923.222
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.3003
expression level: 2285.1172
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.852853
expression level: 4557.944
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.456456
expression level: 2618.604
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.472973
expression level: 2446.4412
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.941441
expression level: 8021.247
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.267267
expression level: 1445.8285
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.217718
expression level: 1704.9221
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.223724
expression level: 1774.9333
hide in terminfo: true

Axiom
annotated source: FBlc0006367
annotated property: type
annotated target: Restriction
expression extent: 0.400901
expression level: 1943.3612
hide in terminfo: true