DOCUMENT START
NON-TERMINALS
	CompilationUnit	:=	Query <EOF>
	Query	:=	Prolog ( SelectClause | ConstructClause | DescribeClause | AskClause ) ( WhereClause )? ( LimitClause )?
	Prolog	:=	( BaseDecl )? ( PrefixDecl )*
	BaseDecl	:=	<SPARQLParserBase> QuotedURIref
	PrefixDecl	:=	( <PREFIX> <QNAME_NS> QuotedURIref | <PREFIX> <COLON> QuotedURIref )
// ---- Query type clauses
	SelectClause	:=	( <SELECT> ( <DISTINCT> )? ( Var )+ | <SELECT> ( <DISTINCT> )? <STAR> )
	DescribeClause	:=	( <DESCRIBE> ( VarOrURI )+ | <DESCRIBE> <STAR> )
	ConstructClause	:=	<CONSTRUCT> ConstructTemplate
	AskClause	:=	<ASK>
	WhereClause	:=	( <WHERE> )? GraphPattern
	LimitClause	:=	<LIMIT> <INTEGER_10>
// ---- General Graph Pattern 
// Basic building block.
	GraphPattern	:=	<LBRACE> PatternElement ( <DOT> PatternElement )* ( <DOT> )? <RBRACE>
// ---- All the elements that can make up a pattern
	PatternElement	:=	( Triples | OptionalGraphPattern | UnionGraphPattern | GraphPattern | GraphGraphPattern | Constraint )
// ---- Definitions of each pattern element
	OptionalGraphPattern	:=	<OPTIONAL> GraphPattern
	GraphGraphPattern	:=	( <GRAPH> <STAR> GraphPattern | <GRAPH> VarOrURI GraphPattern )
	UnionGraphPattern	:=	GraphPattern ( <UNION> GraphPattern )*
	Constraint	:=	<FILTER> Expression
// -------- Construct patterns
	ConstructTemplate	:=	<LBRACE> Triples ( <DOT> Triples )* ( <DOT> )? <RBRACE>
// -------- Triple lists with property and object lists

// The grammar construct between the DOTs
	Triples	:=	VarOrTerm PropertyList
		|	TriplesNode ( PropertyList )?
	PropertyList	:=	( VarOrURI | <KW_A> ) ObjectList ( <SEMICOLON> PropertyList )*
		|	Reification
	ObjectList	:=	( VarOrTerm | TriplesNode ) ( <COMMA> ObjectList )*
// -------- Triple expansions

// Anything that can stand in a node slot and which is
// a number of triples
	TriplesNode	:=	Collection
		|	BlankNodePropertyList
		|	Reification
	BlankNodePropertyList	:=	<LBRACKET> PropertyList <RBRACKET>
	Reification	:=	"<<" GraphNode GraphNode GraphNode ">>"
// ------- RDF collections
	Collection	:=	<LPAREN> CollectionTail
	CollectionTail	:=	( GraphNode CollectionTail | <RPAREN> )
// -------- Nodes in a graph pattern or template
	GraphNode	:=	VarOrTerm
		|	TriplesNode
	VarOrTerm	:=	( Var | GraphTerm )
// Property + DESCRIBE
	VarOrURI	:=	( Var | URI )
	Var	:=	<VAR>
	GraphTerm	:=	RDFTerm
		|	<LPAREN> <RPAREN>
// Constraint syntax follows.

// **** Debug point
	Expression	:=	ConditionalOrExpression
	ConditionalOrExpression	:=	ConditionalXorExpression ( <SC_OR> ConditionalXorExpression )*
	ConditionalXorExpression	:=	ConditionalAndExpression
	ConditionalAndExpression	:=	ValueLogical ( <SC_AND> ValueLogical )*
// End of boolean expressions
	ValueLogical	:=	RelationalExpression
	RelationalExpression	:=	NumericExpression ( <EQ> NumericExpression | <NE> NumericExpression | <LT> NumericExpression | <GT> NumericExpression | <LE> NumericExpression | <GE> NumericExpression )?
// **** Debug point
	NumericExpression	:=	AdditiveExpression
	AdditiveExpression	:=	MultiplicativeExpression ( <PLUS> MultiplicativeExpression | <MINUS> MultiplicativeExpression )*
	MultiplicativeExpression	:=	UnaryExpression ( <STAR> UnaryExpression | <SLASH> UnaryExpression )*
	UnaryExpression	:=	( <TILDE> | <BANG> ) CallExpression
		|	<PLUS> CallExpression
		|	<MINUS> CallExpression
		|	CallExpression
	CallExpression	:=	<STR> <LPAREN> Expression <RPAREN>
		|	<LANG> <LPAREN> Expression <RPAREN>
		|	<DTYPE> <LPAREN> Expression <RPAREN>
		|	<REGEX> <LPAREN> Expression <COMMA> String ( <COMMA> String )? <RPAREN>
		|	<BOUND> <LPAREN> Var <RPAREN>
		|	<IS_URI> <LPAREN> Expression <RPAREN>
		|	<IS_BNODE> <LPAREN> Expression <RPAREN>
		|	<IS_LITERAL> <LPAREN> Expression <RPAREN>
		|	FunctionCall
		|	PrimaryExpression
	PrimaryExpression	:=	( Var | RDFTerm | <LPAREN> Expression <RPAREN> )
	FunctionCall	:=	URI <LPAREN> ArgList <RPAREN>
	ArgList	:=	( Expression ( <COMMA> Expression )* )?
// Term as used in expressions 
	RDFTerm	:=	URI
		|	RDFLiteral
		|	NumericLiteral
		|	BooleanLiteral
		|	BlankNode
	NumericLiteral	:=	Integer
		|	FloatingPoint
	RDFLiteral	:=	String ( <LANGTAG> )? ( <DATATYPE> URI )?
	BooleanLiteral	:=	<TRUE>
		|	<FALSE>
	String	:=	( <STRING_LITERAL1> | <STRING_LITERAL2> )
	URI	:=	QuotedURIref
		|	QName
	QName	:=	( <QNAME> | <QNAME_NS> )
	BlankNode	:=	<BNODE_LABEL>
		|	<LBRACKET> <RBRACKET>
	QuotedURIref	:=	<Q_URIref>
	Integer	:=	<INTEGER_10>
	FloatingPoint	:=	<FLOATING_POINT>

DOCUMENT END