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
Nesting
Semantic Annotation
Mouse Selection Mode
Show Symbols
Free-text mode
Show Keybindings
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
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
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.7