I don't understand what you mean by
>
> It's a bit more complicated. b is more like a free variable of universal
> type,
> which means it can become anything: noun, verb, adverb or conjunction.
>
Any name can be reassigned from one type to any other type. That is, given
z=:1 can be followed by z=:+ reassigning it from being a pronoun to a
proverb.
Unknown names can be treated as verbs in some circumstances.
d
|value error: d
z=.d
4!:0<'z'
3
4!:0<'d'
_1
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm