DOCUMENT START
NON-TERMINALS
// --- Entry point
	parse	:=	( ( Directive | Triples1 ) <DOT> )* <EOF>
	Directive	:=	<PREFIX> <QNAME_NS> Q_IRI_REF
// N3

// ---- TRIPLES

// -------- Triple lists with property and object lists

// void Triples() : { } 
// {
// //   Triples1()
// //   (<DOT> (Triples())?)?
// }
	Triples1	:=	VarOrTerm PropertyListNotEmpty
		|	TriplesNode PropertyList
	PropertyList	:=	( PropertyListNotEmpty )?
	PropertyListNotEmpty	:=	Verb ObjectList ( <SEMICOLON> ( Verb ObjectList )? )*
// At least one thing.
	ObjectList	:=	Object ( <COMMA> Object )*
	Object	:=	GraphNode
	Verb	:=	( IRIref | <KW_A> )
// -------- Triple expansions

// Anything that can stand in a node slot and which is
// a number of triples
	TriplesNode	:=	Collection
		|	BlankNodePropertyList
	BlankNodePropertyList	:=	<LBRACKET> PropertyListNotEmpty <RBRACKET>
// ------- RDF collections
	Collection	:=	<LPAREN> ( GraphNode )+ <RPAREN>
// -------- Nodes in a graph pattern or template
	GraphNode	:=	VarOrTerm
		|	TriplesNode
	VarOrTerm	:=	( Var | GraphTerm )
// // Property (if no bNodes) + DESCRIBE
// Node VarOrIRIref() : {Node n = null ; }
// {
//   ( n = Var() | n = IRIref() )
//   { return n ; }
// }

// // GRAPH and property if including blank nodes are properties.
// Node VarOrBlankNodeOrIRIref() : {Node n = null ; }
// {
//   ( n = Var() | n = BlankNode() | n = IRIref() )
//   { return n ; }
// }
	Var	:=	( <VAR1> | <VAR2> )
	GraphTerm	:=	IRIref
		|	RDFLiteral
		|	( <MINUS> | <PLUS> )? NumericLiteral
		|	BooleanLiteral
		|	BlankNode
		|	<NIL>
// ---- Basic terms
	NumericLiteral	:=	<INTEGER>
		|	<DECIMAL>
		|	<DOUBLE>
	RDFLiteral	:=	String ( Langtag | ( <DATATYPE> IRIref ) )?
	Langtag	:=	( <LANGTAG> | <PREFIX> )
	BooleanLiteral	:=	<TRUE>
		|	<FALSE>
	String	:=	( <STRING_LITERAL1> | <STRING_LITERAL2> | <STRING_LITERAL_LONG1> | <STRING_LITERAL_LONG2> )
	IRIref	:=	Q_IRI_REF
		|	QName
	QName	:=	( <QNAME> | <QNAME_NS> )
	BlankNode	:=	<BLANK_NODE_LABEL>
		|	<ANON>
	Q_IRI_REF	:=	<Q_IRIref>

DOCUMENT END