n3implies(1, id(user, user37, user38), _G301) :-
	 rdf(_G413, 'document#emailAdr', _G415, user), 
	 %rdf(_G415, 'http://www.w3.org/2000/10/swap/log#uri', _G420, user), 
	 %rdf(_G420, 'http://www.w3.org/2000/10/swap/string#startsWith', literal('mailto:'), user),
	 built_in(_G415, 'http://www.w3.org/2000/10/swap/log#uri', _G420, user),
	 built_in(_G420, 'http://www.w3.org/2000/10/swap/string#startsWith', literal('mailto:'), user), 
	 \+rdf(_G415, 'http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 'document#mailbox', _G301), 
	 logimplies, 
	 rdf_assert(_G415, 'http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 'document#mailbox', _G301).