IG Parser
A Parser for Institutional Statements encoded in the
IG Script Notation
of the
Institutional Grammar 2.0
Original Statement:
When an inspection of an accredited certifying agent by the Program Manager reveals any noncompliance with the Act or regulations in this part, a written notification of noncompliance shall be sent to the certifying agent.
Validate 'Original Statement' input (checks for imbalanced parentheses) and copy validated content into 'Encoded Statement' field
Encoded Statement: (?)
Undo
Redo
Nesting
Semantic Annotation
Mouse Selection Mode
Show Symbols
Free-text mode
Show Keybindings
Cac{When A([Program Manager]) I(reveals) Bdir,p[proptype=quan](any) Bdir(noncompliance) Cex(with the (Act [OR] regulations in this part)) Cac{When A([Program Manager]) I(inspects) an Bdir,p[proptype=qual](accredited) Bdir(certifying agent)}} A(Program Manager) D(shall) I(send) Bdir,p(written) Bdir[proptype=structure](notification) Bdir,p(of noncompliance) to the Bind(certifying agent).
Regulative:
Attribute
A. Property
Aim
Deontic
Direct Object
D.O. Property
Indirect Object
I.O. Property
Constitutive:
Constituted Entity
C.E. Property
Constitutive Function
Modal
Constituting Properties
C.P. Properties
Other:
Or Else
Logical Operator
Activation Condition
Execution Constraint
IG Script Symbol
Corresponding IG 2.0 Component
A
Attributes
A,p
Attributes Property*
D
Deontic
I
Aim
Bdir
Direct Object*
Bdir,p
Direct Object Property*
Bind
Indirect Object*
Bind,p
Indirect Object Property*
Cac
Activation Condition*
Cex
Execution Constraint*
E
Constituted Entity
E,p
Constituted Entity Property
M
Modal
F
Constitutive Function
P
Constituting Properties*
P,p
Constituting Properties Properties*
O
Or Else**
* In addition to component annotation, these components support component-level nesting,
with braces scoping the nested statements (e.g.,
Bdir{ ... }
,
Bdir,p{ ... }
, etc.).
** The Or else component only allows component-level nesting (i.e., substitution by an entire statement).
Close
The following table shows the keys associated with particular IG 2.0 component symbols if 'Keybinding mode' is activated.
Keybindings are deactivated in 'Free-text mode' (i.e., manual annotation mode).
Keybinding
IG 2.0 Component
a
Attributes
Shift-a
Attributes Property
d
Deontic
i
Aim
b
Direct Object
Shift-b
Direct Object Property
n
Indirect Object
Shift-n
Indirect Object Property
c
Activation Condition
v
Execution Constraint
e
Constituted Entity
shift-e
Constituted Entity Property
m
Modal
f
Constitutive Function
p
Constituting Properties
Shift-p
Constituting Properties Properties
o
Or Else
l
Logical Operator*
* If the selection is not a logical operator, the text will nevertheless be capitalized and held in square brackets.
Other keybindings include standard copying and pasting in the editor and undo ('q') and redo ('w').
Close
Cac{When A([Program Manager]) I(reveals) Bdir,p[proptype=quan](any) Bdir(noncompliance) Cex(with the (Act [OR] regulations in this part)) Cac{When A([Program Manager]) I(inspects) an Bdir,p[proptype=qual](accredited) Bdir(certifying agent)}} A(Program Manager) D(shall) I(send) Bdir,p(written) Bdir[proptype=structure](notification) Bdir,p(of noncompliance) to the Bind(certifying agent).
Reset to default statement example
Example Statement 2 (moderately complex)
Example Statement 3 (complex)
Switch to tabular version of IG Parser
Toggle advanced editor features
Parameters:
Include IG Logico annotations in output (default: off)
Include Degree of Variability (accumulated toward root node) in output (default: off)
Embed component properties in tree structure (as opposed to capturing those in labels associated with component) (default: on)
Print binary logical tree structure (decompose all logical linkages for given components in binary form) (default: off)
Print activation conditions node (if present) as first node in output (default: off)
Height of output canvas (in pixels):
Width of output canvas (in pixels):
Reset canvas dimensions
Generate visual output
Version: 0.7