You are correct. I was only explaining how the sentence is parsed, and I
did not explain how the resulting composite verb is executed.
Here's a sequence of "equivalent" sentences which show how it gets executed:
(;:'this is a test') ;&$ coer 1&:> ;:'and this is yet another test'
'this is a test' ;&$ coer 1&:>&;: 'and this is yet another test'
'this is a test' ((((;&$) coer 1)&:>)&;:) 'and this is yet another test'
(;:'this is a test') (((;&$) coer 1)&:>) ;:'and this is yet another test'
(>;:'this is a test') ((;&$) coer 1) >;:'and this is yet another test'
(4 7{.>;:'this is a test') (;&$) 6 7{.>;:'and this is yet another test'
4 7 ; 6 7
Or, if you like, we could run through the details of the steps taken by
coer?
Thanks,
--
Raul
On Sun, Oct 27, 2013 at 2:22 PM, Brian Schott <[email protected]>wrote:
> I like your explanation except that it does not seem to say that before ;&$
> is executed, the &:>&;: must be executed, in order for the $ to be applied
> correctly.
>
>
> On Sun, Oct 27, 2013 at 2:03 PM, Raul Miller <[email protected]>
> wrote:
>
> > Here's the same sentence with redundant parenthesis added:
> >
> > 'this is a test' ((((;&$) coer 1)&:>)&;:) 'and this is yet another
> test'
> >
> > Hopefully this helps?
> >
> > Put differently, in http://www.jsoftware.com/help/dictionary/dicte.htmthe
> > parsing rule "4 Conj" has this pattern:
> >
> > EDGE+AVN *VERB+NOUN **CONJ **VERB+NOUN*
> >
> > And this means that (coer 1 &: >) will not reduce because coer is not an
> > adverb, not a verb, not a noun and not an "edge". So the parser shifts
> > another word onto the stack and it's not until after we have reduced
> ('this
> > is a test' ; & $) that we can start cleaning that up.
> >
> > Eventually, of course (since the sentence is syntactically valid) the
> > parser gets back to where things were, and the "coer 1" part is replaced
> by
> > a slightly involved derived verb which lets ((...) &: >) reduce.
> >
> > Does this make sense?
> >
> > Thanks,
> >
> > --
> > Raul
> >
> >
> --
> (B=)
> ----------------------------------------------------------------------
> For information about J forums see http://www.jsoftware.com/forums.htm
>
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
