
:- dynamic axiom/1.
:- dynamic have_been_given/1.
:- dynamic set_of_support/2.
:- dynamic demodulator/1.

axiom(~p(a) or q(a)).
axiom(~q(x) or r(x)).
axiom(~q(x) or p(x)).
axiom(~r(a)).

set_of_support(0, p(a)).
