> Do you want {lu'i lo'i broda} = {lo'i broda}?
I don't really care, so far. I hadn't seen a need for lu'i until you pointed out that "lu'i su'o broda" can replace "lau'i broda".
I want lu'i lo'i broda to be the set that has lo'i broda as its only member rather than the set that has the members of lo'i broda as its members.
> Do you want the arguments of LAhE to always be sets, or do you > want it to be irrelevant what gadri is inside other than > the o/e/a distinction?
In one sense, there would be no other gadri but lo'i/le'i/la'i, except as abbreviations.
But that doesn't really answer your question. I suppose my current answer is that whatever the answer, it needs to be consistent with reducing non-set gadri to LAhE+set gadri.
1- lu'o lo'i broda = loi broda 2- lu'o ro lo broda = loi broda 3- lu'o da poi selcmi be ro broda = loi broda