human socrates		% facts about who is human
human aristotle
human plato
god zeus		% and who is a god
god apollo
mortal X : human X	% a logical assertion that X is mortal if X is