IG Parser
A Parser for Institutional Statements encoded in the
IG Script Notation
of the
Institutional Grammar 2.0
Original Statement:
When an inspection, review, or investigation of an accredited certifying agent by the Program Manager reveals any non-compliance with the Actor regulations in this part, a written notification of non-compliance 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
Text mode
Nesting
Semantic Annotation
Selection Mode
Symbols
Keybinds
Cac{When A(Program Manager) I(reveals) Bdir{A,p(accredited) A(certifying agent) I([is not in compliance]) with the Bdir((Act [OR] regulations in this part))} Cac{When A(Program Manager) I((([inspects] [OR] [reviews]) [OR] [investigates])) Bind,p(accredited) Bind(certifying agent)}} A([Program Manager]) D(shall) I([send]) Bdir(notification) Bdir,p(of non-compliance) to the Bind,p(accredited) 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
Keybinding
IG 2.0 Component
q
Attributes
shift-q
Attributes Property
w
Deontic
e
Aim
r
Direct Object
Shift-r
Direct Object Property
t
Indirect Object
Shift-t
Indirect Object Property
a
Activation Condition
s
Execution Constraint
d
Constituted Entity
shift-D
Constituted Entity Property
f
Modal
3
Constitutive Function
4
Constituting Properties
Shift-4
Constituting Properties Properties
1
Or Else
2
Logical Operator*
* If the selection is not a logical operator it will be marked as a semantic annotation instead.
Other Keybindings are also supported. Such as copying and pasting in the editor and default undo and redo.
Close
Cac{When A(Program Manager) I(reveals) Bdir{A,p(accredited) A(certifying agent) I([is not in compliance]) with the Bdir((Act [OR] regulations in this part))} Cac{When A(Program Manager) I((([inspects] [OR] [reviews]) [OR] [investigates])) Bind,p(accredited) Bind(certifying agent)}} A([Program Manager]) D(shall) I([send]) Bdir(notification) Bdir,p(of non-compliance) to the Bind,p(accredited) 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.6