IG Parser
A Parser for Institutional Statements encoded in the
IG Script Notation
of the
Institutional Grammar 2.0
Original Statement:
The Program Manager may initiate revocation proceedings against a certified operation: when the Program Manager believes that a certified operation has violated the Act, or when a certifying agent fails to enforce the Act.
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
The A(Program Manager) D(may) I(initiate) Bdir,p(revocation) Bdir(proceedings) against a Bind,p(certified) Bind(operation): {Cac{when the A(Program Manager) I(believes) that a Bdir{A,p(certified) A(operation) has I(violated) the Bdir(Act)}}, [OR] Cac{when a A(certifying agent) I(fails to enforce) Bdir(the Act).}}
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
The A(Program Manager) D(may) I(initiate) Bdir,p(revocation) Bdir(proceedings) against a Bind,p(certified) Bind(operation): {Cac{when the A(Program Manager) I(believes) that a Bdir{A,p(certified) A(operation) has I(violated) the Bdir(Act)}}, [OR] Cac{when a A(certifying agent) I(fails to enforce) Bdir(the Act).}}
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