0.7323204047866916 holdsK(S,P,O) :- holdsL0(S,P,O).
holdsL0(S,P,O) :- @eq(S,economicaid),@eq(P,is),@eq(O,relC1).
0.038195336953549264 holdsK(S,P,O) :- holdsL1(S,P,O).
holdsL1(S,P,O) :- @eq(S,economicaid),@eq(P,is),@eq(O,relC2).
-0.9017105794070515 holdsK(S,P,O) :- holdsL2(S,P,O).
holdsL2(S,P,O) :- @eq(S,economicaid),@eq(P,is),@eq(O,relC3).
-0.4646854353905574 holdsK(S,P,O) :- holdsL3(S,P,O).
holdsL3(S,P,O) :- @eq(S,releconomicaid),@eq(P,is),@eq(O,relC1).
0.12221832130047927 holdsK(S,P,O) :- holdsL4(S,P,O).
holdsL4(S,P,O) :- @eq(S,releconomicaid),@eq(P,is),@eq(O,relC2).
-0.15339193349176217 holdsK(S,P,O) :- holdsL5(S,P,O).
holdsL5(S,P,O) :- @eq(S,releconomicaid),@eq(P,is),@eq(O,relC3).
-0.5506688944819962 holdsK(S,P,O) :- holdsL6(S,P,O).
holdsL6(S,P,O) :- @eq(S,treaties),@eq(P,is),@eq(O,relC1).
-0.27969123802486284 holdsK(S,P,O) :- holdsL7(S,P,O).
holdsL7(S,P,O) :- @eq(S,treaties),@eq(P,is),@eq(O,relC2).
0.21845602233664274 holdsK(S,P,O) :- holdsL8(S,P,O).
holdsL8(S,P,O) :- @eq(S,treaties),@eq(P,is),@eq(O,relC3).
-0.3278701110746325 holdsK(S,P,O) :- holdsL9(S,P,O).
holdsL9(S,P,O) :- @eq(S,reltreaties),@eq(P,is),@eq(O,relC1).
-0.9352739601634972 holdsK(S,P,O) :- holdsL10(S,P,O).
holdsL10(S,P,O) :- @eq(S,reltreaties),@eq(P,is),@eq(O,relC2).
0.24105375356051528 holdsK(S,P,O) :- holdsL11(S,P,O).
holdsL11(S,P,O) :- @eq(S,reltreaties),@eq(P,is),@eq(O,relC3).
0.9499418581666808 holdsK(S,P,O) :- holdsL12(S,P,O).
holdsL12(S,P,O) :- @eq(S,officialvisits),@eq(P,is),@eq(O,relC1).
-0.09777553822347329 holdsK(S,P,O) :- holdsL13(S,P,O).
holdsL13(S,P,O) :- @eq(S,officialvisits),@eq(P,is),@eq(O,relC2).
-0.3888735583707301 holdsK(S,P,O) :- holdsL14(S,P,O).
holdsL14(S,P,O) :- @eq(S,officialvisits),@eq(P,is),@eq(O,relC3).
0.39866895931131996 holdsK(S,P,O) :- holdsL15(S,P,O).
holdsL15(S,P,O) :- @eq(S,conferences),@eq(P,is),@eq(O,relC1).
-0.37573975089336 holdsK(S,P,O) :- holdsL16(S,P,O).
holdsL16(S,P,O) :- @eq(S,conferences),@eq(P,is),@eq(O,relC2).
0.4669272421730313 holdsK(S,P,O) :- holdsL17(S,P,O).
holdsL17(S,P,O) :- @eq(S,conferences),@eq(P,is),@eq(O,relC3).
-0.3260257795388908 holdsK(S,P,O) :- holdsL18(S,P,O).
holdsL18(S,P,O) :- @eq(S,exportbooks),@eq(P,is),@eq(O,relC1).
0.37708474876205567 holdsK(S,P,O) :- holdsL19(S,P,O).
holdsL19(S,P,O) :- @eq(S,exportbooks),@eq(P,is),@eq(O,relC2).
0.6421098480059135 holdsK(S,P,O) :- holdsL20(S,P,O).
holdsL20(S,P,O) :- @eq(S,exportbooks),@eq(P,is),@eq(O,relC3).
0.691807402873629 holdsK(S,P,O) :- holdsL21(S,P,O).
holdsL21(S,P,O) :- @eq(S,relexportbooks),@eq(P,is),@eq(O,relC1).
0.7757998070197778 holdsK(S,P,O) :- holdsL22(S,P,O).
holdsL22(S,P,O) :- @eq(S,relexportbooks),@eq(P,is),@eq(O,relC2).
0.8846746233618112 holdsK(S,P,O) :- holdsL23(S,P,O).
holdsL23(S,P,O) :- @eq(S,relexportbooks),@eq(P,is),@eq(O,relC3).
0.3225911040029985 holdsK(S,P,O) :- holdsL24(S,P,O).
holdsL24(S,P,O) :- @eq(S,booktranslations),@eq(P,is),@eq(O,relC1).
-0.4354713968834283 holdsK(S,P,O) :- holdsL25(S,P,O).
holdsL25(S,P,O) :- @eq(S,booktranslations),@eq(P,is),@eq(O,relC2).
-0.36410601686818755 holdsK(S,P,O) :- holdsL26(S,P,O).
holdsL26(S,P,O) :- @eq(S,booktranslations),@eq(P,is),@eq(O,relC3).
0.055098120550487906 holdsK(S,P,O) :- holdsL27(S,P,O).
holdsL27(S,P,O) :- @eq(S,relbooktranslations),@eq(P,is),@eq(O,relC1).
-0.4752927805445306 holdsK(S,P,O) :- holdsL28(S,P,O).
holdsL28(S,P,O) :- @eq(S,relbooktranslations),@eq(P,is),@eq(O,relC2).
0.9094547556476569 holdsK(S,P,O) :- holdsL29(S,P,O).
holdsL29(S,P,O) :- @eq(S,relbooktranslations),@eq(P,is),@eq(O,relC3).
0.3694122532493629 holdsK(S,P,O) :- holdsL30(S,P,O).
holdsL30(S,P,O) :- @eq(S,warning),@eq(P,is),@eq(O,relC1).
0.9348082489837573 holdsK(S,P,O) :- holdsL31(S,P,O).
holdsL31(S,P,O) :- @eq(S,warning),@eq(P,is),@eq(O,relC2).
-0.2710426928044616 holdsK(S,P,O) :- holdsL32(S,P,O).
holdsL32(S,P,O) :- @eq(S,warning),@eq(P,is),@eq(O,relC3).
-0.2911132018844653 holdsK(S,P,O) :- holdsL33(S,P,O).
holdsL33(S,P,O) :- @eq(S,violentactions),@eq(P,is),@eq(O,relC1).
0.4587357267817813 holdsK(S,P,O) :- holdsL34(S,P,O).
holdsL34(S,P,O) :- @eq(S,violentactions),@eq(P,is),@eq(O,relC2).
0.03506676266668429 holdsK(S,P,O) :- holdsL35(S,P,O).
holdsL35(S,P,O) :- @eq(S,violentactions),@eq(P,is),@eq(O,relC3).
0.03391746505118287 holdsK(S,P,O) :- holdsL36(S,P,O).
holdsL36(S,P,O) :- @eq(S,militaryactions),@eq(P,is),@eq(O,relC1).
0.8661580284678108 holdsK(S,P,O) :- holdsL37(S,P,O).
holdsL37(S,P,O) :- @eq(S,militaryactions),@eq(P,is),@eq(O,relC2).
0.2771791971848758 holdsK(S,P,O) :- holdsL38(S,P,O).
holdsL38(S,P,O) :- @eq(S,militaryactions),@eq(P,is),@eq(O,relC3).
0.8892033295020416 holdsK(S,P,O) :- holdsL39(S,P,O).
holdsL39(S,P,O) :- @eq(S,duration),@eq(P,is),@eq(O,relC1).
-0.87378024966339 holdsK(S,P,O) :- holdsL40(S,P,O).
holdsL40(S,P,O) :- @eq(S,duration),@eq(P,is),@eq(O,relC2).
0.07495522392756127 holdsK(S,P,O) :- holdsL41(S,P,O).
holdsL41(S,P,O) :- @eq(S,duration),@eq(P,is),@eq(O,relC3).
-0.29509740815457364 holdsK(S,P,O) :- holdsL42(S,P,O).
holdsL42(S,P,O) :- @eq(S,negativebehavior),@eq(P,is),@eq(O,relC1).
0.3312430472976722 holdsK(S,P,O) :- holdsL43(S,P,O).
holdsL43(S,P,O) :- @eq(S,negativebehavior),@eq(P,is),@eq(O,relC2).
-0.3016441258387177 holdsK(S,P,O) :- holdsL44(S,P,O).
holdsL44(S,P,O) :- @eq(S,negativebehavior),@eq(P,is),@eq(O,relC3).
0.14087401843153646 holdsK(S,P,O) :- holdsL45(S,P,O).
holdsL45(S,P,O) :- @eq(S,severdiplomatic),@eq(P,is),@eq(O,relC1).
0.9491468821598572 holdsK(S,P,O) :- holdsL46(S,P,O).
holdsL46(S,P,O) :- @eq(S,severdiplomatic),@eq(P,is),@eq(O,relC2).
-0.7000807881372391 holdsK(S,P,O) :- holdsL47(S,P,O).
holdsL47(S,P,O) :- @eq(S,severdiplomatic),@eq(P,is),@eq(O,relC3).
-0.982752984042456 holdsK(S,P,O) :- holdsL48(S,P,O).
holdsL48(S,P,O) :- @eq(S,expeldiplomats),@eq(P,is),@eq(O,relC1).
-0.9046424009079521 holdsK(S,P,O) :- holdsL49(S,P,O).
holdsL49(S,P,O) :- @eq(S,expeldiplomats),@eq(P,is),@eq(O,relC2).
0.06568215078038575 holdsK(S,P,O) :- holdsL50(S,P,O).
holdsL50(S,P,O) :- @eq(S,expeldiplomats),@eq(P,is),@eq(O,relC3).
0.3724773266772752 holdsK(S,P,O) :- holdsL51(S,P,O).
holdsL51(S,P,O) :- @eq(S,boycottembargo),@eq(P,is),@eq(O,relC1).
0.3875377741175683 holdsK(S,P,O) :- holdsL52(S,P,O).
holdsL52(S,P,O) :- @eq(S,boycottembargo),@eq(P,is),@eq(O,relC2).
0.7488081453391682 holdsK(S,P,O) :- holdsL53(S,P,O).
holdsL53(S,P,O) :- @eq(S,boycottembargo),@eq(P,is),@eq(O,relC3).
0.8756201769061711 holdsK(S,P,O) :- holdsL54(S,P,O).
holdsL54(S,P,O) :- @eq(S,aidenemy),@eq(P,is),@eq(O,relC1).
0.9455686480553638 holdsK(S,P,O) :- holdsL55(S,P,O).
holdsL55(S,P,O) :- @eq(S,aidenemy),@eq(P,is),@eq(O,relC2).
0.10708710436355484 holdsK(S,P,O) :- holdsL56(S,P,O).
holdsL56(S,P,O) :- @eq(S,aidenemy),@eq(P,is),@eq(O,relC3).
-0.05119912706836938 holdsK(S,P,O) :- holdsL57(S,P,O).
holdsL57(S,P,O) :- @eq(S,negativecomm),@eq(P,is),@eq(O,relC1).
-0.018489504967110992 holdsK(S,P,O) :- holdsL58(S,P,O).
holdsL58(S,P,O) :- @eq(S,negativecomm),@eq(P,is),@eq(O,relC2).
0.005920050394108811 holdsK(S,P,O) :- holdsL59(S,P,O).
holdsL59(S,P,O) :- @eq(S,negativecomm),@eq(P,is),@eq(O,relC3).
-0.82185516434009 holdsK(S,P,O) :- holdsL60(S,P,O).
holdsL60(S,P,O) :- @eq(S,accusation),@eq(P,is),@eq(O,relC1).
-0.2590275999017906 holdsK(S,P,O) :- holdsL61(S,P,O).
holdsL61(S,P,O) :- @eq(S,accusation),@eq(P,is),@eq(O,relC2).
0.408903563242178 holdsK(S,P,O) :- holdsL62(S,P,O).
holdsL62(S,P,O) :- @eq(S,accusation),@eq(P,is),@eq(O,relC3).
-0.22863986313678097 holdsK(S,P,O) :- holdsL63(S,P,O).
holdsL63(S,P,O) :- @eq(S,pprotests),@eq(P,is),@eq(O,relC1).
0.5162187556939302 holdsK(S,P,O) :- holdsL64(S,P,O).
holdsL64(S,P,O) :- @eq(S,pprotests),@eq(P,is),@eq(O,relC2).
-0.12570634368519373 holdsK(S,P,O) :- holdsL65(S,P,O).
holdsL65(S,P,O) :- @eq(S,pprotests),@eq(P,is),@eq(O,relC3).
0.03433102019120371 holdsK(S,P,O) :- holdsL66(S,P,O).
holdsL66(S,P,O) :- @eq(S,unoffialacts),@eq(P,is),@eq(O,relC1).
-0.8668300163778173 holdsK(S,P,O) :- holdsL67(S,P,O).
holdsL67(S,P,O) :- @eq(S,unoffialacts),@eq(P,is),@eq(O,relC2).
0.6896516717956105 holdsK(S,P,O) :- holdsL68(S,P,O).
holdsL68(S,P,O) :- @eq(S,unoffialacts),@eq(P,is),@eq(O,relC3).
-0.35091972457413423 holdsK(S,P,O) :- holdsL69(S,P,O).
holdsL69(S,P,O) :- @eq(S,attackembassy),@eq(P,is),@eq(O,relC1).
-0.5920816965591398 holdsK(S,P,O) :- holdsL70(S,P,O).
holdsL70(S,P,O) :- @eq(S,attackembassy),@eq(P,is),@eq(O,relC2).
-0.20638173986110098 holdsK(S,P,O) :- holdsL71(S,P,O).
holdsL71(S,P,O) :- @eq(S,attackembassy),@eq(P,is),@eq(O,relC3).
0.32644424234646885 holdsK(S,P,O) :- holdsL72(S,P,O).
holdsL72(S,P,O) :- @eq(S,nonviolentbehavior),@eq(P,is),@eq(O,relC1).
0.9752328735991416 holdsK(S,P,O) :- holdsL73(S,P,O).
holdsL73(S,P,O) :- @eq(S,nonviolentbehavior),@eq(P,is),@eq(O,relC2).
-0.1613895728612862 holdsK(S,P,O) :- holdsL74(S,P,O).
holdsL74(S,P,O) :- @eq(S,nonviolentbehavior),@eq(P,is),@eq(O,relC3).
0.2679319130096143 holdsK(S,P,O) :- holdsL75(S,P,O).
holdsL75(S,P,O) :- @eq(S,weightedunvote),@eq(P,is),@eq(O,relC1).
-0.7591246757463705 holdsK(S,P,O) :- holdsL76(S,P,O).
holdsL76(S,P,O) :- @eq(S,weightedunvote),@eq(P,is),@eq(O,relC2).
-0.31015939286581995 holdsK(S,P,O) :- holdsL77(S,P,O).
holdsL77(S,P,O) :- @eq(S,weightedunvote),@eq(P,is),@eq(O,relC3).
0.6822578617798969 holdsK(S,P,O) :- holdsL78(S,P,O).
holdsL78(S,P,O) :- @eq(S,unweightedunvote),@eq(P,is),@eq(O,relC1).
-0.4921567417022392 holdsK(S,P,O) :- holdsL79(S,P,O).
holdsL79(S,P,O) :- @eq(S,unweightedunvote),@eq(P,is),@eq(O,relC2).
-0.939014068351766 holdsK(S,P,O) :- holdsL80(S,P,O).
holdsL80(S,P,O) :- @eq(S,unweightedunvote),@eq(P,is),@eq(O,relC3).
0.677421312822772 holdsK(S,P,O) :- holdsL81(S,P,O).
holdsL81(S,P,O) :- @eq(S,tourism),@eq(P,is),@eq(O,relC1).
0.6575744048641028 holdsK(S,P,O) :- holdsL82(S,P,O).
holdsL82(S,P,O) :- @eq(S,tourism),@eq(P,is),@eq(O,relC2).
0.8042447310164664 holdsK(S,P,O) :- holdsL83(S,P,O).
holdsL83(S,P,O) :- @eq(S,tourism),@eq(P,is),@eq(O,relC3).
-0.32098993964968825 holdsK(S,P,O) :- holdsL84(S,P,O).
holdsL84(S,P,O) :- @eq(S,reltourism),@eq(P,is),@eq(O,relC1).
-0.85728595012795 holdsK(S,P,O) :- holdsL85(S,P,O).
holdsL85(S,P,O) :- @eq(S,reltourism),@eq(P,is),@eq(O,relC2).
-0.2877552648901247 holdsK(S,P,O) :- holdsL86(S,P,O).
holdsL86(S,P,O) :- @eq(S,reltourism),@eq(P,is),@eq(O,relC3).
-0.16062577358215724 holdsK(S,P,O) :- holdsL87(S,P,O).
holdsL87(S,P,O) :- @eq(S,tourism3),@eq(P,is),@eq(O,relC1).
0.2003498797795764 holdsK(S,P,O) :- holdsL88(S,P,O).
holdsL88(S,P,O) :- @eq(S,tourism3),@eq(P,is),@eq(O,relC2).
0.5050778347904841 holdsK(S,P,O) :- holdsL89(S,P,O).
holdsL89(S,P,O) :- @eq(S,tourism3),@eq(P,is),@eq(O,relC3).
-0.5287742339400674 holdsK(S,P,O) :- holdsL90(S,P,O).
holdsL90(S,P,O) :- @eq(S,eemigrants),@eq(P,is),@eq(O,relC1).
0.2843440155941044 holdsK(S,P,O) :- holdsL91(S,P,O).
holdsL91(S,P,O) :- @eq(S,eemigrants),@eq(P,is),@eq(O,relC2).
0.23270991053383883 holdsK(S,P,O) :- holdsL92(S,P,O).
holdsL92(S,P,O) :- @eq(S,eemigrants),@eq(P,is),@eq(O,relC3).
0.8151933854515852 holdsK(S,P,O) :- holdsL93(S,P,O).
holdsL93(S,P,O) :- @eq(S,relemigrants),@eq(P,is),@eq(O,relC1).
-0.3784499334119398 holdsK(S,P,O) :- holdsL94(S,P,O).
holdsL94(S,P,O) :- @eq(S,relemigrants),@eq(P,is),@eq(O,relC2).
0.17571632627347045 holdsK(S,P,O) :- holdsL95(S,P,O).
holdsL95(S,P,O) :- @eq(S,relemigrants),@eq(P,is),@eq(O,relC3).
-0.6644816753001819 holdsK(S,P,O) :- holdsL96(S,P,O).
holdsL96(S,P,O) :- @eq(S,emigrants3),@eq(P,is),@eq(O,relC1).
0.33890379729059195 holdsK(S,P,O) :- holdsL97(S,P,O).
holdsL97(S,P,O) :- @eq(S,emigrants3),@eq(P,is),@eq(O,relC2).
0.722706830614841 holdsK(S,P,O) :- holdsL98(S,P,O).
holdsL98(S,P,O) :- @eq(S,emigrants3),@eq(P,is),@eq(O,relC3).
0.45522051753773085 holdsK(S,P,O) :- holdsL99(S,P,O).
holdsL99(S,P,O) :- @eq(S,students),@eq(P,is),@eq(O,relC1).
-0.7592181686399551 holdsK(S,P,O) :- holdsL100(S,P,O).
holdsL100(S,P,O) :- @eq(S,students),@eq(P,is),@eq(O,relC2).
-0.9903288060820157 holdsK(S,P,O) :- holdsL101(S,P,O).
holdsL101(S,P,O) :- @eq(S,students),@eq(P,is),@eq(O,relC3).
0.8789399275708054 holdsK(S,P,O) :- holdsL102(S,P,O).
holdsL102(S,P,O) :- @eq(S,relstudents),@eq(P,is),@eq(O,relC1).
-0.48040388743147044 holdsK(S,P,O) :- holdsL103(S,P,O).
holdsL103(S,P,O) :- @eq(S,relstudents),@eq(P,is),@eq(O,relC2).
-0.9399662718660551 holdsK(S,P,O) :- holdsL104(S,P,O).
holdsL104(S,P,O) :- @eq(S,relstudents),@eq(P,is),@eq(O,relC3).
-0.17973264921922438 holdsK(S,P,O) :- holdsL105(S,P,O).
holdsL105(S,P,O) :- @eq(S,eexports),@eq(P,is),@eq(O,relC1).
0.46956970729915315 holdsK(S,P,O) :- holdsL106(S,P,O).
holdsL106(S,P,O) :- @eq(S,eexports),@eq(P,is),@eq(O,relC2).
0.4029376144220489 holdsK(S,P,O) :- holdsL107(S,P,O).
holdsL107(S,P,O) :- @eq(S,eexports),@eq(P,is),@eq(O,relC3).
0.10805158144011062 holdsK(S,P,O) :- holdsL108(S,P,O).
holdsL108(S,P,O) :- @eq(S,relexports),@eq(P,is),@eq(O,relC1).
0.9059564282170975 holdsK(S,P,O) :- holdsL109(S,P,O).
holdsL109(S,P,O) :- @eq(S,relexports),@eq(P,is),@eq(O,relC2).
-0.2942903432868085 holdsK(S,P,O) :- holdsL110(S,P,O).
holdsL110(S,P,O) :- @eq(S,relexports),@eq(P,is),@eq(O,relC3).
0.3018068439117563 holdsK(S,P,O) :- holdsL111(S,P,O).
holdsL111(S,P,O) :- @eq(S,exports3),@eq(P,is),@eq(O,relC1).
0.20253714333952622 holdsK(S,P,O) :- holdsL112(S,P,O).
holdsL112(S,P,O) :- @eq(S,exports3),@eq(P,is),@eq(O,relC2).
-0.93443162798245 holdsK(S,P,O) :- holdsL113(S,P,O).
holdsL113(S,P,O) :- @eq(S,exports3),@eq(P,is),@eq(O,relC3).
0.16651553859223678 holdsK(S,P,O) :- holdsL114(S,P,O).
holdsL114(S,P,O) :- @eq(S,intergovorgs),@eq(P,is),@eq(O,relC1).
-0.44622997737977954 holdsK(S,P,O) :- holdsL115(S,P,O).
holdsL115(S,P,O) :- @eq(S,intergovorgs),@eq(P,is),@eq(O,relC2).
-0.6600352370208997 holdsK(S,P,O) :- holdsL116(S,P,O).
holdsL116(S,P,O) :- @eq(S,intergovorgs),@eq(P,is),@eq(O,relC3).
0.7735034077186949 holdsK(S,P,O) :- holdsL117(S,P,O).
holdsL117(S,P,O) :- @eq(S,relintergovorgs),@eq(P,is),@eq(O,relC1).
-0.33463070809721507 holdsK(S,P,O) :- holdsL118(S,P,O).
holdsL118(S,P,O) :- @eq(S,relintergovorgs),@eq(P,is),@eq(O,relC2).
0.8929062227711091 holdsK(S,P,O) :- holdsL119(S,P,O).
holdsL119(S,P,O) :- @eq(S,relintergovorgs),@eq(P,is),@eq(O,relC3).
-0.49867711183903896 holdsK(S,P,O) :- holdsL120(S,P,O).
holdsL120(S,P,O) :- @eq(S,ngo),@eq(P,is),@eq(O,relC1).
-0.6451533394569962 holdsK(S,P,O) :- holdsL121(S,P,O).
holdsL121(S,P,O) :- @eq(S,ngo),@eq(P,is),@eq(O,relC2).
-0.19383326851957783 holdsK(S,P,O) :- holdsL122(S,P,O).
holdsL122(S,P,O) :- @eq(S,ngo),@eq(P,is),@eq(O,relC3).
-0.16877378463153514 holdsK(S,P,O) :- holdsL123(S,P,O).
holdsL123(S,P,O) :- @eq(S,relngo),@eq(P,is),@eq(O,relC1).
-0.9925140043856353 holdsK(S,P,O) :- holdsL124(S,P,O).
holdsL124(S,P,O) :- @eq(S,relngo),@eq(P,is),@eq(O,relC2).
0.9274149353623782 holdsK(S,P,O) :- holdsL125(S,P,O).
holdsL125(S,P,O) :- @eq(S,relngo),@eq(P,is),@eq(O,relC3).
-0.5878573685344848 holdsK(S,P,O) :- holdsL126(S,P,O).
holdsL126(S,P,O) :- @eq(S,intergovorgs3),@eq(P,is),@eq(O,relC1).
-0.6471709243004942 holdsK(S,P,O) :- holdsL127(S,P,O).
holdsL127(S,P,O) :- @eq(S,intergovorgs3),@eq(P,is),@eq(O,relC2).
0.3224726130146547 holdsK(S,P,O) :- holdsL128(S,P,O).
holdsL128(S,P,O) :- @eq(S,intergovorgs3),@eq(P,is),@eq(O,relC3).
0.9586958515790986 holdsK(S,P,O) :- holdsL129(S,P,O).
holdsL129(S,P,O) :- @eq(S,ngoorgs3),@eq(P,is),@eq(O,relC1).
0.6444333136796259 holdsK(S,P,O) :- holdsL130(S,P,O).
holdsL130(S,P,O) :- @eq(S,ngoorgs3),@eq(P,is),@eq(O,relC2).
0.7580171811031671 holdsK(S,P,O) :- holdsL131(S,P,O).
holdsL131(S,P,O) :- @eq(S,ngoorgs3),@eq(P,is),@eq(O,relC3).
-0.506141607949284 holdsK(S,P,O) :- holdsL132(S,P,O).
holdsL132(S,P,O) :- @eq(S,embassy),@eq(P,is),@eq(O,relC1).
-0.15771758706577432 holdsK(S,P,O) :- holdsL133(S,P,O).
holdsL133(S,P,O) :- @eq(S,embassy),@eq(P,is),@eq(O,relC2).
0.07484184268347382 holdsK(S,P,O) :- holdsL134(S,P,O).
holdsL134(S,P,O) :- @eq(S,embassy),@eq(P,is),@eq(O,relC3).
-0.5425221199950128 holdsK(S,P,O) :- holdsL135(S,P,O).
holdsL135(S,P,O) :- @eq(S,reldiplomacy),@eq(P,is),@eq(O,relC1).
-0.476869271588942 holdsK(S,P,O) :- holdsL136(S,P,O).
holdsL136(S,P,O) :- @eq(S,reldiplomacy),@eq(P,is),@eq(O,relC2).
-0.23245482149515362 holdsK(S,P,O) :- holdsL137(S,P,O).
holdsL137(S,P,O) :- @eq(S,reldiplomacy),@eq(P,is),@eq(O,relC3).
0.23703679736156635 holdsK(S,P,O) :- holdsL138(S,P,O).
holdsL138(S,P,O) :- @eq(S,timesincewar),@eq(P,is),@eq(O,relC1).
-0.20796598526367105 holdsK(S,P,O) :- holdsL139(S,P,O).
holdsL139(S,P,O) :- @eq(S,timesincewar),@eq(P,is),@eq(O,relC2).
0.8747856614514613 holdsK(S,P,O) :- holdsL140(S,P,O).
holdsL140(S,P,O) :- @eq(S,timesincewar),@eq(P,is),@eq(O,relC3).
0.33792529999103826 holdsK(S,P,O) :- holdsL141(S,P,O).
holdsL141(S,P,O) :- @eq(S,timesinceally),@eq(P,is),@eq(O,relC1).
0.25268118224275726 holdsK(S,P,O) :- holdsL142(S,P,O).
holdsL142(S,P,O) :- @eq(S,timesinceally),@eq(P,is),@eq(O,relC2).
0.5413529776053352 holdsK(S,P,O) :- holdsL143(S,P,O).
holdsL143(S,P,O) :- @eq(S,timesinceally),@eq(P,is),@eq(O,relC3).
0.06148405813976132 holdsK(S,P,O) :- holdsL144(S,P,O).
holdsL144(S,P,O) :- @eq(S,lostterritory),@eq(P,is),@eq(O,relC1).
0.8873724772398062 holdsK(S,P,O) :- holdsL145(S,P,O).
holdsL145(S,P,O) :- @eq(S,lostterritory),@eq(P,is),@eq(O,relC2).
-0.9862461627728789 holdsK(S,P,O) :- holdsL146(S,P,O).
holdsL146(S,P,O) :- @eq(S,lostterritory),@eq(P,is),@eq(O,relC3).
0.6853968121834577 holdsK(S,P,O) :- holdsL147(S,P,O).
holdsL147(S,P,O) :- @eq(S,dependent),@eq(P,is),@eq(O,relC1).
-0.21640017035393022 holdsK(S,P,O) :- holdsL148(S,P,O).
holdsL148(S,P,O) :- @eq(S,dependent),@eq(P,is),@eq(O,relC2).
-0.7489073729724964 holdsK(S,P,O) :- holdsL149(S,P,O).
holdsL149(S,P,O) :- @eq(S,dependent),@eq(P,is),@eq(O,relC3).
-0.9004089239010973 holdsK(S,P,O) :- holdsL150(S,P,O).
holdsL150(S,P,O) :- @eq(S,independence),@eq(P,is),@eq(O,relC1).
-0.8047143346377303 holdsK(S,P,O) :- holdsL151(S,P,O).
holdsL151(S,P,O) :- @eq(S,independence),@eq(P,is),@eq(O,relC2).
-0.544991944747397 holdsK(S,P,O) :- holdsL152(S,P,O).
holdsL152(S,P,O) :- @eq(S,independence),@eq(P,is),@eq(O,relC3).
-0.13409022405231896 holdsK(S,P,O) :- holdsL153(S,P,O).
holdsL153(S,P,O) :- @eq(S,commonbloc0),@eq(P,is),@eq(O,relC1).
0.11694185801165968 holdsK(S,P,O) :- holdsL154(S,P,O).
holdsL154(S,P,O) :- @eq(S,commonbloc0),@eq(P,is),@eq(O,relC2).
-0.8443628329053712 holdsK(S,P,O) :- holdsL155(S,P,O).
holdsL155(S,P,O) :- @eq(S,commonbloc0),@eq(P,is),@eq(O,relC3).
-0.8870232319968894 holdsK(S,P,O) :- holdsL156(S,P,O).
holdsL156(S,P,O) :- @eq(S,blockpositionindex),@eq(P,is),@eq(O,relC1).
0.507188804095019 holdsK(S,P,O) :- holdsL157(S,P,O).
holdsL157(S,P,O) :- @eq(S,blockpositionindex),@eq(P,is),@eq(O,relC2).
0.473596019069908 holdsK(S,P,O) :- holdsL158(S,P,O).
holdsL158(S,P,O) :- @eq(S,blockpositionindex),@eq(P,is),@eq(O,relC3).
-0.6416639824635846 holdsK(S,P,O) :- holdsL159(S,P,O).
holdsL159(S,P,O) :- @eq(S,militaryalliance),@eq(P,is),@eq(O,relC1).
0.6885421936512441 holdsK(S,P,O) :- holdsL160(S,P,O).
holdsL160(S,P,O) :- @eq(S,militaryalliance),@eq(P,is),@eq(O,relC2).
0.7134048176799717 holdsK(S,P,O) :- holdsL161(S,P,O).
holdsL161(S,P,O) :- @eq(S,militaryalliance),@eq(P,is),@eq(O,relC3).
0.7309096386204774 holdsK(S,P,O) :- holdsL162(S,P,O).
holdsL162(S,P,O) :- @eq(S,commonbloc1),@eq(P,is),@eq(O,relC1).
-0.34192276815886347 holdsK(S,P,O) :- holdsL163(S,P,O).
holdsL163(S,P,O) :- @eq(S,commonbloc1),@eq(P,is),@eq(O,relC2).
0.4047618792792995 holdsK(S,P,O) :- holdsL164(S,P,O).
holdsL164(S,P,O) :- @eq(S,commonbloc1),@eq(P,is),@eq(O,relC3).
0.006086420566326911 holdsK(S,P,O) :- holdsL165(S,P,O).
holdsL165(S,P,O) :- @eq(S,commonbloc2),@eq(P,is),@eq(O,relC1).
-0.3721815493847793 holdsK(S,P,O) :- holdsL166(S,P,O).
holdsL166(S,P,O) :- @eq(S,commonbloc2),@eq(P,is),@eq(O,relC2).
-0.15708147464996558 holdsK(S,P,O) :- holdsL167(S,P,O).
holdsL167(S,P,O) :- @eq(S,commonbloc2),@eq(P,is),@eq(O,relC3).
0.6737568575130066 holdsK(S,P,O) :- holdsL168(S,P,O).
holdsL168(S,P,O) :- @eq(S,brazil),@eq(P,is),@eq(O,entC1).
0.3820007683442963 holdsK(S,P,O) :- holdsL169(S,P,O).
holdsL169(S,P,O) :- @eq(S,brazil),@eq(P,is),@eq(O,entC2).
-0.37130504652664365 holdsK(S,P,O) :- holdsL170(S,P,O).
holdsL170(S,P,O) :- @eq(S,brazil),@eq(P,is),@eq(O,entC3).
-0.45153273082055634 holdsK(S,P,O) :- holdsL171(S,P,O).
holdsL171(S,P,O) :- @eq(S,burma),@eq(P,is),@eq(O,entC1).
-0.7205311375498034 holdsK(S,P,O) :- holdsL172(S,P,O).
holdsL172(S,P,O) :- @eq(S,burma),@eq(P,is),@eq(O,entC2).
-0.7639117078441331 holdsK(S,P,O) :- holdsL173(S,P,O).
holdsL173(S,P,O) :- @eq(S,burma),@eq(P,is),@eq(O,entC3).
0.41967088991895163 holdsK(S,P,O) :- holdsL174(S,P,O).
holdsL174(S,P,O) :- @eq(S,china),@eq(P,is),@eq(O,entC1).
0.8322175434091628 holdsK(S,P,O) :- holdsL175(S,P,O).
holdsL175(S,P,O) :- @eq(S,china),@eq(P,is),@eq(O,entC2).
-0.1384256437374083 holdsK(S,P,O) :- holdsL176(S,P,O).
holdsL176(S,P,O) :- @eq(S,china),@eq(P,is),@eq(O,entC3).
-0.13220354076046448 holdsK(S,P,O) :- holdsL177(S,P,O).
holdsL177(S,P,O) :- @eq(S,cuba),@eq(P,is),@eq(O,entC1).
0.16281218375057294 holdsK(S,P,O) :- holdsL178(S,P,O).
holdsL178(S,P,O) :- @eq(S,cuba),@eq(P,is),@eq(O,entC2).
-0.5750551794423882 holdsK(S,P,O) :- holdsL179(S,P,O).
holdsL179(S,P,O) :- @eq(S,cuba),@eq(P,is),@eq(O,entC3).
0.7570136217113266 holdsK(S,P,O) :- holdsL180(S,P,O).
holdsL180(S,P,O) :- @eq(S,egypt),@eq(P,is),@eq(O,entC1).
-0.9698982659879405 holdsK(S,P,O) :- holdsL181(S,P,O).
holdsL181(S,P,O) :- @eq(S,egypt),@eq(P,is),@eq(O,entC2).
-0.4852006638981128 holdsK(S,P,O) :- holdsL182(S,P,O).
holdsL182(S,P,O) :- @eq(S,egypt),@eq(P,is),@eq(O,entC3).
-0.6110446551499127 holdsK(S,P,O) :- holdsL183(S,P,O).
holdsL183(S,P,O) :- @eq(S,india),@eq(P,is),@eq(O,entC1).
-0.8908933295544652 holdsK(S,P,O) :- holdsL184(S,P,O).
holdsL184(S,P,O) :- @eq(S,india),@eq(P,is),@eq(O,entC2).
0.5996500274900236 holdsK(S,P,O) :- holdsL185(S,P,O).
holdsL185(S,P,O) :- @eq(S,india),@eq(P,is),@eq(O,entC3).
0.4265317756019633 holdsK(S,P,O) :- holdsL186(S,P,O).
holdsL186(S,P,O) :- @eq(S,indonesia),@eq(P,is),@eq(O,entC1).
0.9383774919917309 holdsK(S,P,O) :- holdsL187(S,P,O).
holdsL187(S,P,O) :- @eq(S,indonesia),@eq(P,is),@eq(O,entC2).
-0.1797536242342863 holdsK(S,P,O) :- holdsL188(S,P,O).
holdsL188(S,P,O) :- @eq(S,indonesia),@eq(P,is),@eq(O,entC3).
-0.6219131459445715 holdsK(S,P,O) :- holdsL189(S,P,O).
holdsL189(S,P,O) :- @eq(S,israel),@eq(P,is),@eq(O,entC1).
0.5623399037561692 holdsK(S,P,O) :- holdsL190(S,P,O).
holdsL190(S,P,O) :- @eq(S,israel),@eq(P,is),@eq(O,entC2).
0.5145753263047672 holdsK(S,P,O) :- holdsL191(S,P,O).
holdsL191(S,P,O) :- @eq(S,israel),@eq(P,is),@eq(O,entC3).
0.4026719750657277 holdsK(S,P,O) :- holdsL192(S,P,O).
holdsL192(S,P,O) :- @eq(S,jordan),@eq(P,is),@eq(O,entC1).
-0.7212121583150555 holdsK(S,P,O) :- holdsL193(S,P,O).
holdsL193(S,P,O) :- @eq(S,jordan),@eq(P,is),@eq(O,entC2).
0.8122548901450393 holdsK(S,P,O) :- holdsL194(S,P,O).
holdsL194(S,P,O) :- @eq(S,jordan),@eq(P,is),@eq(O,entC3).
-0.13984818707472213 holdsK(S,P,O) :- holdsL195(S,P,O).
holdsL195(S,P,O) :- @eq(S,netherlands),@eq(P,is),@eq(O,entC1).
-0.9271563697447449 holdsK(S,P,O) :- holdsL196(S,P,O).
holdsL196(S,P,O) :- @eq(S,netherlands),@eq(P,is),@eq(O,entC2).
-0.2901577820921928 holdsK(S,P,O) :- holdsL197(S,P,O).
holdsL197(S,P,O) :- @eq(S,netherlands),@eq(P,is),@eq(O,entC3).
-0.1819484642855571 holdsK(S,P,O) :- holdsL198(S,P,O).
holdsL198(S,P,O) :- @eq(S,poland),@eq(P,is),@eq(O,entC1).
0.797902702614133 holdsK(S,P,O) :- holdsL199(S,P,O).
holdsL199(S,P,O) :- @eq(S,poland),@eq(P,is),@eq(O,entC2).
0.5384532460974432 holdsK(S,P,O) :- holdsL200(S,P,O).
holdsL200(S,P,O) :- @eq(S,poland),@eq(P,is),@eq(O,entC3).
0.8332819485841834 holdsK(S,P,O) :- holdsL201(S,P,O).
holdsL201(S,P,O) :- @eq(S,ussr),@eq(P,is),@eq(O,entC1).
-0.3064551906106221 holdsK(S,P,O) :- holdsL202(S,P,O).
holdsL202(S,P,O) :- @eq(S,ussr),@eq(P,is),@eq(O,entC2).
0.6964712865860103 holdsK(S,P,O) :- holdsL203(S,P,O).
holdsL203(S,P,O) :- @eq(S,ussr),@eq(P,is),@eq(O,entC3).
-0.1568766474260166 holdsK(S,P,O) :- holdsL204(S,P,O).
holdsL204(S,P,O) :- @eq(S,uk),@eq(P,is),@eq(O,entC1).
0.5621894262667959 holdsK(S,P,O) :- holdsL205(S,P,O).
holdsL205(S,P,O) :- @eq(S,uk),@eq(P,is),@eq(O,entC2).
-0.8081127748166572 holdsK(S,P,O) :- holdsL206(S,P,O).
holdsL206(S,P,O) :- @eq(S,uk),@eq(P,is),@eq(O,entC3).
0.192345008866456 holdsK(S,P,O) :- holdsL207(S,P,O).
holdsL207(S,P,O) :- @eq(S,usa),@eq(P,is),@eq(O,entC1).
-0.6376394950041318 holdsK(S,P,O) :- holdsL208(S,P,O).
holdsL208(S,P,O) :- @eq(S,usa),@eq(P,is),@eq(O,entC2).
-0.3485419674950767 holdsK(S,P,O) :- holdsL209(S,P,O).
holdsL209(S,P,O) :- @eq(S,usa),@eq(P,is),@eq(O,entC3).
0.457378457814442 holdsK(S,P,O) :- holdsL210(S,P,O).
holdsL210(S,P,O) :- @eq(S,agriculturalpop),@eq(P,is),@eq(O,featC1).
-0.3617744044849929 holdsK(S,P,O) :- holdsL211(S,P,O).
holdsL211(S,P,O) :- @eq(S,agriculturalpop),@eq(P,is),@eq(O,featC2).
-0.41465443673639335 holdsK(S,P,O) :- holdsL212(S,P,O).
holdsL212(S,P,O) :- @eq(S,agriculturalpop),@eq(P,is),@eq(O,featC3).
0.04462003057652186 holdsK(S,P,O) :- holdsL213(S,P,O).
holdsL213(S,P,O) :- @eq(S,illiterates),@eq(P,is),@eq(O,featC1).
-0.8034339025852073 holdsK(S,P,O) :- holdsL214(S,P,O).
holdsL214(S,P,O) :- @eq(S,illiterates),@eq(P,is),@eq(O,featC2).
-0.03930443074641565 holdsK(S,P,O) :- holdsL215(S,P,O).
holdsL215(S,P,O) :- @eq(S,illiterates),@eq(P,is),@eq(O,featC3).
0.6706598728061368 holdsK(S,P,O) :- holdsL216(S,P,O).
holdsL216(S,P,O) :- @eq(S,englishtitles),@eq(P,is),@eq(O,featC1).
-0.241703398290406 holdsK(S,P,O) :- holdsL217(S,P,O).
holdsL217(S,P,O) :- @eq(S,englishtitles),@eq(P,is),@eq(O,featC2).
-0.38682014294220357 holdsK(S,P,O) :- holdsL218(S,P,O).
holdsL218(S,P,O) :- @eq(S,englishtitles),@eq(P,is),@eq(O,featC3).
-0.8645065897697928 holdsK(S,P,O) :- holdsL219(S,P,O).
holdsL219(S,P,O) :- @eq(S,usaidreceived),@eq(P,is),@eq(O,featC1).
0.9300602080144211 holdsK(S,P,O) :- holdsL220(S,P,O).
holdsL220(S,P,O) :- @eq(S,usaidreceived),@eq(P,is),@eq(O,featC2).
-0.9825334188313943 holdsK(S,P,O) :- holdsL221(S,P,O).
holdsL221(S,P,O) :- @eq(S,usaidreceived),@eq(P,is),@eq(O,featC3).
0.7737091853763434 holdsK(S,P,O) :- holdsL222(S,P,O).
holdsL222(S,P,O) :- @eq(S,purges),@eq(P,is),@eq(O,featC1).
-0.6733983308230507 holdsK(S,P,O) :- holdsL223(S,P,O).
holdsL223(S,P,O) :- @eq(S,purges),@eq(P,is),@eq(O,featC2).
0.3729319572703407 holdsK(S,P,O) :- holdsL224(S,P,O).
holdsL224(S,P,O) :- @eq(S,purges),@eq(P,is),@eq(O,featC3).
-0.9011103830731193 holdsK(S,P,O) :- holdsL225(S,P,O).
holdsL225(S,P,O) :- @eq(S,demonstrations),@eq(P,is),@eq(O,featC1).
0.20519853071416438 holdsK(S,P,O) :- holdsL226(S,P,O).
holdsL226(S,P,O) :- @eq(S,demonstrations),@eq(P,is),@eq(O,featC2).
-0.11425832633010935 holdsK(S,P,O) :- holdsL227(S,P,O).
holdsL227(S,P,O) :- @eq(S,demonstrations),@eq(P,is),@eq(O,featC3).
0.23506629771016385 holdsK(S,P,O) :- holdsL228(S,P,O).
holdsL228(S,P,O) :- @eq(S,catholics),@eq(P,is),@eq(O,featC1).
-0.603339109002315 holdsK(S,P,O) :- holdsL229(S,P,O).
holdsL229(S,P,O) :- @eq(S,catholics),@eq(P,is),@eq(O,featC2).
-0.5258990931326792 holdsK(S,P,O) :- holdsL230(S,P,O).
holdsL230(S,P,O) :- @eq(S,catholics),@eq(P,is),@eq(O,featC3).
-0.12823972282824236 holdsK(S,P,O) :- holdsL231(S,P,O).
holdsL231(S,P,O) :- @eq(S,medicinengo),@eq(P,is),@eq(O,featC1).
-0.9810787604847702 holdsK(S,P,O) :- holdsL232(S,P,O).
holdsL232(S,P,O) :- @eq(S,medicinengo),@eq(P,is),@eq(O,featC2).
-0.40698438094689204 holdsK(S,P,O) :- holdsL233(S,P,O).
holdsL233(S,P,O) :- @eq(S,medicinengo),@eq(P,is),@eq(O,featC3).
-0.7452049209663543 holdsK(S,P,O) :- holdsL234(S,P,O).
holdsL234(S,P,O) :- @eq(S,area),@eq(P,is),@eq(O,featC1).
0.5247835560587162 holdsK(S,P,O) :- holdsL235(S,P,O).
holdsL235(S,P,O) :- @eq(S,area),@eq(P,is),@eq(O,featC2).
-0.011456937047186866 holdsK(S,P,O) :- holdsL236(S,P,O).
holdsL236(S,P,O) :- @eq(S,area),@eq(P,is),@eq(O,featC3).
0.4991411750349426 holdsK(S,P,O) :- holdsL237(S,P,O).
holdsL237(S,P,O) :- @eq(S,rainfall),@eq(P,is),@eq(O,featC1).
-0.03136081814986991 holdsK(S,P,O) :- holdsL238(S,P,O).
holdsL238(S,P,O) :- @eq(S,rainfall),@eq(P,is),@eq(O,featC2).
-0.7820959187386063 holdsK(S,P,O) :- holdsL239(S,P,O).
holdsL239(S,P,O) :- @eq(S,rainfall),@eq(P,is),@eq(O,featC3).
0.2908401311094959 holdsK(S,P,O) :- holdsL240(S,P,O).
holdsL240(S,P,O) :- @eq(S,largestrelgn),@eq(P,is),@eq(O,featC1).
-0.8751046225493908 holdsK(S,P,O) :- holdsL241(S,P,O).
holdsL241(S,P,O) :- @eq(S,largestrelgn),@eq(P,is),@eq(O,featC2).
0.45919629976960863 holdsK(S,P,O) :- holdsL242(S,P,O).
holdsL242(S,P,O) :- @eq(S,largestrelgn),@eq(P,is),@eq(O,featC3).
-0.19044200245476128 holdsK(S,P,O) :- holdsL243(S,P,O).
holdsL243(S,P,O) :- @eq(S,neutralblock),@eq(P,is),@eq(O,featC1).
-0.08408323222080516 holdsK(S,P,O) :- holdsL244(S,P,O).
holdsL244(S,P,O) :- @eq(S,neutralblock),@eq(P,is),@eq(O,featC2).
0.8429717891939223 holdsK(S,P,O) :- holdsL245(S,P,O).
holdsL245(S,P,O) :- @eq(S,neutralblock),@eq(P,is),@eq(O,featC3).
-0.6334634300274784 holdsK(S,P,O) :- holdsL246(S,P,O).
holdsL246(S,P,O) :- @eq(S,age),@eq(P,is),@eq(O,featC1).
0.03263980714193493 holdsK(S,P,O) :- holdsL247(S,P,O).
holdsL247(S,P,O) :- @eq(S,age),@eq(P,is),@eq(O,featC2).
-0.43731055742084846 holdsK(S,P,O) :- holdsL248(S,P,O).
holdsL248(S,P,O) :- @eq(S,age),@eq(P,is),@eq(O,featC3).
0.13219053474511244 holdsK(S,P,O) :- holdsL249(S,P,O).
holdsL249(S,P,O) :- @eq(S,lawngos),@eq(P,is),@eq(O,featC1).
-0.12671722468084745 holdsK(S,P,O) :- holdsL250(S,P,O).
holdsL250(S,P,O) :- @eq(S,lawngos),@eq(P,is),@eq(O,featC2).
0.5817924819105587 holdsK(S,P,O) :- holdsL251(S,P,O).
holdsL251(S,P,O) :- @eq(S,lawngos),@eq(P,is),@eq(O,featC3).
0.1420256128366204 holdsK(S,P,O) :- holdsL252(S,P,O).
holdsL252(S,P,O) :- @eq(S,export),@eq(P,is),@eq(O,featC1).
-0.6837631138746247 holdsK(S,P,O) :- holdsL253(S,P,O).
holdsL253(S,P,O) :- @eq(S,export),@eq(P,is),@eq(O,featC2).
0.3173347263002344 holdsK(S,P,O) :- holdsL254(S,P,O).
holdsL254(S,P,O) :- @eq(S,export),@eq(P,is),@eq(O,featC3).
0.8982015977099695 holdsK(S,P,O) :- holdsL255(S,P,O).
holdsL255(S,P,O) :- @eq(S,largestlang),@eq(P,is),@eq(O,featC1).
-0.8718421536148651 holdsK(S,P,O) :- holdsL256(S,P,O).
holdsL256(S,P,O) :- @eq(S,largestlang),@eq(P,is),@eq(O,featC2).
-0.04169182149041428 holdsK(S,P,O) :- holdsL257(S,P,O).
holdsL257(S,P,O) :- @eq(S,largestlang),@eq(P,is),@eq(O,featC3).
0.8009710788892355 holdsK(S,P,O) :- holdsL258(S,P,O).
holdsL258(S,P,O) :- @eq(S,ethnicgrps),@eq(P,is),@eq(O,featC1).
-0.698387251541428 holdsK(S,P,O) :- holdsL259(S,P,O).
holdsL259(S,P,O) :- @eq(S,ethnicgrps),@eq(P,is),@eq(O,featC2).
0.26014468889819464 holdsK(S,P,O) :- holdsL260(S,P,O).
holdsL260(S,P,O) :- @eq(S,ethnicgrps),@eq(P,is),@eq(O,featC3).
0.12877122001709718 holdsK(S,P,O) :- holdsL261(S,P,O).
holdsL261(S,P,O) :- @eq(S,economicaidtaken),@eq(P,is),@eq(O,featC1).
-0.6267050722351508 holdsK(S,P,O) :- holdsL262(S,P,O).
holdsL262(S,P,O) :- @eq(S,economicaidtaken),@eq(P,is),@eq(O,featC2).
0.08218206208354828 holdsK(S,P,O) :- holdsL263(S,P,O).
holdsL263(S,P,O) :- @eq(S,economicaidtaken),@eq(P,is),@eq(O,featC3).
-0.8013369559728687 holdsK(S,P,O) :- holdsL264(S,P,O).
holdsL264(S,P,O) :- @eq(S,techassistancetaken),@eq(P,is),@eq(O,featC1).
0.6320734432075412 holdsK(S,P,O) :- holdsL265(S,P,O).
holdsL265(S,P,O) :- @eq(S,techassistancetaken),@eq(P,is),@eq(O,featC2).
0.6227532069069783 holdsK(S,P,O) :- holdsL266(S,P,O).
holdsL266(S,P,O) :- @eq(S,techassistancetaken),@eq(P,is),@eq(O,featC3).
-0.5598393467462066 holdsK(S,P,O) :- holdsL267(S,P,O).
holdsL267(S,P,O) :- @eq(S,foreignmail),@eq(P,is),@eq(O,featC1).
0.6594337537117312 holdsK(S,P,O) :- holdsL268(S,P,O).
holdsL268(S,P,O) :- @eq(S,foreignmail),@eq(P,is),@eq(O,featC2).
0.4607901478923988 holdsK(S,P,O) :- holdsL269(S,P,O).
holdsL269(S,P,O) :- @eq(S,foreignmail),@eq(P,is),@eq(O,featC3).
0.5887271620613659 holdsK(S,P,O) :- holdsL270(S,P,O).
holdsL270(S,P,O) :- @eq(S,caloriesconsumed),@eq(P,is),@eq(O,featC1).
-0.25069677771350474 holdsK(S,P,O) :- holdsL271(S,P,O).
holdsL271(S,P,O) :- @eq(S,caloriesconsumed),@eq(P,is),@eq(O,featC2).
0.2730971159696063 holdsK(S,P,O) :- holdsL272(S,P,O).
holdsL272(S,P,O) :- @eq(S,caloriesconsumed),@eq(P,is),@eq(O,featC3).
0.23883275985885644 holdsK(S,P,O) :- holdsL273(S,P,O).
holdsL273(S,P,O) :- @eq(S,artsculturengo),@eq(P,is),@eq(O,featC1).
0.7859557629362726 holdsK(S,P,O) :- holdsL274(S,P,O).
holdsL274(S,P,O) :- @eq(S,artsculturengo),@eq(P,is),@eq(O,featC2).
-0.47971609828161266 holdsK(S,P,O) :- holdsL275(S,P,O).
holdsL275(S,P,O) :- @eq(S,artsculturengo),@eq(P,is),@eq(O,featC3).
0.9623706722314231 holdsK(S,P,O) :- holdsL276(S,P,O).
holdsL276(S,P,O) :- @eq(S,assassinations),@eq(P,is),@eq(O,featC1).
0.22248183602575455 holdsK(S,P,O) :- holdsL277(S,P,O).
holdsL277(S,P,O) :- @eq(S,assassinations),@eq(P,is),@eq(O,featC2).
0.8328199801573708 holdsK(S,P,O) :- holdsL278(S,P,O).
holdsL278(S,P,O) :- @eq(S,assassinations),@eq(P,is),@eq(O,featC3).
0.6532901296586853 holdsK(S,P,O) :- holdsL279(S,P,O).
holdsL279(S,P,O) :- @eq(S,majgovcrisis),@eq(P,is),@eq(O,featC1).
0.9808381829087645 holdsK(S,P,O) :- holdsL280(S,P,O).
holdsL280(S,P,O) :- @eq(S,majgovcrisis),@eq(P,is),@eq(O,featC2).
0.5470504081440777 holdsK(S,P,O) :- holdsL281(S,P,O).
holdsL281(S,P,O) :- @eq(S,majgovcrisis),@eq(P,is),@eq(O,featC3).
-0.3157186635935745 holdsK(S,P,O) :- holdsL282(S,P,O).
holdsL282(S,P,O) :- @eq(S,unpaymentdelinq),@eq(P,is),@eq(O,featC1).
-0.905640793518915 holdsK(S,P,O) :- holdsL283(S,P,O).
holdsL283(S,P,O) :- @eq(S,unpaymentdelinq),@eq(P,is),@eq(O,featC2).
0.9237322948484035 holdsK(S,P,O) :- holdsL284(S,P,O).
holdsL284(S,P,O) :- @eq(S,unpaymentdelinq),@eq(P,is),@eq(O,featC3).
-0.16137641514118384 holdsK(S,P,O) :- holdsL285(S,P,O).
holdsL285(S,P,O) :- @eq(S,balancepayments),@eq(P,is),@eq(O,featC1).
-0.20746602332266195 holdsK(S,P,O) :- holdsL286(S,P,O).
holdsL286(S,P,O) :- @eq(S,balancepayments),@eq(P,is),@eq(O,featC2).
-0.15209057613400634 holdsK(S,P,O) :- holdsL287(S,P,O).
holdsL287(S,P,O) :- @eq(S,balancepayments),@eq(P,is),@eq(O,featC3).
-4.0838296435774524E-4 holdsK(S,P,O) :- holdsL288(S,P,O).
holdsL288(S,P,O) :- @eq(S,systemstyle0),@eq(P,is),@eq(O,featC1).
0.05446046686962114 holdsK(S,P,O) :- holdsL289(S,P,O).
holdsL289(S,P,O) :- @eq(S,systemstyle0),@eq(P,is),@eq(O,featC2).
0.6531946461184555 holdsK(S,P,O) :- holdsL290(S,P,O).
holdsL290(S,P,O) :- @eq(S,systemstyle0),@eq(P,is),@eq(O,featC3).
0.44831180272807747 holdsK(S,P,O) :- holdsL291(S,P,O).
holdsL291(S,P,O) :- @eq(S,noncommunist),@eq(P,is),@eq(O,featC1).
-0.3573139243946537 holdsK(S,P,O) :- holdsL292(S,P,O).
holdsL292(S,P,O) :- @eq(S,noncommunist),@eq(P,is),@eq(O,featC2).
0.4722855045527574 holdsK(S,P,O) :- holdsL293(S,P,O).
holdsL293(S,P,O) :- @eq(S,noncommunist),@eq(P,is),@eq(O,featC3).
0.14212126323670704 holdsK(S,P,O) :- holdsL294(S,P,O).
holdsL294(S,P,O) :- @eq(S,geographyx),@eq(P,is),@eq(O,featC1).
0.4562354128574293 holdsK(S,P,O) :- holdsL295(S,P,O).
holdsL295(S,P,O) :- @eq(S,geographyx),@eq(P,is),@eq(O,featC2).
-0.8503776195289126 holdsK(S,P,O) :- holdsL296(S,P,O).
holdsL296(S,P,O) :- @eq(S,geographyx),@eq(P,is),@eq(O,featC3).
0.11783727944583422 holdsK(S,P,O) :- holdsL297(S,P,O).
holdsL297(S,P,O) :- @eq(S,blocmembership2),@eq(P,is),@eq(O,featC1).
-0.19228412306638876 holdsK(S,P,O) :- holdsL298(S,P,O).
holdsL298(S,P,O) :- @eq(S,blocmembership2),@eq(P,is),@eq(O,featC2).
0.3208937839193975 holdsK(S,P,O) :- holdsL299(S,P,O).
holdsL299(S,P,O) :- @eq(S,blocmembership2),@eq(P,is),@eq(O,featC3).
-0.5604456906806357 holdsK(S,P,O) :- holdsL300(S,P,O).
holdsL300(S,P,O) :- @eq(S,freedomofopposition2),@eq(P,is),@eq(O,featC1).
-0.39831718618979317 holdsK(S,P,O) :- holdsL301(S,P,O).
holdsL301(S,P,O) :- @eq(S,freedomofopposition2),@eq(P,is),@eq(O,featC2).
-0.14416660334207565 holdsK(S,P,O) :- holdsL302(S,P,O).
holdsL302(S,P,O) :- @eq(S,freedomofopposition2),@eq(P,is),@eq(O,featC3).
-0.9627936212231636 holdsK(S,P,O) :- holdsL303(S,P,O).
holdsL303(S,P,O) :- @eq(S,govchangelegal1),@eq(P,is),@eq(O,featC1).
-0.7340582555710031 holdsK(S,P,O) :- holdsL304(S,P,O).
holdsL304(S,P,O) :- @eq(S,govchangelegal1),@eq(P,is),@eq(O,featC2).
0.33044618757362376 holdsK(S,P,O) :- holdsL305(S,P,O).
holdsL305(S,P,O) :- @eq(S,govchangelegal1),@eq(P,is),@eq(O,featC3).
0.9491837647085666 holdsK(S,P,O) :- holdsL306(S,P,O).
holdsL306(S,P,O) :- @eq(S,legitgov1),@eq(P,is),@eq(O,featC1).
0.42728384739417224 holdsK(S,P,O) :- holdsL307(S,P,O).
holdsL307(S,P,O) :- @eq(S,legitgov1),@eq(P,is),@eq(O,featC2).
-0.7511862319422826 holdsK(S,P,O) :- holdsL308(S,P,O).
holdsL308(S,P,O) :- @eq(S,legitgov1),@eq(P,is),@eq(O,featC3).
-0.6357588883101815 holdsK(S,P,O) :- holdsL309(S,P,O).
holdsL309(S,P,O) :- @eq(S,constitutional2),@eq(P,is),@eq(O,featC1).
-0.8596199473627117 holdsK(S,P,O) :- holdsL310(S,P,O).
holdsL310(S,P,O) :- @eq(S,constitutional2),@eq(P,is),@eq(O,featC2).
0.5885330176244192 holdsK(S,P,O) :- holdsL311(S,P,O).
holdsL311(S,P,O) :- @eq(S,constitutional2),@eq(P,is),@eq(O,featC3).
0.9500107262427799 holdsK(S,P,O) :- holdsL312(S,P,O).
holdsL312(S,P,O) :- @eq(S,electoralsystem2),@eq(P,is),@eq(O,featC1).
-0.18876212669096737 holdsK(S,P,O) :- holdsL313(S,P,O).
holdsL313(S,P,O) :- @eq(S,electoralsystem2),@eq(P,is),@eq(O,featC2).
-0.732449127216978 holdsK(S,P,O) :- holdsL314(S,P,O).
holdsL314(S,P,O) :- @eq(S,electoralsystem2),@eq(P,is),@eq(O,featC3).
0.07607051039690815 holdsK(S,P,O) :- holdsL315(S,P,O).
holdsL315(S,P,O) :- @eq(S,politicalleadership1),@eq(P,is),@eq(O,featC1).
0.8798931970358719 holdsK(S,P,O) :- holdsL316(S,P,O).
holdsL316(S,P,O) :- @eq(S,politicalleadership1),@eq(P,is),@eq(O,featC2).
-0.41806489471479824 holdsK(S,P,O) :- holdsL317(S,P,O).
holdsL317(S,P,O) :- @eq(S,politicalleadership1),@eq(P,is),@eq(O,featC3).
0.963701607149358 holdsK(S,P,O) :- holdsL318(S,P,O).
holdsL318(S,P,O) :- @eq(S,horizontalpower2),@eq(P,is),@eq(O,featC1).
-0.2749774031560184 holdsK(S,P,O) :- holdsL319(S,P,O).
holdsL319(S,P,O) :- @eq(S,horizontalpower2),@eq(P,is),@eq(O,featC2).
0.8025221716080808 holdsK(S,P,O) :- holdsL320(S,P,O).
holdsL320(S,P,O) :- @eq(S,horizontalpower2),@eq(P,is),@eq(O,featC3).
-0.430152041606656 holdsK(S,P,O) :- holdsL321(S,P,O).
holdsL321(S,P,O) :- @eq(S,military2),@eq(P,is),@eq(O,featC1).
0.06577368958997454 holdsK(S,P,O) :- holdsL322(S,P,O).
holdsL322(S,P,O) :- @eq(S,military2),@eq(P,is),@eq(O,featC2).
0.6686819969957978 holdsK(S,P,O) :- holdsL323(S,P,O).
holdsL323(S,P,O) :- @eq(S,military2),@eq(P,is),@eq(O,featC3).
-0.002668832739636251 holdsK(S,P,O) :- holdsL324(S,P,O).
holdsL324(S,P,O) :- @eq(S,bureaucracy1),@eq(P,is),@eq(O,featC1).
-0.11803519973545384 holdsK(S,P,O) :- holdsL325(S,P,O).
holdsL325(S,P,O) :- @eq(S,bureaucracy1),@eq(P,is),@eq(O,featC2).
0.6566174840240948 holdsK(S,P,O) :- holdsL326(S,P,O).
holdsL326(S,P,O) :- @eq(S,bureaucracy1),@eq(P,is),@eq(O,featC3).
-0.928620170339689 holdsK(S,P,O) :- holdsL327(S,P,O).
holdsL327(S,P,O) :- @eq(S,censorship2),@eq(P,is),@eq(O,featC1).
0.2388249069614885 holdsK(S,P,O) :- holdsL328(S,P,O).
holdsL328(S,P,O) :- @eq(S,censorship2),@eq(P,is),@eq(O,featC2).
-0.38853505230164753 holdsK(S,P,O) :- holdsL329(S,P,O).
holdsL329(S,P,O) :- @eq(S,censorship2),@eq(P,is),@eq(O,featC3).
-0.7671402030207086 holdsK(S,P,O) :- holdsL330(S,P,O).
holdsL330(S,P,O) :- @eq(S,freedomofopposition0),@eq(P,is),@eq(O,featC1).
0.37032463290779116 holdsK(S,P,O) :- holdsL331(S,P,O).
holdsL331(S,P,O) :- @eq(S,freedomofopposition0),@eq(P,is),@eq(O,featC2).
0.17185687909645364 holdsK(S,P,O) :- holdsL332(S,P,O).
holdsL332(S,P,O) :- @eq(S,freedomofopposition0),@eq(P,is),@eq(O,featC3).
-0.17316906645631147 holdsK(S,P,O) :- holdsL333(S,P,O).
holdsL333(S,P,O) :- @eq(S,ifcandibrd),@eq(P,is),@eq(O,featC1).
0.5639126114196293 holdsK(S,P,O) :- holdsL334(S,P,O).
holdsL334(S,P,O) :- @eq(S,ifcandibrd),@eq(P,is),@eq(O,featC2).
0.40854842287162296 holdsK(S,P,O) :- holdsL335(S,P,O).
holdsL335(S,P,O) :- @eq(S,ifcandibrd),@eq(P,is),@eq(O,featC3).
0.48855175523781846 holdsK(S,P,O) :- holdsL336(S,P,O).
holdsL336(S,P,O) :- @eq(S,airdistance),@eq(P,is),@eq(O,featC1).
0.9456289852382489 holdsK(S,P,O) :- holdsL337(S,P,O).
holdsL337(S,P,O) :- @eq(S,airdistance),@eq(P,is),@eq(O,featC2).
0.692134902737618 holdsK(S,P,O) :- holdsL338(S,P,O).
holdsL338(S,P,O) :- @eq(S,airdistance),@eq(P,is),@eq(O,featC3).
-0.25850742382760594 holdsK(S,P,O) :- holdsL339(S,P,O).
holdsL339(S,P,O) :- @eq(S,religions),@eq(P,is),@eq(O,featC1).
0.8539560117516787 holdsK(S,P,O) :- holdsL340(S,P,O).
holdsL340(S,P,O) :- @eq(S,religions),@eq(P,is),@eq(O,featC2).
0.4678724182925831 holdsK(S,P,O) :- holdsL341(S,P,O).
holdsL341(S,P,O) :- @eq(S,religions),@eq(P,is),@eq(O,featC3).
0.22142573807329202 holdsK(S,P,O) :- holdsL342(S,P,O).
holdsL342(S,P,O) :- @eq(S,religioustitles),@eq(P,is),@eq(O,featC1).
0.6126549078691048 holdsK(S,P,O) :- holdsL343(S,P,O).
holdsL343(S,P,O) :- @eq(S,religioustitles),@eq(P,is),@eq(O,featC2).
-0.11898586042888026 holdsK(S,P,O) :- holdsL344(S,P,O).
holdsL344(S,P,O) :- @eq(S,religioustitles),@eq(P,is),@eq(O,featC3).
-0.8369766377916554 holdsK(S,P,O) :- holdsL345(S,P,O).
holdsL345(S,P,O) :- @eq(S,goveducationspend),@eq(P,is),@eq(O,featC1).
0.5512920614010692 holdsK(S,P,O) :- holdsL346(S,P,O).
holdsL346(S,P,O) :- @eq(S,goveducationspend),@eq(P,is),@eq(O,featC2).
-0.3808884299448765 holdsK(S,P,O) :- holdsL347(S,P,O).
holdsL347(S,P,O) :- @eq(S,goveducationspend),@eq(P,is),@eq(O,featC3).
0.6214848536052175 holdsK(S,P,O) :- holdsL348(S,P,O).
holdsL348(S,P,O) :- @eq(S,femaleworkers),@eq(P,is),@eq(O,featC1).
-0.7636720171207325 holdsK(S,P,O) :- holdsL349(S,P,O).
holdsL349(S,P,O) :- @eq(S,femaleworkers),@eq(P,is),@eq(O,featC2).
-0.9642998211843761 holdsK(S,P,O) :- holdsL350(S,P,O).
holdsL350(S,P,O) :- @eq(S,femaleworkers),@eq(P,is),@eq(O,featC3).
0.9256174747920984 holdsK(S,P,O) :- holdsL351(S,P,O).
holdsL351(S,P,O) :- @eq(S,exports),@eq(P,is),@eq(O,featC1).
0.01792606655979001 holdsK(S,P,O) :- holdsL352(S,P,O).
holdsL352(S,P,O) :- @eq(S,exports),@eq(P,is),@eq(O,featC2).
0.7443222140775587 holdsK(S,P,O) :- holdsL353(S,P,O).
holdsL353(S,P,O) :- @eq(S,exports),@eq(P,is),@eq(O,featC3).
0.1807855937216638 holdsK(S,P,O) :- holdsL354(S,P,O).
holdsL354(S,P,O) :- @eq(S,russiantitles),@eq(P,is),@eq(O,featC1).
-0.9636213330459302 holdsK(S,P,O) :- holdsL355(S,P,O).
holdsL355(S,P,O) :- @eq(S,russiantitles),@eq(P,is),@eq(O,featC2).
-0.44710559395717975 holdsK(S,P,O) :- holdsL356(S,P,O).
holdsL356(S,P,O) :- @eq(S,russiantitles),@eq(P,is),@eq(O,featC3).
0.5859849676663853 holdsK(S,P,O) :- holdsL357(S,P,O).
holdsL357(S,P,O) :- @eq(S,primaryschool),@eq(P,is),@eq(O,featC1).
0.9427614703868967 holdsK(S,P,O) :- holdsL358(S,P,O).
holdsL358(S,P,O) :- @eq(S,primaryschool),@eq(P,is),@eq(O,featC2).
0.5964825371780484 holdsK(S,P,O) :- holdsL359(S,P,O).
holdsL359(S,P,O) :- @eq(S,primaryschool),@eq(P,is),@eq(O,featC3).
-0.0649807847168451 holdsK(S,P,O) :- holdsL360(S,P,O).
holdsL360(S,P,O) :- @eq(S,electoralsystem0),@eq(P,is),@eq(O,featC1).
-0.2348440561364531 holdsK(S,P,O) :- holdsL361(S,P,O).
holdsL361(S,P,O) :- @eq(S,electoralsystem0),@eq(P,is),@eq(O,featC2).
0.9471321927967278 holdsK(S,P,O) :- holdsL362(S,P,O).
holdsL362(S,P,O) :- @eq(S,electoralsystem0),@eq(P,is),@eq(O,featC3).
-0.5296392263967287 holdsK(S,P,O) :- holdsL363(S,P,O).
holdsL363(S,P,O) :- @eq(S,politicalleadership0),@eq(P,is),@eq(O,featC1).
-0.9223724085809035 holdsK(S,P,O) :- holdsL364(S,P,O).
holdsL364(S,P,O) :- @eq(S,politicalleadership0),@eq(P,is),@eq(O,featC2).
-0.6985226430437732 holdsK(S,P,O) :- holdsL365(S,P,O).
holdsL365(S,P,O) :- @eq(S,politicalleadership0),@eq(P,is),@eq(O,featC3).
-0.9774172396393934 holdsK(S,P,O) :- holdsL366(S,P,O).
holdsL366(S,P,O) :- @eq(S,horizontalpower0),@eq(P,is),@eq(O,featC1).
0.43255107646350077 holdsK(S,P,O) :- holdsL367(S,P,O).
holdsL367(S,P,O) :- @eq(S,horizontalpower0),@eq(P,is),@eq(O,featC2).
-0.1458874355601789 holdsK(S,P,O) :- holdsL368(S,P,O).
holdsL368(S,P,O) :- @eq(S,horizontalpower0),@eq(P,is),@eq(O,featC3).
-0.838742534109318 holdsK(S,P,O) :- holdsL369(S,P,O).
holdsL369(S,P,O) :- @eq(S,bureaucracy0),@eq(P,is),@eq(O,featC1).
-0.1723180194580316 holdsK(S,P,O) :- holdsL370(S,P,O).
holdsL370(S,P,O) :- @eq(S,bureaucracy0),@eq(P,is),@eq(O,featC2).
0.20641484551486 holdsK(S,P,O) :- holdsL371(S,P,O).
holdsL371(S,P,O) :- @eq(S,bureaucracy0),@eq(P,is),@eq(O,featC3).
0.15525157073129137 holdsK(S,P,O) :- holdsL372(S,P,O).
holdsL372(S,P,O) :- @eq(S,censorship0),@eq(P,is),@eq(O,featC1).
-0.1137040049018081 holdsK(S,P,O) :- holdsL373(S,P,O).
holdsL373(S,P,O) :- @eq(S,censorship0),@eq(P,is),@eq(O,featC2).
0.5458017396612118 holdsK(S,P,O) :- holdsL374(S,P,O).
holdsL374(S,P,O) :- @eq(S,censorship0),@eq(P,is),@eq(O,featC3).
0.2993577470150215 holdsK(S,P,O) :- holdsL375(S,P,O).
holdsL375(S,P,O) :- @eq(S,geographyy),@eq(P,is),@eq(O,featC1).
0.6271985073125803 holdsK(S,P,O) :- holdsL376(S,P,O).
holdsL376(S,P,O) :- @eq(S,geographyy),@eq(P,is),@eq(O,featC2).
-0.7821482838694007 holdsK(S,P,O) :- holdsL377(S,P,O).
holdsL377(S,P,O) :- @eq(S,geographyy),@eq(P,is),@eq(O,featC3).
-0.36657863823248826 holdsK(S,P,O) :- holdsL378(S,P,O).
holdsL378(S,P,O) :- @eq(S,blocmembership1),@eq(P,is),@eq(O,featC1).
0.10849143356427438 holdsK(S,P,O) :- holdsL379(S,P,O).
holdsL379(S,P,O) :- @eq(S,blocmembership1),@eq(P,is),@eq(O,featC2).
-0.8651117430771353 holdsK(S,P,O) :- holdsL380(S,P,O).
holdsL380(S,P,O) :- @eq(S,blocmembership1),@eq(P,is),@eq(O,featC3).
-0.055427278672074864 holdsK(S,P,O) :- holdsL381(S,P,O).
holdsL381(S,P,O) :- @eq(S,systemstyle2),@eq(P,is),@eq(O,featC1).
-0.570749387967167 holdsK(S,P,O) :- holdsL382(S,P,O).
holdsL382(S,P,O) :- @eq(S,systemstyle2),@eq(P,is),@eq(O,featC2).
-0.8914351046455533 holdsK(S,P,O) :- holdsL383(S,P,O).
holdsL383(S,P,O) :- @eq(S,systemstyle2),@eq(P,is),@eq(O,featC3).
-0.525892051842979 holdsK(S,P,O) :- holdsL384(S,P,O).
holdsL384(S,P,O) :- @eq(S,constitutional1),@eq(P,is),@eq(O,featC1).
0.4473507634662979 holdsK(S,P,O) :- holdsL385(S,P,O).
holdsL385(S,P,O) :- @eq(S,constitutional1),@eq(P,is),@eq(O,featC2).
0.06637119949682413 holdsK(S,P,O) :- holdsL386(S,P,O).
holdsL386(S,P,O) :- @eq(S,constitutional1),@eq(P,is),@eq(O,featC3).
-0.41561524661279803 holdsK(S,P,O) :- holdsL387(S,P,O).
holdsL387(S,P,O) :- @eq(S,popxenergabs),@eq(P,is),@eq(O,featC1).
-0.8534951643140949 holdsK(S,P,O) :- holdsL388(S,P,O).
holdsL388(S,P,O) :- @eq(S,popxenergabs),@eq(P,is),@eq(O,featC2).
-0.029297986898042527 holdsK(S,P,O) :- holdsL389(S,P,O).
holdsL389(S,P,O) :- @eq(S,popxenergabs),@eq(P,is),@eq(O,featC3).
-0.42313758079212893 holdsK(S,P,O) :- holdsL390(S,P,O).
holdsL390(S,P,O) :- @eq(S,popabs),@eq(P,is),@eq(O,featC1).
0.33283419113527013 holdsK(S,P,O) :- holdsL391(S,P,O).
holdsL391(S,P,O) :- @eq(S,popabs),@eq(P,is),@eq(O,featC2).
-0.884682969926806 holdsK(S,P,O) :- holdsL392(S,P,O).
holdsL392(S,P,O) :- @eq(S,popabs),@eq(P,is),@eq(O,featC3).
0.5194168338690599 holdsK(S,P,O) :- holdsL393(S,P,O).
holdsL393(S,P,O) :- @eq(S,blocmembership0),@eq(P,is),@eq(O,featC1).
0.3381415180378817 holdsK(S,P,O) :- holdsL394(S,P,O).
holdsL394(S,P,O) :- @eq(S,blocmembership0),@eq(P,is),@eq(O,featC2).
-0.9650085277691314 holdsK(S,P,O) :- holdsL395(S,P,O).
holdsL395(S,P,O) :- @eq(S,blocmembership0),@eq(P,is),@eq(O,featC3).
-0.6243726352204668 holdsK(S,P,O) :- holdsL396(S,P,O).
holdsL396(S,P,O) :- @eq(S,threats),@eq(P,is),@eq(O,featC1).
0.4608615595727248 holdsK(S,P,O) :- holdsL397(S,P,O).
holdsL397(S,P,O) :- @eq(S,threats),@eq(P,is),@eq(O,featC2).
-0.9174845017456825 holdsK(S,P,O) :- holdsL398(S,P,O).
holdsL398(S,P,O) :- @eq(S,threats),@eq(P,is),@eq(O,featC3).
0.5867382768543243 holdsK(S,P,O) :- holdsL399(S,P,O).
holdsL399(S,P,O) :- @eq(S,accusations),@eq(P,is),@eq(O,featC1).
-0.09854178852508655 holdsK(S,P,O) :- holdsL400(S,P,O).
holdsL400(S,P,O) :- @eq(S,accusations),@eq(P,is),@eq(O,featC2).
-0.5925434793976683 holdsK(S,P,O) :- holdsL401(S,P,O).
holdsL401(S,P,O) :- @eq(S,accusations),@eq(P,is),@eq(O,featC3).
0.5762066001732178 holdsK(S,P,O) :- holdsL402(S,P,O).
holdsL402(S,P,O) :- @eq(S,militaryaction),@eq(P,is),@eq(O,featC1).
0.5766408027830541 holdsK(S,P,O) :- holdsL403(S,P,O).
holdsL403(S,P,O) :- @eq(S,militaryaction),@eq(P,is),@eq(O,featC2).
-0.9269605127492564 holdsK(S,P,O) :- holdsL404(S,P,O).
holdsL404(S,P,O) :- @eq(S,militaryaction),@eq(P,is),@eq(O,featC3).
-0.2395049877589137 holdsK(S,P,O) :- holdsL405(S,P,O).
holdsL405(S,P,O) :- @eq(S,protests),@eq(P,is),@eq(O,featC1).
-0.22862077406205583 holdsK(S,P,O) :- holdsL406(S,P,O).
holdsL406(S,P,O) :- @eq(S,protests),@eq(P,is),@eq(O,featC2).
-0.6872252088711532 holdsK(S,P,O) :- holdsL407(S,P,O).
holdsL407(S,P,O) :- @eq(S,protests),@eq(P,is),@eq(O,featC3).
-0.9589024783478286 holdsK(S,P,O) :- holdsL408(S,P,O).
holdsL408(S,P,O) :- @eq(S,languages),@eq(P,is),@eq(O,featC1).
-0.5843922675173909 holdsK(S,P,O) :- holdsL409(S,P,O).
holdsL409(S,P,O) :- @eq(S,languages),@eq(P,is),@eq(O,featC2).
-0.2555381511090198 holdsK(S,P,O) :- holdsL410(S,P,O).
holdsL410(S,P,O) :- @eq(S,languages),@eq(P,is),@eq(O,featC3).
0.325558411545829 holdsK(S,P,O) :- holdsL411(S,P,O).
holdsL411(S,P,O) :- @eq(S,communistparty),@eq(P,is),@eq(O,featC1).
-0.34897062572167425 holdsK(S,P,O) :- holdsL412(S,P,O).
holdsL412(S,P,O) :- @eq(S,communistparty),@eq(P,is),@eq(O,featC2).
0.5618191837974007 holdsK(S,P,O) :- holdsL413(S,P,O).
holdsL413(S,P,O) :- @eq(S,communistparty),@eq(P,is),@eq(O,featC3).
-0.9436770393114033 holdsK(S,P,O) :- holdsL414(S,P,O).
holdsL414(S,P,O) :- @eq(S,largestethnic),@eq(P,is),@eq(O,featC1).
0.11154584307534687 holdsK(S,P,O) :- holdsL415(S,P,O).
holdsL415(S,P,O) :- @eq(S,largestethnic),@eq(P,is),@eq(O,featC2).
-0.4716587361157918 holdsK(S,P,O) :- holdsL416(S,P,O).
holdsL416(S,P,O) :- @eq(S,largestethnic),@eq(P,is),@eq(O,featC3).
-0.7497177192175555 holdsK(S,P,O) :- holdsL417(S,P,O).
holdsL417(S,P,O) :- @eq(S,constitutional0),@eq(P,is),@eq(O,featC1).
0.3046255796690549 holdsK(S,P,O) :- holdsL418(S,P,O).
holdsL418(S,P,O) :- @eq(S,constitutional0),@eq(P,is),@eq(O,featC2).
-0.9664734326353752 holdsK(S,P,O) :- holdsL419(S,P,O).
holdsL419(S,P,O) :- @eq(S,constitutional0),@eq(P,is),@eq(O,featC3).
0.7177466499042451 holdsK(S,P,O) :- holdsL420(S,P,O).
holdsL420(S,P,O) :- @eq(S,geographyz),@eq(P,is),@eq(O,featC1).
-0.534582175398804 holdsK(S,P,O) :- holdsL421(S,P,O).
holdsL421(S,P,O) :- @eq(S,geographyz),@eq(P,is),@eq(O,featC2).
-0.4140488269059954 holdsK(S,P,O) :- holdsL422(S,P,O).
holdsL422(S,P,O) :- @eq(S,geographyz),@eq(P,is),@eq(O,featC3).
0.7551645326611436 holdsK(S,P,O) :- holdsL423(S,P,O).
holdsL423(S,P,O) :- @eq(S,govchangelegal2),@eq(P,is),@eq(O,featC1).
-0.12816580968618063 holdsK(S,P,O) :- holdsL424(S,P,O).
holdsL424(S,P,O) :- @eq(S,govchangelegal2),@eq(P,is),@eq(O,featC2).
-0.19967295738639868 holdsK(S,P,O) :- holdsL425(S,P,O).
holdsL425(S,P,O) :- @eq(S,govchangelegal2),@eq(P,is),@eq(O,featC3).
0.3450480227052233 holdsK(S,P,O) :- holdsL426(S,P,O).
holdsL426(S,P,O) :- @eq(S,military1),@eq(P,is),@eq(O,featC1).
-0.6361968580122406 holdsK(S,P,O) :- holdsL427(S,P,O).
holdsL427(S,P,O) :- @eq(S,military1),@eq(P,is),@eq(O,featC2).
0.40123233886732534 holdsK(S,P,O) :- holdsL428(S,P,O).
holdsL428(S,P,O) :- @eq(S,military1),@eq(P,is),@eq(O,featC3).
0.5199852163859668 holdsK(S,P,O) :- holdsL429(S,P,O).
holdsL429(S,P,O) :- @eq(S,divorces),@eq(P,is),@eq(O,featC1).
0.6608268990277493 holdsK(S,P,O) :- holdsL430(S,P,O).
holdsL430(S,P,O) :- @eq(S,divorces),@eq(P,is),@eq(O,featC2).
-0.5770481223129513 holdsK(S,P,O) :- holdsL431(S,P,O).
holdsL431(S,P,O) :- @eq(S,divorces),@eq(P,is),@eq(O,featC3).
0.22671183589514876 holdsK(S,P,O) :- holdsL432(S,P,O).
holdsL432(S,P,O) :- @eq(S,railroadlength),@eq(P,is),@eq(O,featC1).
-0.21013463542089728 holdsK(S,P,O) :- holdsL433(S,P,O).
holdsL433(S,P,O) :- @eq(S,railroadlength),@eq(P,is),@eq(O,featC2).
0.4034899411461834 holdsK(S,P,O) :- holdsL434(S,P,O).
holdsL434(S,P,O) :- @eq(S,railroadlength),@eq(P,is),@eq(O,featC3).
0.596361754156578 holdsK(S,P,O) :- holdsL435(S,P,O).
holdsL435(S,P,O) :- @eq(S,militarypersonnel),@eq(P,is),@eq(O,featC1).
0.8146842007512183 holdsK(S,P,O) :- holdsL436(S,P,O).
holdsL436(S,P,O) :- @eq(S,militarypersonnel),@eq(P,is),@eq(O,featC2).
0.15428148912171746 holdsK(S,P,O) :- holdsL437(S,P,O).
holdsL437(S,P,O) :- @eq(S,militarypersonnel),@eq(P,is),@eq(O,featC3).
-0.1055535681709987 holdsK(S,P,O) :- holdsL438(S,P,O).
holdsL438(S,P,O) :- @eq(S,govspending),@eq(P,is),@eq(O,featC1).
-0.8015138851989012 holdsK(S,P,O) :- holdsL439(S,P,O).
holdsL439(S,P,O) :- @eq(S,govspending),@eq(P,is),@eq(O,featC2).
-0.9689308004616766 holdsK(S,P,O) :- holdsL440(S,P,O).
holdsL440(S,P,O) :- @eq(S,govspending),@eq(P,is),@eq(O,featC3).
-0.032118191555031705 holdsK(S,P,O) :- holdsL441(S,P,O).
holdsL441(S,P,O) :- @eq(S,govchangelegal0),@eq(P,is),@eq(O,featC1).
0.710433636446727 holdsK(S,P,O) :- holdsL442(S,P,O).
holdsL442(S,P,O) :- @eq(S,govchangelegal0),@eq(P,is),@eq(O,featC2).
0.051515892618750225 holdsK(S,P,O) :- holdsL443(S,P,O).
holdsL443(S,P,O) :- @eq(S,govchangelegal0),@eq(P,is),@eq(O,featC3).
0.014519731702279826 holdsK(S,P,O) :- holdsL444(S,P,O).
holdsL444(S,P,O) :- @eq(S,military0),@eq(P,is),@eq(O,featC1).
-0.5846376209188564 holdsK(S,P,O) :- holdsL445(S,P,O).
holdsL445(S,P,O) :- @eq(S,military0),@eq(P,is),@eq(O,featC2).
0.09552695550698864 holdsK(S,P,O) :- holdsL446(S,P,O).
holdsL446(S,P,O) :- @eq(S,military0),@eq(P,is),@eq(O,featC3).
-0.6329329949550893 holdsK(S,P,O) :- holdsL447(S,P,O).
holdsL447(S,P,O) :- @eq(S,killedforeignviolence),@eq(P,is),@eq(O,featC1).
0.748509011106147 holdsK(S,P,O) :- holdsL448(S,P,O).
holdsL448(S,P,O) :- @eq(S,killedforeignviolence),@eq(P,is),@eq(O,featC2).
0.998612692381929 holdsK(S,P,O) :- holdsL449(S,P,O).
holdsL449(S,P,O) :- @eq(S,killedforeignviolence),@eq(P,is),@eq(O,featC3).
-0.9205113871985515 holdsK(S,P,O) :- holdsL450(S,P,O).
holdsL450(S,P,O) :- @eq(S,riots),@eq(P,is),@eq(O,featC1).
-0.9790106457316328 holdsK(S,P,O) :- holdsL451(S,P,O).
holdsL451(S,P,O) :- @eq(S,riots),@eq(P,is),@eq(O,featC2).
0.30279974827230793 holdsK(S,P,O) :- holdsL452(S,P,O).
holdsL452(S,P,O) :- @eq(S,riots),@eq(P,is),@eq(O,featC3).
-0.07285423382425615 holdsK(S,P,O) :- holdsL453(S,P,O).
holdsL453(S,P,O) :- @eq(S,diplomatexpelled),@eq(P,is),@eq(O,featC1).
0.8481708847539964 holdsK(S,P,O) :- holdsL454(S,P,O).
holdsL454(S,P,O) :- @eq(S,diplomatexpelled),@eq(P,is),@eq(O,featC2).
0.5526578414894634 holdsK(S,P,O) :- holdsL455(S,P,O).
holdsL455(S,P,O) :- @eq(S,diplomatexpelled),@eq(P,is),@eq(O,featC3).
-0.18166886836372975 holdsK(S,P,O) :- holdsL456(S,P,O).
holdsL456(S,P,O) :- @eq(S,foreigncollegestud),@eq(P,is),@eq(O,featC1).
0.7168044417431503 holdsK(S,P,O) :- holdsL457(S,P,O).
holdsL457(S,P,O) :- @eq(S,foreigncollegestud),@eq(P,is),@eq(O,featC2).
0.17145441846053666 holdsK(S,P,O) :- holdsL458(S,P,O).
holdsL458(S,P,O) :- @eq(S,foreigncollegestud),@eq(P,is),@eq(O,featC3).
-0.5045049271538413 holdsK(S,P,O) :- holdsL459(S,P,O).
holdsL459(S,P,O) :- @eq(S,seabornegoods),@eq(P,is),@eq(O,featC1).
-0.7744252994686942 holdsK(S,P,O) :- holdsL460(S,P,O).
holdsL460(S,P,O) :- @eq(S,seabornegoods),@eq(P,is),@eq(O,featC2).
0.48337799172981977 holdsK(S,P,O) :- holdsL461(S,P,O).
holdsL461(S,P,O) :- @eq(S,seabornegoods),@eq(P,is),@eq(O,featC3).
0.7664680623968998 holdsK(S,P,O) :- holdsL462(S,P,O).
holdsL462(S,P,O) :- @eq(S,imports),@eq(P,is),@eq(O,featC1).
-0.7666326426717947 holdsK(S,P,O) :- holdsL463(S,P,O).
holdsL463(S,P,O) :- @eq(S,imports),@eq(P,is),@eq(O,featC2).
0.41492631054289864 holdsK(S,P,O) :- holdsL464(S,P,O).
holdsL464(S,P,O) :- @eq(S,imports),@eq(P,is),@eq(O,featC3).
0.9119028734805028 holdsK(S,P,O) :- holdsL465(S,P,O).
holdsL465(S,P,O) :- @eq(S,investments),@eq(P,is),@eq(O,featC1).
-0.6413968108082282 holdsK(S,P,O) :- holdsL466(S,P,O).
holdsL466(S,P,O) :- @eq(S,investments),@eq(P,is),@eq(O,featC2).
0.47788573238591736 holdsK(S,P,O) :- holdsL467(S,P,O).
holdsL467(S,P,O) :- @eq(S,investments),@eq(P,is),@eq(O,featC3).
0.11871631608084199 holdsK(S,P,O) :- holdsL468(S,P,O).
holdsL468(S,P,O) :- @eq(S,electoralsystem1),@eq(P,is),@eq(O,featC1).
-0.31093840559592567 holdsK(S,P,O) :- holdsL469(S,P,O).
holdsL469(S,P,O) :- @eq(S,electoralsystem1),@eq(P,is),@eq(O,featC2).
0.9000991777396719 holdsK(S,P,O) :- holdsL470(S,P,O).
holdsL470(S,P,O) :- @eq(S,electoralsystem1),@eq(P,is),@eq(O,featC3).
-0.32546581271919406 holdsK(S,P,O) :- holdsL471(S,P,O).
holdsL471(S,P,O) :- @eq(S,popnland),@eq(P,is),@eq(O,featC1).
0.11793648792138689 holdsK(S,P,O) :- holdsL472(S,P,O).
holdsL472(S,P,O) :- @eq(S,popnland),@eq(P,is),@eq(O,featC2).
0.3052357112874775 holdsK(S,P,O) :- holdsL473(S,P,O).
holdsL473(S,P,O) :- @eq(S,popnland),@eq(P,is),@eq(O,featC3).
0.9157446352176895 holdsK(S,P,O) :- holdsL474(S,P,O).
holdsL474(S,P,O) :- @eq(S,arable),@eq(P,is),@eq(O,featC1).
-0.8290619826769654 holdsK(S,P,O) :- holdsL475(S,P,O).
holdsL475(S,P,O) :- @eq(S,arable),@eq(P,is),@eq(O,featC2).
-0.447202875555476 holdsK(S,P,O) :- holdsL476(S,P,O).
holdsL476(S,P,O) :- @eq(S,arable),@eq(P,is),@eq(O,featC3).
0.56440792737277 holdsK(S,P,O) :- holdsL477(S,P,O).
holdsL477(S,P,O) :- @eq(S,politicalparties),@eq(P,is),@eq(O,featC1).
0.2675027336186069 holdsK(S,P,O) :- holdsL478(S,P,O).
holdsL478(S,P,O) :- @eq(S,politicalparties),@eq(P,is),@eq(O,featC2).
-0.1815235467955174 holdsK(S,P,O) :- holdsL479(S,P,O).
holdsL479(S,P,O) :- @eq(S,politicalparties),@eq(P,is),@eq(O,featC3).
0.0947441355528793 holdsK(S,P,O) :- holdsL480(S,P,O).
holdsL480(S,P,O) :- @eq(S,legitgov0),@eq(P,is),@eq(O,featC1).
0.8842505167981263 holdsK(S,P,O) :- holdsL481(S,P,O).
holdsL481(S,P,O) :- @eq(S,legitgov0),@eq(P,is),@eq(O,featC2).
0.7646355349540388 holdsK(S,P,O) :- holdsL482(S,P,O).
holdsL482(S,P,O) :- @eq(S,legitgov0),@eq(P,is),@eq(O,featC3).
0.8288328950734336 holdsK(S,P,O) :- holdsL483(S,P,O).
holdsL483(S,P,O) :- @eq(S,politicalleadership2),@eq(P,is),@eq(O,featC1).
-0.47141952163268064 holdsK(S,P,O) :- holdsL484(S,P,O).
holdsL484(S,P,O) :- @eq(S,politicalleadership2),@eq(P,is),@eq(O,featC2).
-0.47462363102804006 holdsK(S,P,O) :- holdsL485(S,P,O).
holdsL485(S,P,O) :- @eq(S,politicalleadership2),@eq(P,is),@eq(O,featC3).
0.9931678974425777 holdsK(S,P,O) :- holdsL486(S,P,O).
holdsL486(S,P,O) :- @eq(S,killeddomesticviolence),@eq(P,is),@eq(O,featC1).
0.16996872443486777 holdsK(S,P,O) :- holdsL487(S,P,O).
holdsL487(S,P,O) :- @eq(S,killeddomesticviolence),@eq(P,is),@eq(O,featC2).
0.8968533462729888 holdsK(S,P,O) :- holdsL488(S,P,O).
holdsL488(S,P,O) :- @eq(S,killeddomesticviolence),@eq(P,is),@eq(O,featC3).
-0.7421290849245867 holdsK(S,P,O) :- holdsL489(S,P,O).
holdsL489(S,P,O) :- @eq(S,freedomofopposition1),@eq(P,is),@eq(O,featC1).
0.4982964619773387 holdsK(S,P,O) :- holdsL490(S,P,O).
holdsL490(S,P,O) :- @eq(S,freedomofopposition1),@eq(P,is),@eq(O,featC2).
-0.4386049504024956 holdsK(S,P,O) :- holdsL491(S,P,O).
holdsL491(S,P,O) :- @eq(S,freedomofopposition1),@eq(P,is),@eq(O,featC3).
0.7746830105526263 holdsK(S,P,O) :- holdsL492(S,P,O).
holdsL492(S,P,O) :- @eq(S,systemstyle1),@eq(P,is),@eq(O,featC1).
0.654863008777465 holdsK(S,P,O) :- holdsL493(S,P,O).
holdsL493(S,P,O) :- @eq(S,systemstyle1),@eq(P,is),@eq(O,featC2).
-0.9743842720471605 holdsK(S,P,O) :- holdsL494(S,P,O).
holdsL494(S,P,O) :- @eq(S,systemstyle1),@eq(P,is),@eq(O,featC3).
-0.7834906739153011 holdsK(S,P,O) :- holdsL495(S,P,O).
holdsL495(S,P,O) :- @eq(S,telephone),@eq(P,is),@eq(O,featC1).
-0.5282751178203875 holdsK(S,P,O) :- holdsL496(S,P,O).
holdsL496(S,P,O) :- @eq(S,telephone),@eq(P,is),@eq(O,featC2).
-0.8029664469619016 holdsK(S,P,O) :- holdsL497(S,P,O).
holdsL497(S,P,O) :- @eq(S,telephone),@eq(P,is),@eq(O,featC3).
-0.08820169971402403 holdsK(S,P,O) :- holdsL498(S,P,O).
holdsL498(S,P,O) :- @eq(S,energyconsume),@eq(P,is),@eq(O,featC1).
0.8801533104143666 holdsK(S,P,O) :- holdsL499(S,P,O).
holdsL499(S,P,O) :- @eq(S,energyconsume),@eq(P,is),@eq(O,featC2).
-0.0010269784626533163 holdsK(S,P,O) :- holdsL500(S,P,O).
holdsL500(S,P,O) :- @eq(S,energyconsume),@eq(P,is),@eq(O,featC3).
0.6786015197079129 holdsK(S,P,O) :- holdsL501(S,P,O).
holdsL501(S,P,O) :- @eq(S,gnp),@eq(P,is),@eq(O,featC1).
0.9126317239223083 holdsK(S,P,O) :- holdsL502(S,P,O).
holdsL502(S,P,O) :- @eq(S,gnp),@eq(P,is),@eq(O,featC2).
-0.5775603353229881 holdsK(S,P,O) :- holdsL503(S,P,O).
holdsL503(S,P,O) :- @eq(S,gnp),@eq(P,is),@eq(O,featC3).
-0.5083722427665776 holdsK(S,P,O) :- holdsL504(S,P,O).
holdsL504(S,P,O) :- @eq(S,immigrantsmigrants),@eq(P,is),@eq(O,featC1).
0.02446796870495982 holdsK(S,P,O) :- holdsL505(S,P,O).
holdsL505(S,P,O) :- @eq(S,immigrantsmigrants),@eq(P,is),@eq(O,featC2).
-0.23391883002547997 holdsK(S,P,O) :- holdsL506(S,P,O).
holdsL506(S,P,O) :- @eq(S,immigrantsmigrants),@eq(P,is),@eq(O,featC3).
-0.7247148193201018 holdsK(S,P,O) :- holdsL507(S,P,O).
holdsL507(S,P,O) :- @eq(S,runningwater),@eq(P,is),@eq(O,featC1).
0.4452662454955363 holdsK(S,P,O) :- holdsL508(S,P,O).
holdsL508(S,P,O) :- @eq(S,runningwater),@eq(P,is),@eq(O,featC2).
0.559837920919779 holdsK(S,P,O) :- holdsL509(S,P,O).
holdsL509(S,P,O) :- @eq(S,runningwater),@eq(P,is),@eq(O,featC3).
-0.3896886628373606 holdsK(S,P,O) :- holdsL510(S,P,O).
holdsL510(S,P,O) :- @eq(S,protein),@eq(P,is),@eq(O,featC1).
0.33597930430033984 holdsK(S,P,O) :- holdsL511(S,P,O).
holdsL511(S,P,O) :- @eq(S,protein),@eq(P,is),@eq(O,featC2).
-0.39892967531464674 holdsK(S,P,O) :- holdsL512(S,P,O).
holdsL512(S,P,O) :- @eq(S,protein),@eq(P,is),@eq(O,featC3).
0.017782510260055062 holdsK(S,P,O) :- holdsL513(S,P,O).
holdsL513(S,P,O) :- @eq(S,bureaucracy2),@eq(P,is),@eq(O,featC1).
-0.9886323521665525 holdsK(S,P,O) :- holdsL514(S,P,O).
holdsL514(S,P,O) :- @eq(S,bureaucracy2),@eq(P,is),@eq(O,featC2).
0.6125072938926974 holdsK(S,P,O) :- holdsL515(S,P,O).
holdsL515(S,P,O) :- @eq(S,bureaucracy2),@eq(P,is),@eq(O,featC3).
-0.3931178828581403 holdsK(S,P,O) :- holdsL516(S,P,O).
holdsL516(S,P,O) :- @eq(S,monarchy),@eq(P,is),@eq(O,featC1).
0.1268427914559278 holdsK(S,P,O) :- holdsL517(S,P,O).
holdsL517(S,P,O) :- @eq(S,monarchy),@eq(P,is),@eq(O,featC2).
0.8024819474019971 holdsK(S,P,O) :- holdsL518(S,P,O).
holdsL518(S,P,O) :- @eq(S,monarchy),@eq(P,is),@eq(O,featC3).
-0.15176223769197805 holdsK(S,P,O) :- holdsL519(S,P,O).
holdsL519(S,P,O) :- @eq(S,censorship1),@eq(P,is),@eq(O,featC1).
0.684372357099859 holdsK(S,P,O) :- holdsL520(S,P,O).
holdsL520(S,P,O) :- @eq(S,censorship1),@eq(P,is),@eq(O,featC2).
0.48991816989344383 holdsK(S,P,O) :- holdsL521(S,P,O).
holdsL521(S,P,O) :- @eq(S,censorship1),@eq(P,is),@eq(O,featC3).
-0.8032663946514764 holdsK(S,P,O) :- holdsL522(S,P,O).
holdsL522(S,P,O) :- @eq(S,roadlength),@eq(P,is),@eq(O,featC1).
-0.3610250226527765 holdsK(S,P,O) :- holdsL523(S,P,O).
holdsL523(S,P,O) :- @eq(S,roadlength),@eq(P,is),@eq(O,featC2).
0.4486231041125148 holdsK(S,P,O) :- holdsL524(S,P,O).
holdsL524(S,P,O) :- @eq(S,roadlength),@eq(P,is),@eq(O,featC3).
0.6473225947111159 holdsK(S,P,O) :- holdsL525(S,P,O).
holdsL525(S,P,O) :- @eq(S,emigrants),@eq(P,is),@eq(O,featC1).
-0.2929370436969987 holdsK(S,P,O) :- holdsL526(S,P,O).
holdsL526(S,P,O) :- @eq(S,emigrants),@eq(P,is),@eq(O,featC2).
-0.8567328101172011 holdsK(S,P,O) :- holdsL527(S,P,O).
holdsL527(S,P,O) :- @eq(S,emigrants),@eq(P,is),@eq(O,featC3).
-0.245058210237169 holdsK(S,P,O) :- holdsL528(S,P,O).
holdsL528(S,P,O) :- @eq(S,incomeabs),@eq(P,is),@eq(O,featC1).
0.7110328902757821 holdsK(S,P,O) :- holdsL529(S,P,O).
holdsL529(S,P,O) :- @eq(S,incomeabs),@eq(P,is),@eq(O,featC2).
-0.7076014066844796 holdsK(S,P,O) :- holdsL530(S,P,O).
holdsL530(S,P,O) :- @eq(S,incomeabs),@eq(P,is),@eq(O,featC3).
-0.6127470841889455 holdsK(S,P,O) :- holdsL531(S,P,O).
holdsL531(S,P,O) :- @eq(S,unassessment),@eq(P,is),@eq(O,featC1).
0.9887389017915034 holdsK(S,P,O) :- holdsL532(S,P,O).
holdsL532(S,P,O) :- @eq(S,unassessment),@eq(P,is),@eq(O,featC2).
0.7637929137167334 holdsK(S,P,O) :- holdsL533(S,P,O).
holdsL533(S,P,O) :- @eq(S,unassessment),@eq(P,is),@eq(O,featC3).
0.8459271554570371 holdsK(S,P,O) :- holdsL534(S,P,O).
holdsL534(S,P,O) :- @eq(S,defenseexpabs),@eq(P,is),@eq(O,featC1).
-0.6217831084123611 holdsK(S,P,O) :- holdsL535(S,P,O).
holdsL535(S,P,O) :- @eq(S,defenseexpabs),@eq(P,is),@eq(O,featC2).
0.5678176599464402 holdsK(S,P,O) :- holdsL536(S,P,O).
holdsL536(S,P,O) :- @eq(S,defenseexpabs),@eq(P,is),@eq(O,featC3).
0.33587959442920257 holdsK(S,P,O) :- holdsL537(S,P,O).
holdsL537(S,P,O) :- @eq(S,balanceinvestments),@eq(P,is),@eq(O,featC1).
0.6512984845969101 holdsK(S,P,O) :- holdsL538(S,P,O).
holdsL538(S,P,O) :- @eq(S,balanceinvestments),@eq(P,is),@eq(O,featC2).
-0.2335803981928135 holdsK(S,P,O) :- holdsL539(S,P,O).
holdsL539(S,P,O) :- @eq(S,balanceinvestments),@eq(P,is),@eq(O,featC3).
-0.4075608572553153 holdsK(S,P,O) :- holdsL540(S,P,O).
holdsL540(S,P,O) :- @eq(S,unemployed),@eq(P,is),@eq(O,featC1).
-0.29602374431395617 holdsK(S,P,O) :- holdsL541(S,P,O).
holdsL541(S,P,O) :- @eq(S,unemployed),@eq(P,is),@eq(O,featC2).
-0.24517460184655793 holdsK(S,P,O) :- holdsL542(S,P,O).
holdsL542(S,P,O) :- @eq(S,unemployed),@eq(P,is),@eq(O,featC3).

0.6326531786717173 holdsK(S,P,O) :- holdsL543(S,P,O).
holdsL543(S,P,O) :- @eq(S,relC1),@eq(P,is),@eq(O,relSuC1).
-0.4429574597092374 holdsK(S,P,O) :- holdsL544(S,P,O).
holdsL544(S,P,O) :- @eq(S,relC2),@eq(P,is),@eq(O,relSuC1).
0.5007394090681274 holdsK(S,P,O) :- holdsL545(S,P,O).
holdsL545(S,P,O) :- @eq(S,relC3),@eq(P,is),@eq(O,relSuC1).
0.3365028853814942 holdsK(S,P,O) :- holdsL546(S,P,O).
holdsL546(S,P,O) :- @eq(S,relC1),@eq(P,is),@eq(O,relSuC2).
-0.8706316740624609 holdsK(S,P,O) :- holdsL547(S,P,O).
holdsL547(S,P,O) :- @eq(S,relC2),@eq(P,is),@eq(O,relSuC2).
-0.17148431242741213 holdsK(S,P,O) :- holdsL548(S,P,O).
holdsL548(S,P,O) :- @eq(S,relC3),@eq(P,is),@eq(O,relSuC2).
0.18028667447923463 holdsK(S,P,O) :- holdsL549(S,P,O).
holdsL549(S,P,O) :- @eq(S,entC1),@eq(P,is),@eq(O,entSuC1).
0.10993708900982391 holdsK(S,P,O) :- holdsL550(S,P,O).
holdsL550(S,P,O) :- @eq(S,entC2),@eq(P,is),@eq(O,entSuC1).
0.16610695566512712 holdsK(S,P,O) :- holdsL551(S,P,O).
holdsL551(S,P,O) :- @eq(S,entC3),@eq(P,is),@eq(O,entSuC1).
0.1994260434779327 holdsK(S,P,O) :- holdsL552(S,P,O).
holdsL552(S,P,O) :- @eq(S,entC1),@eq(P,is),@eq(O,entSuC2).
-0.7460269807519617 holdsK(S,P,O) :- holdsL553(S,P,O).
holdsL553(S,P,O) :- @eq(S,entC2),@eq(P,is),@eq(O,entSuC2).
-0.4589603460554139 holdsK(S,P,O) :- holdsL554(S,P,O).
holdsL554(S,P,O) :- @eq(S,entC3),@eq(P,is),@eq(O,entSuC2).
-0.8946335451445679 holdsK(S,P,O) :- holdsL555(S,P,O).
holdsL555(S,P,O) :- @eq(S,featC1),@eq(P,is),@eq(O,featSuC1).
-0.759361418521904 holdsK(S,P,O) :- holdsL556(S,P,O).
holdsL556(S,P,O) :- @eq(S,featC2),@eq(P,is),@eq(O,featSuC1).
-0.10753623487858799 holdsK(S,P,O) :- holdsL557(S,P,O).
holdsL557(S,P,O) :- @eq(S,featC3),@eq(P,is),@eq(O,featSuC1).
0.2476095792444708 holdsK(S,P,O) :- holdsL558(S,P,O).
holdsL558(S,P,O) :- @eq(S,featC1),@eq(P,is),@eq(O,featSuC2).
-0.4770891189976445 holdsK(S,P,O) :- holdsL559(S,P,O).
holdsL559(S,P,O) :- @eq(S,featC2),@eq(P,is),@eq(O,featSuC2).
-0.593737080023895 holdsK(S,P,O) :- holdsL560(S,P,O).
holdsL560(S,P,O) :- @eq(S,featC3),@eq(P,is),@eq(O,featSuC2).

-0.5157467811799006 holdsK(S,P,O) :- holdsL561(S,P,O).
holdsL561(S,P,O) :- @eq(S,entC1),@eq(P,hasFeature),@eq(O,featC1).
0.3266893203917638 holdsK(S,P,O) :- holdsL562(S,P,O).
holdsL562(S,P,O) :- @eq(S,entC1),@eq(P,hasFeature),@eq(O,featC2).
-0.5130634003106154 holdsK(S,P,O) :- holdsL563(S,P,O).
holdsL563(S,P,O) :- @eq(S,entC1),@eq(P,hasFeature),@eq(O,featC3).
0.8848865496448792 holdsK(S,P,O) :- holdsL564(S,P,O).
holdsL564(S,P,O) :- @eq(S,entC1),@eq(P,hasFeature),@eq(O,featSuC1).
-0.9525812888334724 holdsK(S,P,O) :- holdsL565(S,P,O).
holdsL565(S,P,O) :- @eq(S,entC1),@eq(P,hasFeature),@eq(O,featSuC2).
-0.4461518080844362 holdsK(S,P,O) :- holdsL566(S,P,O).
holdsL566(S,P,O) :- @eq(S,entC2),@eq(P,hasFeature),@eq(O,featC1).
0.5233894697835761 holdsK(S,P,O) :- holdsL567(S,P,O).
holdsL567(S,P,O) :- @eq(S,entC2),@eq(P,hasFeature),@eq(O,featC2).
0.0445676091510292 holdsK(S,P,O) :- holdsL568(S,P,O).
holdsL568(S,P,O) :- @eq(S,entC2),@eq(P,hasFeature),@eq(O,featC3).
0.010539910698446286 holdsK(S,P,O) :- holdsL569(S,P,O).
holdsL569(S,P,O) :- @eq(S,entC2),@eq(P,hasFeature),@eq(O,featSuC1).
0.4083115228663927 holdsK(S,P,O) :- holdsL570(S,P,O).
holdsL570(S,P,O) :- @eq(S,entC2),@eq(P,hasFeature),@eq(O,featSuC2).
0.46012119900859005 holdsK(S,P,O) :- holdsL571(S,P,O).
holdsL571(S,P,O) :- @eq(S,entC3),@eq(P,hasFeature),@eq(O,featC1).
0.9850761008215323 holdsK(S,P,O) :- holdsL572(S,P,O).
holdsL572(S,P,O) :- @eq(S,entC3),@eq(P,hasFeature),@eq(O,featC2).
-0.18964549309331047 holdsK(S,P,O) :- holdsL573(S,P,O).
holdsL573(S,P,O) :- @eq(S,entC3),@eq(P,hasFeature),@eq(O,featC3).
-0.2998802586092679 holdsK(S,P,O) :- holdsL574(S,P,O).
holdsL574(S,P,O) :- @eq(S,entC3),@eq(P,hasFeature),@eq(O,featSuC1).
0.680464113524248 holdsK(S,P,O) :- holdsL575(S,P,O).
holdsL575(S,P,O) :- @eq(S,entC3),@eq(P,hasFeature),@eq(O,featSuC2).
0.18938773734239844 holdsK(S,P,O) :- holdsL576(S,P,O).
holdsL576(S,P,O) :- @eq(S,entSuC1),@eq(P,hasFeature),@eq(O,featC1).
0.9978614111995747 holdsK(S,P,O) :- holdsL577(S,P,O).
holdsL577(S,P,O) :- @eq(S,entSuC1),@eq(P,hasFeature),@eq(O,featC2).
0.21026650702368044 holdsK(S,P,O) :- holdsL578(S,P,O).
holdsL578(S,P,O) :- @eq(S,entSuC1),@eq(P,hasFeature),@eq(O,featC3).
-0.03280673023377734 holdsK(S,P,O) :- holdsL579(S,P,O).
holdsL579(S,P,O) :- @eq(S,entSuC1),@eq(P,hasFeature),@eq(O,featSuC1).
0.557450425131677 holdsK(S,P,O) :- holdsL580(S,P,O).
holdsL580(S,P,O) :- @eq(S,entSuC1),@eq(P,hasFeature),@eq(O,featSuC2).
0.10122355676049644 holdsK(S,P,O) :- holdsL581(S,P,O).
holdsL581(S,P,O) :- @eq(S,entSuC2),@eq(P,hasFeature),@eq(O,featC1).
0.20203229955178625 holdsK(S,P,O) :- holdsL582(S,P,O).
holdsL582(S,P,O) :- @eq(S,entSuC2),@eq(P,hasFeature),@eq(O,featC2).
-0.9192645239687669 holdsK(S,P,O) :- holdsL583(S,P,O).
holdsL583(S,P,O) :- @eq(S,entSuC2),@eq(P,hasFeature),@eq(O,featC3).
0.20875939177825154 holdsK(S,P,O) :- holdsL584(S,P,O).
holdsL584(S,P,O) :- @eq(S,entSuC2),@eq(P,hasFeature),@eq(O,featSuC1).
-0.6370365534289053 holdsK(S,P,O) :- holdsL585(S,P,O).
holdsL585(S,P,O) :- @eq(S,entSuC2),@eq(P,hasFeature),@eq(O,featSuC2).

0.921493342315461 holdsK(S,P,O) :- holdsL586(S,P,O).
holdsL586(S,P,O) :- @eq(S,entC1),@eq(P,relC1),@eq(O,featC1).
0.4908764447351841 holdsK(S,P,O) :- holdsL587(S,P,O).
holdsL587(S,P,O) :- @eq(S,entC1),@eq(P,relC1),@eq(O,featC2).
-0.6437085746519151 holdsK(S,P,O) :- holdsL588(S,P,O).
holdsL588(S,P,O) :- @eq(S,entC1),@eq(P,relC1),@eq(O,featC3).
0.6505839542759748 holdsK(S,P,O) :- holdsL589(S,P,O).
holdsL589(S,P,O) :- @eq(S,entC1),@eq(P,relC1),@eq(O,featSuC1).
0.27745310442269333 holdsK(S,P,O) :- holdsL590(S,P,O).
holdsL590(S,P,O) :- @eq(S,entC1),@eq(P,relC1),@eq(O,featSuC2).
0.26910626843604923 holdsK(S,P,O) :- holdsL591(S,P,O).
holdsL591(S,P,O) :- @eq(S,entC2),@eq(P,relC1),@eq(O,featC1).
-0.7171336191974731 holdsK(S,P,O) :- holdsL592(S,P,O).
holdsL592(S,P,O) :- @eq(S,entC2),@eq(P,relC1),@eq(O,featC2).
0.3338890850216789 holdsK(S,P,O) :- holdsL593(S,P,O).
holdsL593(S,P,O) :- @eq(S,entC2),@eq(P,relC1),@eq(O,featC3).
0.7758083638244708 holdsK(S,P,O) :- holdsL594(S,P,O).
holdsL594(S,P,O) :- @eq(S,entC2),@eq(P,relC1),@eq(O,featSuC1).
0.04913584287838191 holdsK(S,P,O) :- holdsL595(S,P,O).
holdsL595(S,P,O) :- @eq(S,entC2),@eq(P,relC1),@eq(O,featSuC2).
0.9920169766219182 holdsK(S,P,O) :- holdsL596(S,P,O).
holdsL596(S,P,O) :- @eq(S,entC3),@eq(P,relC1),@eq(O,featC1).
0.728918522250271 holdsK(S,P,O) :- holdsL597(S,P,O).
holdsL597(S,P,O) :- @eq(S,entC3),@eq(P,relC1),@eq(O,featC2).
-0.5193723829546342 holdsK(S,P,O) :- holdsL598(S,P,O).
holdsL598(S,P,O) :- @eq(S,entC3),@eq(P,relC1),@eq(O,featC3).
0.17600610256424898 holdsK(S,P,O) :- holdsL599(S,P,O).
holdsL599(S,P,O) :- @eq(S,entC3),@eq(P,relC1),@eq(O,featSuC1).
-0.5410337056121111 holdsK(S,P,O) :- holdsL600(S,P,O).
holdsL600(S,P,O) :- @eq(S,entC3),@eq(P,relC1),@eq(O,featSuC2).
-0.17244821786899167 holdsK(S,P,O) :- holdsL601(S,P,O).
holdsL601(S,P,O) :- @eq(S,entSuC1),@eq(P,relC1),@eq(O,featC1).
-0.7160144919065274 holdsK(S,P,O) :- holdsL602(S,P,O).
holdsL602(S,P,O) :- @eq(S,entSuC1),@eq(P,relC1),@eq(O,featC2).
0.6896029060693143 holdsK(S,P,O) :- holdsL603(S,P,O).
holdsL603(S,P,O) :- @eq(S,entSuC1),@eq(P,relC1),@eq(O,featC3).
0.5733260833528853 holdsK(S,P,O) :- holdsL604(S,P,O).
holdsL604(S,P,O) :- @eq(S,entSuC1),@eq(P,relC1),@eq(O,featSuC1).
0.46347745446568145 holdsK(S,P,O) :- holdsL605(S,P,O).
holdsL605(S,P,O) :- @eq(S,entSuC1),@eq(P,relC1),@eq(O,featSuC2).
0.08886208422732822 holdsK(S,P,O) :- holdsL606(S,P,O).
holdsL606(S,P,O) :- @eq(S,entSuC2),@eq(P,relC1),@eq(O,featC1).
0.6262818280028914 holdsK(S,P,O) :- holdsL607(S,P,O).
holdsL607(S,P,O) :- @eq(S,entSuC2),@eq(P,relC1),@eq(O,featC2).
-0.1563546481084952 holdsK(S,P,O) :- holdsL608(S,P,O).
holdsL608(S,P,O) :- @eq(S,entSuC2),@eq(P,relC1),@eq(O,featC3).
0.8093639037830356 holdsK(S,P,O) :- holdsL609(S,P,O).
holdsL609(S,P,O) :- @eq(S,entSuC2),@eq(P,relC1),@eq(O,featSuC1).
-0.35581832084103815 holdsK(S,P,O) :- holdsL610(S,P,O).
holdsL610(S,P,O) :- @eq(S,entSuC2),@eq(P,relC1),@eq(O,featSuC2).
0.2726965085642741 holdsK(S,P,O) :- holdsL611(S,P,O).
holdsL611(S,P,O) :- @eq(S,entC1),@eq(P,relC2),@eq(O,featC1).
0.7249544603250866 holdsK(S,P,O) :- holdsL612(S,P,O).
holdsL612(S,P,O) :- @eq(S,entC1),@eq(P,relC2),@eq(O,featC2).
0.15670862564300925 holdsK(S,P,O) :- holdsL613(S,P,O).
holdsL613(S,P,O) :- @eq(S,entC1),@eq(P,relC2),@eq(O,featC3).
0.7183320020382225 holdsK(S,P,O) :- holdsL614(S,P,O).
holdsL614(S,P,O) :- @eq(S,entC1),@eq(P,relC2),@eq(O,featSuC1).
-0.531184664832836 holdsK(S,P,O) :- holdsL615(S,P,O).
holdsL615(S,P,O) :- @eq(S,entC1),@eq(P,relC2),@eq(O,featSuC2).
0.033965134147957876 holdsK(S,P,O) :- holdsL616(S,P,O).
holdsL616(S,P,O) :- @eq(S,entC2),@eq(P,relC2),@eq(O,featC1).
-0.7010161865277962 holdsK(S,P,O) :- holdsL617(S,P,O).
holdsL617(S,P,O) :- @eq(S,entC2),@eq(P,relC2),@eq(O,featC2).
0.05726894734526344 holdsK(S,P,O) :- holdsL618(S,P,O).
holdsL618(S,P,O) :- @eq(S,entC2),@eq(P,relC2),@eq(O,featC3).
-0.16749710850334387 holdsK(S,P,O) :- holdsL619(S,P,O).
holdsL619(S,P,O) :- @eq(S,entC2),@eq(P,relC2),@eq(O,featSuC1).
0.33260277466067234 holdsK(S,P,O) :- holdsL620(S,P,O).
holdsL620(S,P,O) :- @eq(S,entC2),@eq(P,relC2),@eq(O,featSuC2).
-0.47966330676610336 holdsK(S,P,O) :- holdsL621(S,P,O).
holdsL621(S,P,O) :- @eq(S,entC3),@eq(P,relC2),@eq(O,featC1).
-0.8544209388033648 holdsK(S,P,O) :- holdsL622(S,P,O).
holdsL622(S,P,O) :- @eq(S,entC3),@eq(P,relC2),@eq(O,featC2).
-0.1340690666729083 holdsK(S,P,O) :- holdsL623(S,P,O).
holdsL623(S,P,O) :- @eq(S,entC3),@eq(P,relC2),@eq(O,featC3).
0.3890632017581328 holdsK(S,P,O) :- holdsL624(S,P,O).
holdsL624(S,P,O) :- @eq(S,entC3),@eq(P,relC2),@eq(O,featSuC1).
0.1862431281667194 holdsK(S,P,O) :- holdsL625(S,P,O).
holdsL625(S,P,O) :- @eq(S,entC3),@eq(P,relC2),@eq(O,featSuC2).
-0.8263632084654453 holdsK(S,P,O) :- holdsL626(S,P,O).
holdsL626(S,P,O) :- @eq(S,entSuC1),@eq(P,relC2),@eq(O,featC1).
-0.6955231966995095 holdsK(S,P,O) :- holdsL627(S,P,O).
holdsL627(S,P,O) :- @eq(S,entSuC1),@eq(P,relC2),@eq(O,featC2).
0.8666005376520833 holdsK(S,P,O) :- holdsL628(S,P,O).
holdsL628(S,P,O) :- @eq(S,entSuC1),@eq(P,relC2),@eq(O,featC3).
0.23915447650783217 holdsK(S,P,O) :- holdsL629(S,P,O).
holdsL629(S,P,O) :- @eq(S,entSuC1),@eq(P,relC2),@eq(O,featSuC1).
0.8112591033346583 holdsK(S,P,O) :- holdsL630(S,P,O).
holdsL630(S,P,O) :- @eq(S,entSuC1),@eq(P,relC2),@eq(O,featSuC2).
0.7816558803196447 holdsK(S,P,O) :- holdsL631(S,P,O).
holdsL631(S,P,O) :- @eq(S,entSuC2),@eq(P,relC2),@eq(O,featC1).
-0.7562294076398672 holdsK(S,P,O) :- holdsL632(S,P,O).
holdsL632(S,P,O) :- @eq(S,entSuC2),@eq(P,relC2),@eq(O,featC2).
-0.4786824574971009 holdsK(S,P,O) :- holdsL633(S,P,O).
holdsL633(S,P,O) :- @eq(S,entSuC2),@eq(P,relC2),@eq(O,featC3).
-0.6019735592116333 holdsK(S,P,O) :- holdsL634(S,P,O).
holdsL634(S,P,O) :- @eq(S,entSuC2),@eq(P,relC2),@eq(O,featSuC1).
0.9090265324441342 holdsK(S,P,O) :- holdsL635(S,P,O).
holdsL635(S,P,O) :- @eq(S,entSuC2),@eq(P,relC2),@eq(O,featSuC2).
-0.3641325789109997 holdsK(S,P,O) :- holdsL636(S,P,O).
holdsL636(S,P,O) :- @eq(S,entC1),@eq(P,relSuC1),@eq(O,featC1).
-0.22141132467136226 holdsK(S,P,O) :- holdsL637(S,P,O).
holdsL637(S,P,O) :- @eq(S,entC1),@eq(P,relSuC1),@eq(O,featC2).
-0.017296435026462387 holdsK(S,P,O) :- holdsL638(S,P,O).
holdsL638(S,P,O) :- @eq(S,entC1),@eq(P,relSuC1),@eq(O,featC3).
-0.792104289028819 holdsK(S,P,O) :- holdsL639(S,P,O).
holdsL639(S,P,O) :- @eq(S,entC1),@eq(P,relSuC1),@eq(O,featSuC1).
-0.33419190556706213 holdsK(S,P,O) :- holdsL640(S,P,O).
holdsL640(S,P,O) :- @eq(S,entC1),@eq(P,relSuC1),@eq(O,featSuC2).
0.44320313841907844 holdsK(S,P,O) :- holdsL641(S,P,O).
holdsL641(S,P,O) :- @eq(S,entC2),@eq(P,relSuC1),@eq(O,featC1).
0.2789600939024255 holdsK(S,P,O) :- holdsL642(S,P,O).
holdsL642(S,P,O) :- @eq(S,entC2),@eq(P,relSuC1),@eq(O,featC2).
-0.019954890926882962 holdsK(S,P,O) :- holdsL643(S,P,O).
holdsL643(S,P,O) :- @eq(S,entC2),@eq(P,relSuC1),@eq(O,featC3).
-0.17626461052787334 holdsK(S,P,O) :- holdsL644(S,P,O).
holdsL644(S,P,O) :- @eq(S,entC2),@eq(P,relSuC1),@eq(O,featSuC1).
0.8501023262913694 holdsK(S,P,O) :- holdsL645(S,P,O).
holdsL645(S,P,O) :- @eq(S,entC2),@eq(P,relSuC1),@eq(O,featSuC2).
-0.9481432853195972 holdsK(S,P,O) :- holdsL646(S,P,O).
holdsL646(S,P,O) :- @eq(S,entC3),@eq(P,relSuC1),@eq(O,featC1).
-0.8324131170269093 holdsK(S,P,O) :- holdsL647(S,P,O).
holdsL647(S,P,O) :- @eq(S,entC3),@eq(P,relSuC1),@eq(O,featC2).
0.8581243053200203 holdsK(S,P,O) :- holdsL648(S,P,O).
holdsL648(S,P,O) :- @eq(S,entC3),@eq(P,relSuC1),@eq(O,featC3).
0.41056079024155756 holdsK(S,P,O) :- holdsL649(S,P,O).
holdsL649(S,P,O) :- @eq(S,entC3),@eq(P,relSuC1),@eq(O,featSuC1).
0.7093269684622547 holdsK(S,P,O) :- holdsL650(S,P,O).
holdsL650(S,P,O) :- @eq(S,entC3),@eq(P,relSuC1),@eq(O,featSuC2).
-0.47254965295808726 holdsK(S,P,O) :- holdsL651(S,P,O).
holdsL651(S,P,O) :- @eq(S,entSuC1),@eq(P,relSuC1),@eq(O,featC1).
-0.3428066219735566 holdsK(S,P,O) :- holdsL652(S,P,O).
holdsL652(S,P,O) :- @eq(S,entSuC1),@eq(P,relSuC1),@eq(O,featC2).
-0.5515029728100878 holdsK(S,P,O) :- holdsL653(S,P,O).
holdsL653(S,P,O) :- @eq(S,entSuC1),@eq(P,relSuC1),@eq(O,featC3).
-0.054848139405991425 holdsK(S,P,O) :- holdsL654(S,P,O).
holdsL654(S,P,O) :- @eq(S,entSuC1),@eq(P,relSuC1),@eq(O,featSuC1).
-0.9661101673517845 holdsK(S,P,O) :- holdsL655(S,P,O).
holdsL655(S,P,O) :- @eq(S,entSuC1),@eq(P,relSuC1),@eq(O,featSuC2).
-0.19206216704037282 holdsK(S,P,O) :- holdsL656(S,P,O).
holdsL656(S,P,O) :- @eq(S,entSuC2),@eq(P,relSuC1),@eq(O,featC1).
-0.10100847889577413 holdsK(S,P,O) :- holdsL657(S,P,O).
holdsL657(S,P,O) :- @eq(S,entSuC2),@eq(P,relSuC1),@eq(O,featC2).
-0.8353104012686676 holdsK(S,P,O) :- holdsL658(S,P,O).
holdsL658(S,P,O) :- @eq(S,entSuC2),@eq(P,relSuC1),@eq(O,featC3).
-0.6772037139443072 holdsK(S,P,O) :- holdsL659(S,P,O).
holdsL659(S,P,O) :- @eq(S,entSuC2),@eq(P,relSuC1),@eq(O,featSuC1).
-0.43888264343690087 holdsK(S,P,O) :- holdsL660(S,P,O).
holdsL660(S,P,O) :- @eq(S,entSuC2),@eq(P,relSuC1),@eq(O,featSuC2).

1.0 holdsK(A,B,C) :- holdsLrek661(A,B,C).
holdsLrek661(A,B,C) :- holdsK(A,is,entC1), @eq(B,hasFeature), holdsK(C,is,featC1), holdsK(entC1,hasFeature,featC1).
1.0 holdsK(A,B,C) :- holdsLrek662(A,B,C).
holdsLrek662(A,B,C) :- holdsK(A,is,entC1), @eq(B,hasFeature), holdsK(C,is,featC2), holdsK(entC1,hasFeature,featC2).
1.0 holdsK(A,B,C) :- holdsLrek663(A,B,C).
holdsLrek663(A,B,C) :- holdsK(A,is,entC1), @eq(B,hasFeature), holdsK(C,is,featC3), holdsK(entC1,hasFeature,featC3).
1.0 holdsK(A,B,C) :- holdsLrek664(A,B,C).
holdsLrek664(A,B,C) :- holdsK(A,is,entC1), @eq(B,hasFeature), holdsK(C,is,featSuC1), holdsK(entC1,hasFeature,featSuC1).
1.0 holdsK(A,B,C) :- holdsLrek665(A,B,C).
holdsLrek665(A,B,C) :- holdsK(A,is,entC1), @eq(B,hasFeature), holdsK(C,is,featSuC2), holdsK(entC1,hasFeature,featSuC2).
1.0 holdsK(A,B,C) :- holdsLrek666(A,B,C).
holdsLrek666(A,B,C) :- holdsK(A,is,entC2), @eq(B,hasFeature), holdsK(C,is,featC1), holdsK(entC2,hasFeature,featC1).
1.0 holdsK(A,B,C) :- holdsLrek667(A,B,C).
holdsLrek667(A,B,C) :- holdsK(A,is,entC2), @eq(B,hasFeature), holdsK(C,is,featC2), holdsK(entC2,hasFeature,featC2).
1.0 holdsK(A,B,C) :- holdsLrek668(A,B,C).
holdsLrek668(A,B,C) :- holdsK(A,is,entC2), @eq(B,hasFeature), holdsK(C,is,featC3), holdsK(entC2,hasFeature,featC3).
1.0 holdsK(A,B,C) :- holdsLrek669(A,B,C).
holdsLrek669(A,B,C) :- holdsK(A,is,entC2), @eq(B,hasFeature), holdsK(C,is,featSuC1), holdsK(entC2,hasFeature,featSuC1).
1.0 holdsK(A,B,C) :- holdsLrek670(A,B,C).
holdsLrek670(A,B,C) :- holdsK(A,is,entC2), @eq(B,hasFeature), holdsK(C,is,featSuC2), holdsK(entC2,hasFeature,featSuC2).
1.0 holdsK(A,B,C) :- holdsLrek671(A,B,C).
holdsLrek671(A,B,C) :- holdsK(A,is,entC3), @eq(B,hasFeature), holdsK(C,is,featC1), holdsK(entC3,hasFeature,featC1).
1.0 holdsK(A,B,C) :- holdsLrek672(A,B,C).
holdsLrek672(A,B,C) :- holdsK(A,is,entC3), @eq(B,hasFeature), holdsK(C,is,featC2), holdsK(entC3,hasFeature,featC2).
1.0 holdsK(A,B,C) :- holdsLrek673(A,B,C).
holdsLrek673(A,B,C) :- holdsK(A,is,entC3), @eq(B,hasFeature), holdsK(C,is,featC3), holdsK(entC3,hasFeature,featC3).
1.0 holdsK(A,B,C) :- holdsLrek674(A,B,C).
holdsLrek674(A,B,C) :- holdsK(A,is,entC3), @eq(B,hasFeature), holdsK(C,is,featSuC1), holdsK(entC3,hasFeature,featSuC1).
1.0 holdsK(A,B,C) :- holdsLrek675(A,B,C).
holdsLrek675(A,B,C) :- holdsK(A,is,entC3), @eq(B,hasFeature), holdsK(C,is,featSuC2), holdsK(entC3,hasFeature,featSuC2).
1.0 holdsK(A,B,C) :- holdsLrek676(A,B,C).
holdsLrek676(A,B,C) :- holdsK(A,is,entSuC1), @eq(B,hasFeature), holdsK(C,is,featC1), holdsK(entSuC1,hasFeature,featC1).
1.0 holdsK(A,B,C) :- holdsLrek677(A,B,C).
holdsLrek677(A,B,C) :- holdsK(A,is,entSuC1), @eq(B,hasFeature), holdsK(C,is,featC2), holdsK(entSuC1,hasFeature,featC2).
1.0 holdsK(A,B,C) :- holdsLrek678(A,B,C).
holdsLrek678(A,B,C) :- holdsK(A,is,entSuC1), @eq(B,hasFeature), holdsK(C,is,featC3), holdsK(entSuC1,hasFeature,featC3).
1.0 holdsK(A,B,C) :- holdsLrek679(A,B,C).
holdsLrek679(A,B,C) :- holdsK(A,is,entSuC1), @eq(B,hasFeature), holdsK(C,is,featSuC1), holdsK(entSuC1,hasFeature,featSuC1).
1.0 holdsK(A,B,C) :- holdsLrek680(A,B,C).
holdsLrek680(A,B,C) :- holdsK(A,is,entSuC1), @eq(B,hasFeature), holdsK(C,is,featSuC2), holdsK(entSuC1,hasFeature,featSuC2).
1.0 holdsK(A,B,C) :- holdsLrek681(A,B,C).
holdsLrek681(A,B,C) :- holdsK(A,is,entSuC2), @eq(B,hasFeature), holdsK(C,is,featC1), holdsK(entSuC2,hasFeature,featC1).
1.0 holdsK(A,B,C) :- holdsLrek682(A,B,C).
holdsLrek682(A,B,C) :- holdsK(A,is,entSuC2), @eq(B,hasFeature), holdsK(C,is,featC2), holdsK(entSuC2,hasFeature,featC2).
1.0 holdsK(A,B,C) :- holdsLrek683(A,B,C).
holdsLrek683(A,B,C) :- holdsK(A,is,entSuC2), @eq(B,hasFeature), holdsK(C,is,featC3), holdsK(entSuC2,hasFeature,featC3).
1.0 holdsK(A,B,C) :- holdsLrek684(A,B,C).
holdsLrek684(A,B,C) :- holdsK(A,is,entSuC2), @eq(B,hasFeature), holdsK(C,is,featSuC1), holdsK(entSuC2,hasFeature,featSuC1).
1.0 holdsK(A,B,C) :- holdsLrek685(A,B,C).
holdsLrek685(A,B,C) :- holdsK(A,is,entSuC2), @eq(B,hasFeature), holdsK(C,is,featSuC2), holdsK(entSuC2,hasFeature,featSuC2).

1.0 holdsK(A,B,C) :- holdsLrek686(A,B,C).
holdsLrek686(A,B,C) :- holdsK(A,is,entC1), holdsK(B,is,relC1), holdsK(C,is,entC1), holdsK(entC1,relC1,entC1).
1.0 holdsK(A,B,C) :- holdsLrek687(A,B,C).
holdsLrek687(A,B,C) :- holdsK(A,is,entC1), holdsK(B,is,relC1), holdsK(C,is,entC2), holdsK(entC1,relC1,entC2).
1.0 holdsK(A,B,C) :- holdsLrek688(A,B,C).
holdsLrek688(A,B,C) :- holdsK(A,is,entC1), holdsK(B,is,relC1), holdsK(C,is,entC3), holdsK(entC1,relC1,entC3).
1.0 holdsK(A,B,C) :- holdsLrek689(A,B,C).
holdsLrek689(A,B,C) :- holdsK(A,is,entC1), holdsK(B,is,relC1), holdsK(C,is,entSuC1), holdsK(entC1,relC1,entSuC1).
1.0 holdsK(A,B,C) :- holdsLrek690(A,B,C).
holdsLrek690(A,B,C) :- holdsK(A,is,entC1), holdsK(B,is,relC1), holdsK(C,is,entSuC2), holdsK(entC1,relC1,entSuC2).
1.0 holdsK(A,B,C) :- holdsLrek691(A,B,C).
holdsLrek691(A,B,C) :- holdsK(A,is,entC2), holdsK(B,is,relC1), holdsK(C,is,entC1), holdsK(entC2,relC1,entC1).
1.0 holdsK(A,B,C) :- holdsLrek692(A,B,C).
holdsLrek692(A,B,C) :- holdsK(A,is,entC2), holdsK(B,is,relC1), holdsK(C,is,entC2), holdsK(entC2,relC1,entC2).
1.0 holdsK(A,B,C) :- holdsLrek693(A,B,C).
holdsLrek693(A,B,C) :- holdsK(A,is,entC2), holdsK(B,is,relC1), holdsK(C,is,entC3), holdsK(entC2,relC1,entC3).
1.0 holdsK(A,B,C) :- holdsLrek694(A,B,C).
holdsLrek694(A,B,C) :- holdsK(A,is,entC2), holdsK(B,is,relC1), holdsK(C,is,entSuC1), holdsK(entC2,relC1,entSuC1).
1.0 holdsK(A,B,C) :- holdsLrek695(A,B,C).
holdsLrek695(A,B,C) :- holdsK(A,is,entC2), holdsK(B,is,relC1), holdsK(C,is,entSuC2), holdsK(entC2,relC1,entSuC2).
1.0 holdsK(A,B,C) :- holdsLrek696(A,B,C).
holdsLrek696(A,B,C) :- holdsK(A,is,entC3), holdsK(B,is,relC1), holdsK(C,is,entC1), holdsK(entC3,relC1,entC1).
1.0 holdsK(A,B,C) :- holdsLrek697(A,B,C).
holdsLrek697(A,B,C) :- holdsK(A,is,entC3), holdsK(B,is,relC1), holdsK(C,is,entC2), holdsK(entC3,relC1,entC2).
1.0 holdsK(A,B,C) :- holdsLrek698(A,B,C).
holdsLrek698(A,B,C) :- holdsK(A,is,entC3), holdsK(B,is,relC1), holdsK(C,is,entC3), holdsK(entC3,relC1,entC3).
1.0 holdsK(A,B,C) :- holdsLrek699(A,B,C).
holdsLrek699(A,B,C) :- holdsK(A,is,entC3), holdsK(B,is,relC1), holdsK(C,is,entSuC1), holdsK(entC3,relC1,entSuC1).
1.0 holdsK(A,B,C) :- holdsLrek700(A,B,C).
holdsLrek700(A,B,C) :- holdsK(A,is,entC3), holdsK(B,is,relC1), holdsK(C,is,entSuC2), holdsK(entC3,relC1,entSuC2).
1.0 holdsK(A,B,C) :- holdsLrek701(A,B,C).
holdsLrek701(A,B,C) :- holdsK(A,is,entSuC1), holdsK(B,is,relC1), holdsK(C,is,entC1), holdsK(entSuC1,relC1,entC1).
1.0 holdsK(A,B,C) :- holdsLrek702(A,B,C).
holdsLrek702(A,B,C) :- holdsK(A,is,entSuC1), holdsK(B,is,relC1), holdsK(C,is,entC2), holdsK(entSuC1,relC1,entC2).
1.0 holdsK(A,B,C) :- holdsLrek703(A,B,C).
holdsLrek703(A,B,C) :- holdsK(A,is,entSuC1), holdsK(B,is,relC1), holdsK(C,is,entC3), holdsK(entSuC1,relC1,entC3).
1.0 holdsK(A,B,C) :- holdsLrek704(A,B,C).
holdsLrek704(A,B,C) :- holdsK(A,is,entSuC1), holdsK(B,is,relC1), holdsK(C,is,entSuC1), holdsK(entSuC1,relC1,entSuC1).
1.0 holdsK(A,B,C) :- holdsLrek705(A,B,C).
holdsLrek705(A,B,C) :- holdsK(A,is,entSuC1), holdsK(B,is,relC1), holdsK(C,is,entSuC2), holdsK(entSuC1,relC1,entSuC2).
1.0 holdsK(A,B,C) :- holdsLrek706(A,B,C).
holdsLrek706(A,B,C) :- holdsK(A,is,entSuC2), holdsK(B,is,relC1), holdsK(C,is,entC1), holdsK(entSuC2,relC1,entC1).
1.0 holdsK(A,B,C) :- holdsLrek707(A,B,C).
holdsLrek707(A,B,C) :- holdsK(A,is,entSuC2), holdsK(B,is,relC1), holdsK(C,is,entC2), holdsK(entSuC2,relC1,entC2).
1.0 holdsK(A,B,C) :- holdsLrek708(A,B,C).
holdsLrek708(A,B,C) :- holdsK(A,is,entSuC2), holdsK(B,is,relC1), holdsK(C,is,entC3), holdsK(entSuC2,relC1,entC3).
1.0 holdsK(A,B,C) :- holdsLrek709(A,B,C).
holdsLrek709(A,B,C) :- holdsK(A,is,entSuC2), holdsK(B,is,relC1), holdsK(C,is,entSuC1), holdsK(entSuC2,relC1,entSuC1).
1.0 holdsK(A,B,C) :- holdsLrek710(A,B,C).
holdsLrek710(A,B,C) :- holdsK(A,is,entSuC2), holdsK(B,is,relC1), holdsK(C,is,entSuC2), holdsK(entSuC2,relC1,entSuC2).
1.0 holdsK(A,B,C) :- holdsLrek711(A,B,C).
holdsLrek711(A,B,C) :- holdsK(A,is,entC1), holdsK(B,is,relC2), holdsK(C,is,entC1), holdsK(entC1,relC2,entC1).
1.0 holdsK(A,B,C) :- holdsLrek712(A,B,C).
holdsLrek712(A,B,C) :- holdsK(A,is,entC1), holdsK(B,is,relC2), holdsK(C,is,entC2), holdsK(entC1,relC2,entC2).
1.0 holdsK(A,B,C) :- holdsLrek713(A,B,C).
holdsLrek713(A,B,C) :- holdsK(A,is,entC1), holdsK(B,is,relC2), holdsK(C,is,entC3), holdsK(entC1,relC2,entC3).
1.0 holdsK(A,B,C) :- holdsLrek714(A,B,C).
holdsLrek714(A,B,C) :- holdsK(A,is,entC1), holdsK(B,is,relC2), holdsK(C,is,entSuC1), holdsK(entC1,relC2,entSuC1).
1.0 holdsK(A,B,C) :- holdsLrek715(A,B,C).
holdsLrek715(A,B,C) :- holdsK(A,is,entC1), holdsK(B,is,relC2), holdsK(C,is,entSuC2), holdsK(entC1,relC2,entSuC2).
1.0 holdsK(A,B,C) :- holdsLrek716(A,B,C).
holdsLrek716(A,B,C) :- holdsK(A,is,entC2), holdsK(B,is,relC2), holdsK(C,is,entC1), holdsK(entC2,relC2,entC1).
1.0 holdsK(A,B,C) :- holdsLrek717(A,B,C).
holdsLrek717(A,B,C) :- holdsK(A,is,entC2), holdsK(B,is,relC2), holdsK(C,is,entC2), holdsK(entC2,relC2,entC2).
1.0 holdsK(A,B,C) :- holdsLrek718(A,B,C).
holdsLrek718(A,B,C) :- holdsK(A,is,entC2), holdsK(B,is,relC2), holdsK(C,is,entC3), holdsK(entC2,relC2,entC3).
1.0 holdsK(A,B,C) :- holdsLrek719(A,B,C).
holdsLrek719(A,B,C) :- holdsK(A,is,entC2), holdsK(B,is,relC2), holdsK(C,is,entSuC1), holdsK(entC2,relC2,entSuC1).
1.0 holdsK(A,B,C) :- holdsLrek720(A,B,C).
holdsLrek720(A,B,C) :- holdsK(A,is,entC2), holdsK(B,is,relC2), holdsK(C,is,entSuC2), holdsK(entC2,relC2,entSuC2).
1.0 holdsK(A,B,C) :- holdsLrek721(A,B,C).
holdsLrek721(A,B,C) :- holdsK(A,is,entC3), holdsK(B,is,relC2), holdsK(C,is,entC1), holdsK(entC3,relC2,entC1).
1.0 holdsK(A,B,C) :- holdsLrek722(A,B,C).
holdsLrek722(A,B,C) :- holdsK(A,is,entC3), holdsK(B,is,relC2), holdsK(C,is,entC2), holdsK(entC3,relC2,entC2).
1.0 holdsK(A,B,C) :- holdsLrek723(A,B,C).
holdsLrek723(A,B,C) :- holdsK(A,is,entC3), holdsK(B,is,relC2), holdsK(C,is,entC3), holdsK(entC3,relC2,entC3).
1.0 holdsK(A,B,C) :- holdsLrek724(A,B,C).
holdsLrek724(A,B,C) :- holdsK(A,is,entC3), holdsK(B,is,relC2), holdsK(C,is,entSuC1), holdsK(entC3,relC2,entSuC1).
1.0 holdsK(A,B,C) :- holdsLrek725(A,B,C).
holdsLrek725(A,B,C) :- holdsK(A,is,entC3), holdsK(B,is,relC2), holdsK(C,is,entSuC2), holdsK(entC3,relC2,entSuC2).
1.0 holdsK(A,B,C) :- holdsLrek726(A,B,C).
holdsLrek726(A,B,C) :- holdsK(A,is,entSuC1), holdsK(B,is,relC2), holdsK(C,is,entC1), holdsK(entSuC1,relC2,entC1).
1.0 holdsK(A,B,C) :- holdsLrek727(A,B,C).
holdsLrek727(A,B,C) :- holdsK(A,is,entSuC1), holdsK(B,is,relC2), holdsK(C,is,entC2), holdsK(entSuC1,relC2,entC2).
1.0 holdsK(A,B,C) :- holdsLrek728(A,B,C).
holdsLrek728(A,B,C) :- holdsK(A,is,entSuC1), holdsK(B,is,relC2), holdsK(C,is,entC3), holdsK(entSuC1,relC2,entC3).
1.0 holdsK(A,B,C) :- holdsLrek729(A,B,C).
holdsLrek729(A,B,C) :- holdsK(A,is,entSuC1), holdsK(B,is,relC2), holdsK(C,is,entSuC1), holdsK(entSuC1,relC2,entSuC1).
1.0 holdsK(A,B,C) :- holdsLrek730(A,B,C).
holdsLrek730(A,B,C) :- holdsK(A,is,entSuC1), holdsK(B,is,relC2), holdsK(C,is,entSuC2), holdsK(entSuC1,relC2,entSuC2).
1.0 holdsK(A,B,C) :- holdsLrek731(A,B,C).
holdsLrek731(A,B,C) :- holdsK(A,is,entSuC2), holdsK(B,is,relC2), holdsK(C,is,entC1), holdsK(entSuC2,relC2,entC1).
1.0 holdsK(A,B,C) :- holdsLrek732(A,B,C).
holdsLrek732(A,B,C) :- holdsK(A,is,entSuC2), holdsK(B,is,relC2), holdsK(C,is,entC2), holdsK(entSuC2,relC2,entC2).
1.0 holdsK(A,B,C) :- holdsLrek733(A,B,C).
holdsLrek733(A,B,C) :- holdsK(A,is,entSuC2), holdsK(B,is,relC2), holdsK(C,is,entC3), holdsK(entSuC2,relC2,entC3).
1.0 holdsK(A,B,C) :- holdsLrek734(A,B,C).
holdsLrek734(A,B,C) :- holdsK(A,is,entSuC2), holdsK(B,is,relC2), holdsK(C,is,entSuC1), holdsK(entSuC2,relC2,entSuC1).
1.0 holdsK(A,B,C) :- holdsLrek735(A,B,C).
holdsLrek735(A,B,C) :- holdsK(A,is,entSuC2), holdsK(B,is,relC2), holdsK(C,is,entSuC2), holdsK(entSuC2,relC2,entSuC2).
1.0 holdsK(A,B,C) :- holdsLrek736(A,B,C).
holdsLrek736(A,B,C) :- holdsK(A,is,entC1), holdsK(B,is,relSuC1), holdsK(C,is,entC1), holdsK(entC1,relSuC1,entC1).
1.0 holdsK(A,B,C) :- holdsLrek737(A,B,C).
holdsLrek737(A,B,C) :- holdsK(A,is,entC1), holdsK(B,is,relSuC1), holdsK(C,is,entC2), holdsK(entC1,relSuC1,entC2).
1.0 holdsK(A,B,C) :- holdsLrek738(A,B,C).
holdsLrek738(A,B,C) :- holdsK(A,is,entC1), holdsK(B,is,relSuC1), holdsK(C,is,entC3), holdsK(entC1,relSuC1,entC3).
1.0 holdsK(A,B,C) :- holdsLrek739(A,B,C).
holdsLrek739(A,B,C) :- holdsK(A,is,entC1), holdsK(B,is,relSuC1), holdsK(C,is,entSuC1), holdsK(entC1,relSuC1,entSuC1).
1.0 holdsK(A,B,C) :- holdsLrek740(A,B,C).
holdsLrek740(A,B,C) :- holdsK(A,is,entC1), holdsK(B,is,relSuC1), holdsK(C,is,entSuC2), holdsK(entC1,relSuC1,entSuC2).
1.0 holdsK(A,B,C) :- holdsLrek741(A,B,C).
holdsLrek741(A,B,C) :- holdsK(A,is,entC2), holdsK(B,is,relSuC1), holdsK(C,is,entC1), holdsK(entC2,relSuC1,entC1).
1.0 holdsK(A,B,C) :- holdsLrek742(A,B,C).
holdsLrek742(A,B,C) :- holdsK(A,is,entC2), holdsK(B,is,relSuC1), holdsK(C,is,entC2), holdsK(entC2,relSuC1,entC2).
1.0 holdsK(A,B,C) :- holdsLrek743(A,B,C).
holdsLrek743(A,B,C) :- holdsK(A,is,entC2), holdsK(B,is,relSuC1), holdsK(C,is,entC3), holdsK(entC2,relSuC1,entC3).
1.0 holdsK(A,B,C) :- holdsLrek744(A,B,C).
holdsLrek744(A,B,C) :- holdsK(A,is,entC2), holdsK(B,is,relSuC1), holdsK(C,is,entSuC1), holdsK(entC2,relSuC1,entSuC1).
1.0 holdsK(A,B,C) :- holdsLrek745(A,B,C).
holdsLrek745(A,B,C) :- holdsK(A,is,entC2), holdsK(B,is,relSuC1), holdsK(C,is,entSuC2), holdsK(entC2,relSuC1,entSuC2).
1.0 holdsK(A,B,C) :- holdsLrek746(A,B,C).
holdsLrek746(A,B,C) :- holdsK(A,is,entC3), holdsK(B,is,relSuC1), holdsK(C,is,entC1), holdsK(entC3,relSuC1,entC1).
1.0 holdsK(A,B,C) :- holdsLrek747(A,B,C).
holdsLrek747(A,B,C) :- holdsK(A,is,entC3), holdsK(B,is,relSuC1), holdsK(C,is,entC2), holdsK(entC3,relSuC1,entC2).
1.0 holdsK(A,B,C) :- holdsLrek748(A,B,C).
holdsLrek748(A,B,C) :- holdsK(A,is,entC3), holdsK(B,is,relSuC1), holdsK(C,is,entC3), holdsK(entC3,relSuC1,entC3).
1.0 holdsK(A,B,C) :- holdsLrek749(A,B,C).
holdsLrek749(A,B,C) :- holdsK(A,is,entC3), holdsK(B,is,relSuC1), holdsK(C,is,entSuC1), holdsK(entC3,relSuC1,entSuC1).
1.0 holdsK(A,B,C) :- holdsLrek750(A,B,C).
holdsLrek750(A,B,C) :- holdsK(A,is,entC3), holdsK(B,is,relSuC1), holdsK(C,is,entSuC2), holdsK(entC3,relSuC1,entSuC2).
1.0 holdsK(A,B,C) :- holdsLrek751(A,B,C).
holdsLrek751(A,B,C) :- holdsK(A,is,entSuC1), holdsK(B,is,relSuC1), holdsK(C,is,entC1), holdsK(entSuC1,relSuC1,entC1).
1.0 holdsK(A,B,C) :- holdsLrek752(A,B,C).
holdsLrek752(A,B,C) :- holdsK(A,is,entSuC1), holdsK(B,is,relSuC1), holdsK(C,is,entC2), holdsK(entSuC1,relSuC1,entC2).
1.0 holdsK(A,B,C) :- holdsLrek753(A,B,C).
holdsLrek753(A,B,C) :- holdsK(A,is,entSuC1), holdsK(B,is,relSuC1), holdsK(C,is,entC3), holdsK(entSuC1,relSuC1,entC3).
1.0 holdsK(A,B,C) :- holdsLrek754(A,B,C).
holdsLrek754(A,B,C) :- holdsK(A,is,entSuC1), holdsK(B,is,relSuC1), holdsK(C,is,entSuC1), holdsK(entSuC1,relSuC1,entSuC1).
1.0 holdsK(A,B,C) :- holdsLrek755(A,B,C).
holdsLrek755(A,B,C) :- holdsK(A,is,entSuC1), holdsK(B,is,relSuC1), holdsK(C,is,entSuC2), holdsK(entSuC1,relSuC1,entSuC2).
1.0 holdsK(A,B,C) :- holdsLrek756(A,B,C).
holdsLrek756(A,B,C) :- holdsK(A,is,entSuC2), holdsK(B,is,relSuC1), holdsK(C,is,entC1), holdsK(entSuC2,relSuC1,entC1).
1.0 holdsK(A,B,C) :- holdsLrek757(A,B,C).
holdsLrek757(A,B,C) :- holdsK(A,is,entSuC2), holdsK(B,is,relSuC1), holdsK(C,is,entC2), holdsK(entSuC2,relSuC1,entC2).
1.0 holdsK(A,B,C) :- holdsLrek758(A,B,C).
holdsLrek758(A,B,C) :- holdsK(A,is,entSuC2), holdsK(B,is,relSuC1), holdsK(C,is,entC3), holdsK(entSuC2,relSuC1,entC3).
1.0 holdsK(A,B,C) :- holdsLrek759(A,B,C).
holdsLrek759(A,B,C) :- holdsK(A,is,entSuC2), holdsK(B,is,relSuC1), holdsK(C,is,entSuC1), holdsK(entSuC2,relSuC1,entSuC1).
1.0 holdsK(A,B,C) :- holdsLrek760(A,B,C).
holdsLrek760(A,B,C) :- holdsK(A,is,entSuC2), holdsK(B,is,relSuC1), holdsK(C,is,entSuC2), holdsK(entSuC2,relSuC1,entSuC2).

1.0 holdsK(A,B,C) :- holdsLrek2(A,B,C).
holdsLrek2(A,B,C) :- holdsK(A,is,D), @eq(B,is), holdsK(D,is,C).