ざっとしか見てないけど。
てかズレたこと言うかもしれないけど。
K1の事象は根元事象で、K2の事象は集合としての事象だったりするわけ？
>>110のL1だったらどう考えても1/2になるけど、K1とK2の「事象」が同義でない可能性がある限り、1/2と言い切れなくなってくる。