default namespace d0e1_ns = "http://www.aiai.ed.ac.uk/project/ix/"
namespace local = ""
namespace inh = inherit

include "ix.rnc"
{
constraint =
element constraint
{
attribute type { xsd:string - "world-state" }?,
attribute relation { symbol-value }?,
attribute sender-id { name-value }?,
( element parameters { \list }? & element annotations { map }? )
}
}

constraint |= known-constraint

known-constraint |=
element constraint
{
attribute type { "world-state" },
attribute relation { "condition" },
attribute sender-id { name-value }?,
( element parameters { element list { pattern-assignment } } & element annotations { map }? )
}

known-constraint |=
element constraint
{
attribute type { "world-state" },
attribute relation { "effect" },
attribute sender-id { name-value }?,
( element parameters { element list { pattern-assignment } } & element annotations { map }? )
}

default namespace d0e1_ns = "http://www.aiai.ed.ac.uk/project/ix/"
namespace local = ""
namespace inh = inherit

start = object

object =
\list
| map
| issue
| status
| priority
| name
| yes-no
| activity
| constraint
| ordering
| node-end-ref
| end
| pattern-assignment
| item-var
| report
| report-type
| chat-message
| literal-document
| symbol
| \string
| integer
| long
| float
| double
| domain
| variable-declaration
| refinement
| node-spec
| object-class
| object-property
| object-property__syntax
| plan
| plan-variable-declaration
| variable-scope
| plan-issue
| plan-issue-refinement
| plan-node
| plan-refinement
| constrainer
| plan-variable

\list = element list { object* }

map = element map { element map-entry { element key { object }, element value { object } }* }

issue =
element issue
{
attribute status { status-value }?,
attribute priority { priority-value }?,
attribute id { name-value }?,
attribute sender-id { name-value }?,
attribute ref { name-value }?,
attribute report-back { yes-no-value }?,
( element pattern { \list }? & element annotations { map }? )
}

status = element status { status-value }

status-value = "blank" | "complete" | "executing" | "possible" | "impossible" | "n/a"

priority = element priority { priority-value }

priority-value = "lowest" | "low" | "normal" | "high" | "highest"

name = element name { name-value }

name-value = xsd:string

yes-no = element yes-no { yes-no-value }

yes-no-value = "yes" | "no"

activity =
element activity
{
attribute status { status-value }?,
attribute priority { priority-value }?,
attribute id { name-value }?,
attribute sender-id { name-value }?,
attribute ref { name-value }?,
attribute report-back { yes-no-value }?,
( element pattern { \list }? & element annotations { map }? )
}

constraint =
element constraint
{
attribute type { symbol-value }?,
attribute relation { symbol-value }?,
attribute sender-id { name-value }?,
( element parameters { \list }? & element annotations { map }? )
}

ordering =
element ordering { element from { node-end-ref }? & element to { node-end-ref }? & element annotations { map }? }

node-end-ref = element node-end-ref { attribute end { end-value }?, attribute node { name-value }? }

end = element end { end-value }

end-value = "begin" | "end"

pattern-assignment = element pattern-assignment { element pattern { \list }? & element value { object }? }

item-var = element item-var { item-var-value }

item-var-value = xsd:string

report =
element report
{
attribute report-type { report-type-value }?,
attribute priority { priority-value }?,
attribute sender-id { name-value }?,
attribute ref { name-value }?,
( element text { \string }? & element annotations { map }? )
}

report-type = element report-type { report-type-value }

report-type-value = "success" | "failure" | "progress" | "information" | "event"

chat-message =
element chat-message
{
attribute sender-id { name-value }?,
( element text { \string }? & element annotations { map }? )
}

literal-document = element literal-document { anyXML }

anyXML = element * { ( attribute * { text } | text | anyXML )* }

symbol = element symbol { symbol-value }

symbol-value = xsd:string

\string = element string { string-value }

string-value = text

integer = element integer { integer-value }

integer-value = xsd:int

long = element long { long-value }

long-value = xsd:long

float = element float { float-value }

float-value = xsd:float

double = element double { double-value }

double-value = xsd:double

domain =
element domain
{
element name { \string }?
& element variable-declarations { element list { variable-declaration* } }?
& element refinements { element list { refinement* } }?
& element object-classes { element list { object-class* } }?
& element annotations { map }?
}

variable-declaration =
element variable-declaration { attribute name { item-var-value }?, ( element annotations { map }? ) }

refinement =
element refinement
{
element name { \string }?
& element pattern { \list }?
& element variable-declarations { element list { variable-declaration* } }?
& element nodes { element list { node-spec* } }?
& element orderings { element list { ordering* } }?
& element constraints { element list { constraint* } }?
& element issues { element list { issue* } }?
& element annotations { map }?
}

node-spec = element node-spec { attribute id { name-value }?, ( element pattern { \list }? ) }

object-class =
element object-class
{
element name { \string }?
& element super-class-names { element list { symbol* } }?
& element object-properties { element list { object-property* } }?
& element annotations { map }?
}

object-property =
element object-property
{
attribute name { symbol-value }?,
attribute value-class-name { symbol-value }?,
attribute syntax { object-property__syntax-value }?
}

object-property__syntax = element object-property__syntax { object-property__syntax-value }

object-property__syntax-value = "number" | "symbol" | "string" | "list" | "object" | "default"

plan =
element plan
{
element plan-variable-declarations { element list { plan-variable-declaration* } }?
& element plan-issues { element list { plan-issue* } }?
& element plan-issue-refinements { element list { plan-issue-refinement* } }?
& element plan-nodes { element list { plan-node* } }?
& element plan-refinements { element list { plan-refinement* } }?
& element constraints { element list { constrainer* } }?
& element world-state { element list { pattern-assignment* } }?
& element annotations { map }?
}

plan-variable-declaration =
element plan-variable-declaration
{
attribute id { name-value }?,
attribute name { symbol-value }?,
attribute scope { variable-scope-value }?,
( element annotations { map }? )
}

variable-scope = element variable-scope { variable-scope-value }

variable-scope-value = "local" | "global"

plan-issue =
element plan-issue
{
attribute id { name-value }?,
attribute expansion { name-value }?,
( element issue { issue }? & element annotations { map }? )
}

plan-issue-refinement =
element plan-issue-refinement
{
attribute id { name-value }?,
attribute expands { name-value }?,
(
element plan-variable-declarations { element list { plan-variable-declaration* } }?
& element plan-issues { element list { plan-issue* } }?
& element annotations { map }?
)
}

plan-node =
element plan-node
{
attribute id { name-value }?,
attribute expansion { name-value }?,
( element activity { activity }? & element annotations { map }? )
}

plan-refinement =
element plan-refinement
{
attribute id { name-value }?,
attribute expands { name-value }?,
(
element plan-variable-declarations { element list { plan-variable-declaration* } }?
& element plan-nodes { element list { plan-node* } }?
& element constraints { element list { constrainer* } }?
& element annotations { map }?
)
}

constrainer = constraint | ordering

plan-variable =
element plan-variable
{
attribute id { name-value }?,
attribute name { symbol-value }?,
( element annotations { map }? )
}