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
Text mode
Nesting
Semantic Annotation
Selection Mode
Symbols
Keybinds
Cac{When A([Program Manager]) I(reveals) Bdir,p(any) Bdir(noncompliance) Cex(with the (Act [OR] regulations in this part)) Cac{When A([Program Manager]) I(inspects) an Bdir,p(accredited) Bdir(certifying agent)}} A(Program Manager) D(shall) I(send) Bdir,p(written) Bdir(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
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,p(any) Bdir(noncompliance) Cex(with the (Act [OR] regulations in this part)) Cac{When A([Program Manager]) I(inspects) an Bdir,p(accredited) Bdir(certifying agent)}} A(Program Manager) D(shall) I(send) Bdir,p(written) Bdir(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.6