sumti qualifiers: Difference between revisions

From Lojban
Jump to navigation Jump to search
mNo edit summary
No edit summary
 
(8 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
The proposed interpretive convention is that every LAhE and every NAhE+BO is simply a short form of {{vlapoi|lo|broda|be}} for some suitable broda. The proposed broda are:
The proposed interpretive convention is that every LAhE and every NAhE+BO is simply a short form of lo broda be for some suitable broda. The proposed broda are:
{{mu|la'e {{=}} lo selsni be}}
 
{{mu|lu'e {{=}} lo sinxa be}}
la'e   lo selsni be
{{mu|tu'a {{=}} lo datni be / lo jazyfau be / lo selkai be / lo datni ja jazyfau ja selkai be ???}}
 
{{mu|lu'a {{=}} lo cmima be}}
lu'e   lo sinxa be
{{mu|lu'i {{=}} lo selcmi be}}
 
{{mu|lu'o {{=}} lo gumselcmi be}}
tu'a   lo datni be / lo jazyfau be / lo selkai be  
{{mu|vu'i {{=}} lo porselcmi be}}
 
{{mu|na'ebo {{=}} lo drata be}}
/ lo datni ja jazyfau ja selkai be ???
{{mu|to'ebo {{=}} lo dukti be}}
 
{{mu|no'ebo {{=}} lo dutnu'i be}}
lu'a   lo cmima be
{{gl|dutnu'i|x1 is neutral on a scale in which x2 is opposite to x3}}
 
{{mu|je'abo {{=}} lo du be}}
lu'i   lo selcmi be
The first two are given explicitly in [[CLL]], with {{vlapoi|le}} instead of {{vlapoi|lo}}.
 
lu'o   lo gumselcmi be
 
vu'i   lo porselcmi be
 
na'ebo lo drata be
 
to'ebo lo dukti be
 
no'ebo lo dutnu'i be  
 
(dutnu'i: x1 is neutral on a scale in which x2 is opposite to x3)
 
je'abo lo du be
 
The first two are given explicitly in CLL, with {le} instead of {lo}.


One virtue of this scheme is that issues of scope of quantifiers and connectives in the sumti complement are resolved in one swoop.
One virtue of this scheme is that issues of scope of quantifiers and connectives in the sumti complement are resolved in one swoop.


This conflicts, however, with some other understandings of LAhEs. For example, that {lu'i ko'a e ko'e} is the set that contains ko'a and ko'e only, or that {lu'a lo mlatu} is equivalent to {lo mlatu}, and other conceptions.
This conflicts, however, with some other understandings of LAhEs. For example, that {{vlapoi|lu'i|ko'a|e|ko'e}} is the set that contains {{vlapoi|ko'a}} and {{vlapoi|ko'e}} only, or that {{vlapoi|lu'a|lo|mlatu}} is equivalent to {{vlapoi|lo|mlatu}}, and other conceptions.
 
=Discussion==
--------------------------------------------------------------------------------
*[[User:And Rosta|And Rosta]]:
 
**I strongly endorse the general principle.
[[User:And Rosta|And Rosta]]:
**I won't comment on the particular definitions but we must be sure that they're not understood as "this LAhE means whatever this predicate means". That is, if, say, sinxa got its definition changed, that oughtn't to affect {{vlapoi|lu'e}}. I know that that's not your intention, but experience shows that it's a possible misinterpretation.
 
*The equivalence LAhE = {{vlapoi|lo|broda|be}} should hold when the LAhE is bare (not preceded by a PA). When preceded by a PA, it should be equivalent to just {{vlapoi|broda|be}}. Thus {{vlapoi|lo|PA|LAhE}} should = {{vlapoi|lo|PA|broda|be}} and not {{vlapoi|lo|PA|lo|broda|be}}.
*I strongly endorse the general principle.  
**Good point. I think defining it as {{vlapoi|lo|pa|broda|be}}, with XS inner pa, might be even better. Then {{vlapoi|lo|PA|LAhE}} will be {{vlapoi|lo|PA|lo|pa|broda|be}}, which does reduce to {{vlapoi|lo|PA|broda|be}}, as wanted, while we make sure that {{vlapoi|lu'a|ko'a}} for example refers to a member and not a group of members of KOhA. In that case, the equivalence would always hold. pe'ipei?
*I won't comment on the particular definitions but we must be sure that they're not understood as "this LAhE means whatever this predicate means". That is, if, say, sinxa got its definition changed, that oughtn't to affect lu'e. I know that that's not your intention, but experience shows that it's a possible misinterpretation.
***Yes, your revised proposal is good - simple & robust.  
 
*pc:
**Right.
**This looks good in principle, but, as the last paragraph notes, has some difficulties in practice. Part of the problems is that, grammar --and even spelling to the contrary notwithstanding - these critters are not all the same logically. {{vlapoi|tu'a}} for example, is not a gadri qualifier at all - it creates an abstraction (usually event) description with all details except the selected sumti blanked out: maybe {{vlapoi|lo|nu|...|bu'a}} (this is all CLL, of course - I don't know what y'all have done to {{vlapoi|tu'a}} and your proposed replacements don't help much). That is, the "thing" it actually refers to is at least a step more abstract than the sets and groups of LAhE.
*The equivalence LAhE = {lo broda be} should hold when the LAhE is bare (not preceded by a PA). When preceded by a PA, it should be equivalent to just {broda be}. Thus {lo PA LAhE} should = {lo PA broda be} and not {lo PA lo broda be}.
*{{vlapoi|tu'a}} is sometimes {{vlapoi|lo|nu|...|co'e}} and sometimes {{vlapoi|le|du'u|...|co'e}}. (I hesitate between bu'a and co'e. Is tu'a specific or nonspecific? Does it refer to a certain relationship that the speaker has in mind, or just a claim that there is some relationship that will hold? The latter seems too vague to be useful.) Besides the {{jvs|bu'a}} / {{jvs|co'e}} issue, there is the {{jvs|nu}} / {{jvs|du'u}} ambiguity, which is normally not a problem because context will make sense with only one of the two. The two proposals I make for {{jvs|tu'a}} follow these two possibilities:
 
**{{vlapoi|mi|djuno|tu'a|la|djan}}
**Good point. I think defining it as {lo pa broda be}, with XS inner pa, might be even better. Then {lo PA LAhE} will be {lo PA lo pa broda be}, which does reduce to {lo PA broda be}, as wanted, while we make sure that {lu'a ko'a} for example refers to a member and not a group of members of ko'a. In that case, the equivalence would always hold. pe'ipei?
**{{vlapoi|mi|djuno|lo|du'u|la|djan|bu'a}}
***Yes, your revised proposal is good -- simple & robust.  
**{{vlapoi|mi|djuno|lo|datni|be|la|djan}}
 
**{{vlapoi|mi|troci|tu'a|le|vorme}}
--------------------------------------------------------------------------------
**{{vlapoi|mi|troci|lo|nu|le|vorme|cu|bu'a}}
 
**{{vlapoi|mi|troci|lo|selfri|be|le|vorme}}
pc: This looks good in principle, but, as the last paragraph notes, has some difficulties in practice. Part of the problems is that, grammar --and even spelling to the contrary notwithstanding -- these critters are not all the same logically. {tu'a} for example, is not a gadri qualifier at all--it creates an abstraction (usually event) description with all details except the selected sumti blanked out: maybe {le nu ... bu'a} (this is all CLL, of course -- I don't know what y'all have done to {tu'a} and your proposed replacements don't help much). That is, the "thing" it actually refers to is at least a step more abstract than the sets and groups of LAhE.
**{{vlapoi|mi|djica|tu'a|su'o|plise}}
 
**{{vlapoi|mi|djica|lo|nu|bu'a|su'o|plise}}
*{tu'a} is sometimes {le nu ... co'e} and sometimes {le du'u ... co'e}. (I hesitate between bu'a and co'e. Is tu'a specific or nonspecific? Does it refer to a certain relationship that the speaker has in mind, or just a claim that there is some relationship that will hold? The latter seems too vague to be useful.) Besides the bu'a/co'e issue, there is the nu/du'u ambiguity, which is normally not a problem because context will make sense with only one of the two. The two proposals I make for tu'a follow these two possibilities:
**{{vlapoi|mi|djica|lo|se|lifri|be|su'o|plise}}
 
*The last one provides an intensional context just as well as the nu version, since it is equivalent to:
mi djuno tu'a la djan
**{{vlapoi|mi|djica|da|poi|su'o|de|poi|plise|zo'u|ke'a|selfri|de}}
 
*Maybe {{vlapoi|se|lifri}} is not the most general broda to replace nu. Maybe {{vlapoi|jai|fasnu}} -> {{vlapoi|jazyfau}}? Also, I should probably throw {{vlapoi|selkai}} in too, as in:
mi djuno le du'u la djan bu'a/co'e
**{{vlapoi|mi|sisku|tu'a|su'o|tanxe}}
 
**{{vlapoi|mi|sisku|lo|ka|ce'u|bu'a|su'o|tanxe}}
mi djuno lo/le datni be la djan
**{{vlapoi|mi|sisku|lo|selkai|be|su'o|tanxe}}
 
**{{vlapoi|mi|sisku|da|poi|su'o|tanxe|cu|ckaji|ke'a}}
mi troci tu'a le vorme
*I am inclined to think that {{vlapoi|tu'a}} is usually nonspecific, given the generality involved. Why settle for any old nail and yet require that it be present in some specific way? The vagueness that results is inherent in the usage; we focus on the object and don't care about the rest - including what kind of abstraction is technically involved (hiding technicalities is what makes language speakable in large part). So, as far as it goes your proposal is fine, but it needs refinement to meet the fact that it is a proposal about a number of superficially similar but logically quite different things. though the logical different may be little more than whether what is referred to is existents or possibilia.  
 
**pc:
mi troci lo/le nu le vorme cu bu'a/co'e
***I assume that this is XS {{vlapoi|lo}}, the kind (SS {{vlapoi|loi}}). I'm not sure that is where you want to end up in every case. {{vlapoi|lu'i}}, for example, seems to require {{vlapoi|lo'i}}, a set, and {{vlapoi|lu'a}}, the members, seems to be distributive rather than collective (CLL {{vlapoi|lo}} or, more likely {{vlapoi|le}}).
 
****Yes, I should write {{vlapoi|lo|pa}} with XS {{vlapoi|lo}}.
mi troci lo/le selfri be le vorme
*****I'm not clear what you are clarifying here. Isn't XS lo pa broda one subkind of broda-kind? It still doesn't get the right sorts of things out, so far as I can see.
 
***{{vlapoi|lo|pa|broda}} is "Mr Single Broda". I want {{vlapoi|lu'a|ko'a}} to give "Mr Single Member of ko'a", so that quantification will be over real avatars of "Single Member of ko'a".
mi djica tu'a su'o plise
 
mi djica lo/le nu bu'a/co'e su'o plise
 
mi djica lo/le selfri be su'o plise
 
The last one provides an intensional context just as well as the nu version, since it is equivalent to:
 
mi djica da/ko'a poi/voi su'o de poi plise zo'u ke'a selfri de
 
Maybe {selfri} is not the most general broda to replace nu. Maybe {jai fasnu} -> {jazyfau}? Also, I should probably throw {selkai} in too, as in:
 
mi sisku tu'a su'o tanxe
 
mi sisku lo/le ka ce'u bu'a/co'e su'o tanxe
 
mi sisku lo/le selkai be su'o tanxe
 
mi sisku da poi su'o tanxe cu ckaji ke'a
 
*I am inclined to think that {tu'a} is usually nonspecific, given the generality involved. Why settle for any old nail and yet require that it be present in some specific way? The vagueness that results is inherent in the usage; we foicus on the object and don't care about the rest -- including what kind of abstrtaction is technically involved (hiding technicalities is what makes langauge speakable in large part). So, as far as it goes your proposal is fine, but it needs refinement to meet the fact that it is a proposal about a number of superficially similar but logically quite different things. though the logical different may be little more than whether what is referred to is existents or possibilia.  
 
pc: I assume that this is XS {lo}, the kind (SS {loi}). I'm not sure that is where you want to end up in every case. {lu'i}, for example, seems to require {lo'i}, a set, and {lu'a}, the members, seems to be distributive rather than collective (CLL {lo} or, more likely {le}).
 
*Yes, I should write {lo pa} with XS {lo}.
**I'm not clear what you are clarifying here. Isn't XS lo pa broda one subkind of broda-kind? It still doesn't get the right sorts of things out, so far as I can see.
 
***{lo pa broda} is "Mr Single Broda". I want {lu'a ko'a} to give "Mr Single Member of ko'a", so that quantification will be over real avatars of "Single Member of ko'a".
****I think I don't have a handle on Mr. Single Broda, how it differs from Mr. Broda, in particular. Is this perhaps about singletons, so present wherever there is a set whose only member is a broda? I can't at the moment think of any use for this and I am pretty sure it would be too rare to justify using this compact form. So, I assume it means something else, but I don't know what. I do take it that the avatars of Mr. Single Broda are individual brodas (not their singletons), but I don't see how that is related to Mr. Single Broda -- in a way that contrasts with Mr Double Broda, say.
****I think I don't have a handle on Mr. Single Broda, how it differs from Mr. Broda, in particular. Is this perhaps about singletons, so present wherever there is a set whose only member is a broda? I can't at the moment think of any use for this and I am pretty sure it would be too rare to justify using this compact form. So, I assume it means something else, but I don't know what. I do take it that the avatars of Mr. Single Broda are individual brodas (not their singletons), but I don't see how that is related to Mr. Single Broda -- in a way that contrasts with Mr Double Broda, say.
*****"I receive Mr One Newspaper at home every day" vs. "I receive Mr Two Newspapers at home every day", for example. "I receive Mr Newspaper at home every day" is more general.
*****"I receive Mr One Newspaper at home every day" vs. "I receive Mr Two Newspapers at home every day", for example. "I receive Mr Newspaper at home every day" is more general.
******Isn't that just one avatar vs two avatars vs some avatars? Jumping up to a different kind (not necessarily in any technical sense) to deal with this seems unnecessary and strange. The subdivisions of Mr. Newspaper would seem to be of the Mr. New-York-Times and the Mr. Four-Star-Final and the Mr. Of-January-14-2003 sort (and probably many others -- my NYT is printed in Chcago, for example). And, of course, the intersections (as it were) of these. Not Newspaper- Monad and Newspaper-Dyad and so on.
******Isn't that just one avatar vs two avatars vs some avatars? Jumping up to a different kind (not necessarily in any technical sense) to deal with this seems unnecessary and strange. The subdivisions of Mr. Newspaper would seem to be of the Mr. New-York-Times and the Mr. Four-Star-Final and the Mr. Of-January-14-2003 sort (and probably many others - my NYT is printed in Chcago, for example). And, of course, the intersections (as it were) of these. Not Newspaper-Monad and Newspaper-Dyad and so on.
 
*******You could go down to the level of avatars, of course. In that case, in Lojban you would have to move the "everyday" to the front, so that you don't claim that it is the same two avatars every day. {{vlapoi|lo|re|karni}} is more general. I agree that Monad vs Dyad is probably not among the most frequent subdivisions of Mr Newspaper. But it is one possible subdivision.
*******You could go down to the level of avatars, of course. In that case, in Lojban you would have to move the "everyday" to the front, so that you don't claim that it is the same two avatars every day. {lo re karni} is more general. I agree that Monad vs Dyad is probably not among the most frequent subdivisions of Mr Newspaper. But it is one possible subdivision.
********Well, as you have explained (or at least as I understand what you have said) Mr. Two-Newspapers is not a subdivision of Mr. Newspaper, all of which are presumably second run objects whereas Mr. Two-Newspapers is a third run object. Unless, of course, you mean something other than singletons by {{vlapoi|pa|mei}}. It is the case that there are at level two a number of Mr.s that bear the Mr.-avatar relationship to exactly two newspapers (concrete copies on the doorstep). And, at the third level, there is a line that bears the Mr.-avatar relationship to exactly such second level things. And at the end of a possibly infinite process there is a Mr. Newspaper that bears the ancestral of the Mr. avatar relationship to all the newspapers and Mr. Whatever-Newspaper at any level at all. And it would probably turn out, if the Mr.-avatar relation were simply treating collectively, that for every Mr. in that hierarchy has there is a second round Mr. such that anything true of one is true of the other. But in that process the two-ness of third level Mr. Two-Newspaper is lost. That requires that the first step be a set step and that would not be a subdivision of that highest Mr. Newspaper. So, if this is really what you want rather than just two avatars, you need to explain moe what is going on. And how we get from the dyad to the two newspapers ({{vlapoi|lu'a}}?). We already know that tense information has to go out front with {{vlapoi|na}}, so that is not a problem.  
********Well, as you have explained (or at least as I understand what you have said) Mr. Two-Newspapers is not a subdivision of Mr. Newspaper, all of which are presumably second run objects whereas Mr. Two-Newspapers is a third run object. Unless, of course, you mean something other than singletons by {pamei}. It is the case that there are at level two a number of Mr.s that bear the Mr.-avatar relationship to exactly two newspapers (concrete copies on the doorstep). And, at the third level, there is a line that bears the Mr.-avatar relationship to exactly such second level things. And at the end of a possibly infinite process there is a Mr. Newspaper that bears the ancestral of the Mr. avatar relationship to all the newspapers and Mr. Whatever-Newspaper at any level at all. And it would probably turn out, if the Mr.-avatar relation were simply treating collectively, that for every Mr. in that hierarchy has there is a second round Mr. such that anything true of one is true of the other. But in that process the two-ness of third level Mr. Two-Newspaper is lost. That requires that the first step be a set step and that would not be a subdivision of that highest Mr. Newspaper. So, if this is really what you want rather than just two avatars, you need to explain moe what is going on. And how we get from the dyad to the two newspapers ({lu'a}?). We already know that tense information has to go out front with {na}, so that is not a problem.  
**pc:
 
***In the case of moving in and out of signs, it is even less clear, since the same word purports to deal with denotation and designation and probably the other relations, too, so the appropriate output is going to depend a lot on the word that is the sign or the thing that is signed.
pc: In the case of moving in and out of signs, it is even less clear, since the same word purports to deal with denotation and designation and probably the other relations, too, so the appropriate output is going to depend a lot on the word that is the sign or the thing that is signed.
****Those two at least have CLL pedigree.
 
*****True, alas; this is why we talk about extensions (or just plain corrections).  
*Those two at least have CLL pedigree.
******But the prospect of solving all quantifier problems at once is pretty appealing.
**True, alas; this is why we talk about extensions (or just plain corrections).  
See also [[discussion of the Conservative Extension]].
 
But the prospect of solving all quantifier problems at once is pretty appealing.
 
xorxes: I am moving the rest of the discussion to [[jbocre: discussion of the Conservative Extension  different page|discussion of the Conservative Extension different page]], because it concerns the Conservative Extension proposal rather than the proposal in this page.

Latest revision as of 08:13, 8 May 2015

The proposed interpretive convention is that every LAhE and every NAhE+BO is simply a short form of lo broda be for some suitable broda. The proposed broda are:

la'e = lo selsni be
lu'e = lo sinxa be
tu'a = lo datni be / lo jazyfau be / lo selkai be / lo datni ja jazyfau ja selkai be ???
lu'a = lo cmima be
lu'i = lo selcmi be
lu'o = lo gumselcmi be
vu'i = lo porselcmi be
na'ebo = lo drata be
to'ebo = lo dukti be
no'ebo = lo dutnu'i be
dutnu'i = x1 is neutral on a scale in which x2 is opposite to x3
je'abo = lo du be

The first two are given explicitly in CLL, with le instead of lo.

One virtue of this scheme is that issues of scope of quantifiers and connectives in the sumti complement are resolved in one swoop.

This conflicts, however, with some other understandings of LAhEs. For example, that lu'i ko'a e ko'e is the set that contains ko'a and ko'e only, or that lu'a lo mlatu is equivalent to lo mlatu, and other conceptions.

Discussion=

  • And Rosta:
    • I strongly endorse the general principle.
    • I won't comment on the particular definitions but we must be sure that they're not understood as "this LAhE means whatever this predicate means". That is, if, say, sinxa got its definition changed, that oughtn't to affect lu'e. I know that that's not your intention, but experience shows that it's a possible misinterpretation.
  • The equivalence LAhE = lo broda be should hold when the LAhE is bare (not preceded by a PA). When preceded by a PA, it should be equivalent to just broda be. Thus lo PA LAhE should = lo PA broda be and not lo PA lo broda be.
    • Good point. I think defining it as lo pa broda be, with XS inner pa, might be even better. Then lo PA LAhE will be lo PA lo pa broda be, which does reduce to lo PA broda be, as wanted, while we make sure that lu'a ko'a for example refers to a member and not a group of members of KOhA. In that case, the equivalence would always hold. pe'ipei?
      • Yes, your revised proposal is good - simple & robust.
  • pc:
    • This looks good in principle, but, as the last paragraph notes, has some difficulties in practice. Part of the problems is that, grammar --and even spelling to the contrary notwithstanding - these critters are not all the same logically. tu'a for example, is not a gadri qualifier at all - it creates an abstraction (usually event) description with all details except the selected sumti blanked out: maybe lo nu ... bu'a (this is all CLL, of course - I don't know what y'all have done to tu'a and your proposed replacements don't help much). That is, the "thing" it actually refers to is at least a step more abstract than the sets and groups of LAhE.
  • tu'a is sometimes lo nu ... co'e and sometimes le du'u ... co'e. (I hesitate between bu'a and co'e. Is tu'a specific or nonspecific? Does it refer to a certain relationship that the speaker has in mind, or just a claim that there is some relationship that will hold? The latter seems too vague to be useful.) Besides the bu'a / co'e issue, there is the nu / du'u ambiguity, which is normally not a problem because context will make sense with only one of the two. The two proposals I make for tu'a follow these two possibilities:
  • The last one provides an intensional context just as well as the nu version, since it is equivalent to:
  • Maybe se lifri is not the most general broda to replace nu. Maybe jai fasnu -> jazyfau? Also, I should probably throw selkai in too, as in:
  • I am inclined to think that tu'a is usually nonspecific, given the generality involved. Why settle for any old nail and yet require that it be present in some specific way? The vagueness that results is inherent in the usage; we focus on the object and don't care about the rest - including what kind of abstraction is technically involved (hiding technicalities is what makes language speakable in large part). So, as far as it goes your proposal is fine, but it needs refinement to meet the fact that it is a proposal about a number of superficially similar but logically quite different things. though the logical different may be little more than whether what is referred to is existents or possibilia.
    • pc:
      • I assume that this is XS lo, the kind (SS loi). I'm not sure that is where you want to end up in every case. lu'i, for example, seems to require lo'i, a set, and lu'a, the members, seems to be distributive rather than collective (CLL lo or, more likely le).
        • Yes, I should write lo pa with XS lo.
          • I'm not clear what you are clarifying here. Isn't XS lo pa broda one subkind of broda-kind? It still doesn't get the right sorts of things out, so far as I can see.
      • lo pa broda is "Mr Single Broda". I want lu'a ko'a to give "Mr Single Member of ko'a", so that quantification will be over real avatars of "Single Member of ko'a".
        • I think I don't have a handle on Mr. Single Broda, how it differs from Mr. Broda, in particular. Is this perhaps about singletons, so present wherever there is a set whose only member is a broda? I can't at the moment think of any use for this and I am pretty sure it would be too rare to justify using this compact form. So, I assume it means something else, but I don't know what. I do take it that the avatars of Mr. Single Broda are individual brodas (not their singletons), but I don't see how that is related to Mr. Single Broda -- in a way that contrasts with Mr Double Broda, say.
          • "I receive Mr One Newspaper at home every day" vs. "I receive Mr Two Newspapers at home every day", for example. "I receive Mr Newspaper at home every day" is more general.
            • Isn't that just one avatar vs two avatars vs some avatars? Jumping up to a different kind (not necessarily in any technical sense) to deal with this seems unnecessary and strange. The subdivisions of Mr. Newspaper would seem to be of the Mr. New-York-Times and the Mr. Four-Star-Final and the Mr. Of-January-14-2003 sort (and probably many others - my NYT is printed in Chcago, for example). And, of course, the intersections (as it were) of these. Not Newspaper-Monad and Newspaper-Dyad and so on.
              • You could go down to the level of avatars, of course. In that case, in Lojban you would have to move the "everyday" to the front, so that you don't claim that it is the same two avatars every day. lo re karni is more general. I agree that Monad vs Dyad is probably not among the most frequent subdivisions of Mr Newspaper. But it is one possible subdivision.
                • Well, as you have explained (or at least as I understand what you have said) Mr. Two-Newspapers is not a subdivision of Mr. Newspaper, all of which are presumably second run objects whereas Mr. Two-Newspapers is a third run object. Unless, of course, you mean something other than singletons by pa mei. It is the case that there are at level two a number of Mr.s that bear the Mr.-avatar relationship to exactly two newspapers (concrete copies on the doorstep). And, at the third level, there is a line that bears the Mr.-avatar relationship to exactly such second level things. And at the end of a possibly infinite process there is a Mr. Newspaper that bears the ancestral of the Mr. avatar relationship to all the newspapers and Mr. Whatever-Newspaper at any level at all. And it would probably turn out, if the Mr.-avatar relation were simply treating collectively, that for every Mr. in that hierarchy has there is a second round Mr. such that anything true of one is true of the other. But in that process the two-ness of third level Mr. Two-Newspaper is lost. That requires that the first step be a set step and that would not be a subdivision of that highest Mr. Newspaper. So, if this is really what you want rather than just two avatars, you need to explain moe what is going on. And how we get from the dyad to the two newspapers (lu'a?). We already know that tense information has to go out front with na, so that is not a problem.
    • pc:
      • In the case of moving in and out of signs, it is even less clear, since the same word purports to deal with denotation and designation and probably the other relations, too, so the appropriate output is going to depend a lot on the word that is the sign or the thing that is signed.
        • Those two at least have CLL pedigree.
          • True, alas; this is why we talk about extensions (or just plain corrections).
            • But the prospect of solving all quantifier problems at once is pretty appealing.

See also discussion of the Conservative Extension.