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

:- sphere.

:- begin_phkb.

subClassOf(a,b).
classAssertion(a,i1).

a(X):-o(X).
o(i1).

:- end_phkb.