woman(mia).
woman(jody).
woman(yolanda).
playsAirGuitar(jody).
party.

%% ?- woman(mia).
%% true.

%% ?- playsAirGuitar(jody).
%% true.

%% ?- playsAirGuitar(mia).
%% false

%% ?- tattooed(jody).
%% ERROR: Undefined procedure: tattooed/1 (DWIM could not correct goal)

%% party.
%% true.

%% rockConcert.
%% ERROR: Undefined procedure: rockConcert/0 (DWIM could not correct goal)
