:- use_module('../prolog/sphere.pl').

:- sphere.

:- begin_phkb.

subClassOf(c,d).
subClassOf(intersectionOf([c,e]),p).
classAssertion(c,b).
annotationAssertion('https://ai.unife.it/disponte#probability',subClassOf(intersectionOf([c,e]),p),literal('0.2')).


p(X):- o(X),\+d(X).
%e(X):-o(X).
d(X):0.7;e(X):0.3:-o(X).
o(a).
o(b).
p(b):-e(a).


:- end_phkb.