n3implies(1, id(user, user6722587, user6722590), _G1072) :- 
	(rdf(_G811, 'http://www.redmonk.net/rdf/lyric/elements/0.1/linetext', _G835, user), 
	 rdf(_G859, _G847, _G811, user), 
	 rdf(_G871, 'http://www.redmonk.net/rdf/lyric/elements/0.1/structure', _G859, user), 
	 rdf(_G883, 'http://www.redmonk.net/rdf/lyric/elements/0.1/structure', _G895, user), 
	 rdf(_G883, 'http://www.w3.org/1999/02/22-rdf-syntax-ns#type', 'http://www.redmonk.net/rdf/lyric/elements/0.1/lyrics', user), 
	 rdf(_G895, _G823, _G871, user)),
	 rdf_gen_id(Id), 
	\+ (rdf(Id, 'http://util#anonLine', _G811, _G1072), 
	    rdf(Id, 'http://util#has', _G823, _G1072), 
	    rdf(Id, 'http://util#lineText', _G835, _G1072), 
	    rdf(Id, 'http://util#otherProp', _G847, _G1072), 
	    rdf(Id, 'http://util#partStruct', _G859, _G1072), 
	    rdf(Id, 'http://util#prop', _G871, _G1072), 
	    rdf(Id, 'http://util#trk', _G883, _G1072), 
	    rdf(Id, 'http://util#trkStruct', _G895, _G1072)), 
	logimplies, 
	rdf_assert(Id, 'http://util#anonLine', _G811, _G1072), 
	rdf_assert(Id, 'http://util#has', _G823, _G1072), 
	rdf_assert(Id, 'http://util#lineText', _G835, _G1072), 
	rdf_assert(Id, 'http://util#otherProp', _G847, _G1072), 
	rdf_assert(Id, 'http://util#partStruct', _G859, _G1072), 
	rdf_assert(Id, 'http://util#prop', _G871, _G1072), 
	rdf_assert(Id, 'http://util#trk', _G883, _G1072), 
	rdf_assert(Id, 'http://util#trkStruct', _G895, _G1072).