if ( ! lookingAt(IRI) )
exception(token, "@base requires an IRI (found '"+token+"')") ;
String baseStr = token.getImage() ;
dest.base(baseStr) ;
IRI baseIRI = profile.makeIRI(baseStr, currLine, currCol) ;
nextToken() ;
profile.getPrologue().setBaseURI(baseIRI) ;
}