Non-terminal symbol `IriMeta_opt`

Defining rules for nonterminal symbol IriMeta_opt:

`IriMeta_opt`
		`IriMeta`

Occurrences of symbol IriMeta_opt in body of other rules:

`Document`		`IriMeta_opt` `DOCUMENT` `OPENPAR` `Base_opt` `Prefix_star` `DocumentBody` `CLOSEPAR`
`Import`		`IriMeta_opt` `IMPORT` `OPENPAR` `IriConst` `Profile_opt` `CLOSEPAR`
`Group`		`IriMeta_opt` `GROUP` `OPENPAR` `RuleOrGroup_star` `CLOSEPAR`
`QuantifiedClause`		`IriMeta_opt` `FORALL` `Var_plus` `OPENPAR` `Clause` `CLOSEPAR`
`Implies`		`IriMeta_opt` `Consequent` `IF` `Antecedent`
`Formula`		`IriMeta_opt` `RawFormula`
`Term`		`IriMeta_opt` `RawTerm`

Non-terminal symbol IriMeta_opt