store(X) :- update(X), assert(X).

%update(X) :- class(X,C).

%class(X,C) :- option(class,N0), functor(X,F,A), (N0 < 0 -> N1 = F + N +1; N1=N).