Current behaviour derives from 'V A' rule, which has been around a long
time and is unlikely to go anywhere.  Adding an 'A V A' rule with higher
precedence would be confusing and inconsistent.

Solving your problem does not require any new rules, only new
primitives.  Arbitrary monadic forks can be constructed using hook (rh;
u rh v ←→ u v), and 'left hook' (lh; u lh v ←→ (u~ v)~).  (In fact, a
related pair of primitives would probably be more useful, but hooks are
easier to define using extant primitives and rules.)

Then your (Adv vrb Adv) can be written as: vrb lh Adv rh Adv.

More interesting would be to find a way to avoid writing 'Adv' twice. We have a way to avoid writing nouns twice, that is the fork; we have a way to avoid writing verbs twice, that is the modifier; but there is no way to write a higher-order modifier, so I would be surprised if it were possible to do so tacitly.

 -E
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to