Basic

Actions

complete
escape
fail
commit
diverge
unfold
unfolding _
indivisibly _
_ or _
_ and _
_ and then _
_ trap _

Yielders

the _ yielded by _

Data

a _, an _, the _, of _, some _

Functional

Actions

give _
escape with _
regive
choose _
check _
_ then _

Yielders

given _
given _#_
it
them

Declarative

Actions

bind _ to _
rebind
furthermore _
_ moreover _
_ hence _
_ before _
unbind _
produce _

Yielders

the _ bound to _
current bindings
   _ receiving _

Data

bindings
token
bindable
unknown
known

Imperative

Actions

store _ in _
unstore _
reserve _
unreserve _

Yielders

current storage
the _ stored in _

Data

storage
cell
storable
uninitialized
iniatialized _

Reflective

Actions

enact _

Yielders

application _ to _
closure _

Data

abstraction _
   provision _
   production _
Communicative

This facet is not implemented yet.   

Directive

Actions

recursively bind _ to _
   indirectly bind _ to _
   redirect _ to _
   undirect _
   indirectly produce _

Yielders

current redirections
indirect closure

Data

redirections
indirections
indirect production _ bindings

Hybrid

allocate a cell
   receive _
   subordinate _
_ and then moreover _
_ then moreover _
_ thence _
_ then before _

Non-standard Action Notation

_ else _
reflect _
reflection _
current data