/*n3implies(1, id(user, user32, user33), _G412):-
	rdf(_G413, 'document#parent', _G415, user), 
	\+ test_anon(_G415, _G412),
	logimplies, 
	rdf_gen_id('anon_', New_anon_1),
	rdf_assert(_G415, 'document#child', New_anon_1, _G412), 
	rdf_assert(New_anon_1, 'document#parent', _G415, _G412).*/

test_anon(G415, C):-
	rdf(G415, 'document#child', Anon_4, C),
	rdf(Anon_4, 'document#parent', G415, C),
	catch(atom_prefix(Anon_4, anon_),_, fail).

n3implies(1, id(user, user32, user33), _G412):-
	rdf(_G413, 'document#parent', _G415, user), 
	\+ ((rdf(_G415, 'document#child', Anon_4, _G412),
	 rdf(Anon_4, 'document#parent', _G415, _G412),
	 catch(atom_prefix(Anon_4, anon_),_, true))),
	logimplies, 
	rdf_gen_id('anon_', New_anon_1),
	rdf_assert(_G415, 'document#child', New_anon_1, _G412), 
	rdf_assert(New_anon_1, 'document#parent', _G415, _G412).

n3implies(2, id(user, user36, user37), _G438):- 
	rdf(_G413, 'document#parent', _G415, user), 
	rdf(_G415, 'document#parent', Z, user),
	\+ rdf(Anon_6, 'http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 'document#gParent', _G438), 
	\+ rdf(Anon_8, 'http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 'document#gChild', _G438),
	catch(\+ atom_prefix(Anon_6, anon_),_, true), 
	catch(\+ atom_prefix(Anon_8, anon_),_, true),
	logimplies,
	rdf_gen_id('anon_', New_anon_1),
	rdf_gen_id('anon_', New_anon_2),
	rdf_assert(New_anon_1, 'http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 'document#gParent', _G438),
	rdf_assert(New_anon_2, 'http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 'document#gChild', _G438).