engineer(tom).
engineer(sally).

profession(engineer).
profession(programmer).

tweeter(tom).
tweeter(sally).


isextensional :- profession(tweeter).