We say x e. y tests whether each item of x is an item of y, and thus has rank _ _ ...
Wouldn't it be equivalent (and simpler?) to say that x e. y is a verb that checks whether x is an item of y, and has rank _1 _ ? I guess I'm asking whether the choice of those two is just an implementation detail...? If so, are they basically equivalent, or is there a strong reason to prefer one over the other? ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
