[PRD] need Assign action

while editing PRD to change the examples to "real" presentation syntax, 
I see that I need an assign action.

I propose

syntax:  Assign ::= 'Assign' '(' frame ')'

informal semantics: triples which match the oid and slot name(s) given 
by the frame argument are removed from W, then the given frame is added to W

Received on Tuesday, 17 June 2008 21:01:03 UTC