rdfn3.g

document

( directive
| statement _scp ) * END

directive

"@prefix" PREFIX URIREF "\\."

statement _scp

clause _scp "\\."

clause _scp

( phrase _scp [ popair _{scp, phrase} ( ";" popair _{scp, phrase} ) * ] )
| ( term _scp popair _{scp, term} ( ";" popair _{scp, term} ) * )

term _scp

( expr _scp )
| ( name _scp )

popair _{scp, subj}

pred _scp objects _{scp, subj, pred}

pred _scp

( expr _scp )
| ( "is" expr _scp "of" )

objects _{scp, subj, pred}

term _scp ( "," term _scp ) *

name _scp

( "this" )
| ( STRLITB )
| ( STRLITA )
| ( formula )

expr _scp

( URIREF )
| ( QNAME )
| ( EXIVAR )
| ( UNIVAR )
| ( "a" )
| ( "=" )
| ( list _scp )
| ( phrase _scp )

list _scp

"\\(" ( term _scp ) * "\\)"

phrase _scp

"\\[" [ popair _{scp, subj} ( ";" popair _{scp, subj} ) * ] "\\]"

formula

"{" clause _scp ( "\\." clause _scp ) * [ "\\." ] "}"