# $Id: authen.lemma.n3,v 1.3 2001/10/15 22:40:11 amdus Exp $ @prefix log: . @prefix : . _:who :authenticated .