% this was Joe was asserted to specifically not to be a tFemale.
% However the gender of Fred is still unknown

*/

:- if(false).

% @TODO Move this to a different set of exmaples
% this gets hairy to the instances can belong to several intensional types, extensional collections and datatypes.
:- ensure_loaded(library('logicmoo/pfc/user_transitiveViaArg.pfc')).
% both arguments must have at least some type attributes in common
meta_argtypes(loves(X,X)). %