Terminal symbol
CLOSEPAR
Occurrences of symbol
CLOSEPAR
in grammar rules:
Document
IriMeta_opt
DOCUMENT
OPENPAR
Base_opt
Prefix_star
DocumentBody
CLOSEPAR
Base
BASE
OPENPAR
Iri
CLOSEPAR
Prefix
PREFIX
OPENPAR
Name
Iri
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
Consequent
AND
OPENPAR
AtomicFormula_star
CLOSEPAR
IriMetaBody
AND
OPENPAR
Frame_star
CLOSEPAR
RawFormula
AND
OPENPAR
Formula_star
CLOSEPAR
RawFormula
OR
OPENPAR
Formula_star
CLOSEPAR
RawFormula
EXISTS
Var_plus
OPENPAR
Formula
CLOSEPAR
RawFormula
EXTERNAL
OPENPAR
AtomOrFrame
CLOSEPAR
UniTerm
Const
OPENPAR
UniTermBody
CLOSEPAR
RawTerm
EXTERNAL
OPENPAR
Expr
CLOSEPAR
Copyright © 2008
ILOG, Inc.
; All Rights Reserved.