IG Parser
A Parser for Institutional Statements encoded in the
IG Script Notation
of the
Institutional Grammar 2.0
Original Statement:
When Program Manager reveals that accredited certifying agent is not in compliance with the Act or regulations in this part, when Program Manager inspects, reviews or investigates accredited certifying agent, Program Manager shall send notification of non-compliance to the accredited 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[role=[actor,experiencer]](Program Manager) I(reveals) Bdir[type=abstract]{A,p(accredited) A[role=actor](certifying agent) I[regfunc=violate](is not in compliance) with the Bdir[anim=inanimate,ref=[act,part]]((Act [OR] regulations in this part))} Cac{When A[role=actor](Program Manager) I[regfunc=monitor](((inspects [OR] reviews) [OR] investigates)) Bind,p(accredited) Bind[role=experiencer](certifying agent)}} A[role=actor](Program Manager) D(shall) I(send) Bdir[type=concrete,anim=inanimate](notification) Bdir,p(of non-compliance) to the Bind,p(accredited) Bind[role=[recipient,maleficiary]](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[role=[actor,experiencer]](Program Manager) I(reveals) Bdir[type=abstract]{A,p(accredited) A[role=actor](certifying agent) I[regfunc=violate](is not in compliance) with the Bdir[anim=inanimate,ref=[act,part]]((Act [OR] regulations in this part))} Cac{When A[role=actor](Program Manager) I[regfunc=monitor](((inspects [OR] reviews) [OR] investigates)) Bind,p(accredited) Bind[role=experiencer](certifying agent)}} A[role=actor](Program Manager) D(shall) I(send) Bdir[type=concrete,anim=inanimate](notification) Bdir,p(of non-compliance) to the Bind,p(accredited) Bind[role=[recipient,maleficiary]](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