Received: from mail-vc0-f189.google.com ([209.85.220.189]:51353)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban-beginners+bncCNf8pM-bDBCP0JaCBRoEit68wQ@googlegroups.com>)
	id 1T8nBu-0002M6-9L; Tue, 04 Sep 2012 00:05:06 -0700
Received: by vcbfl13 with SMTP id fl13sf5808379vcb.16
        for <multiple recipients>; Tue, 04 Sep 2012 00:04:47 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20120806;
        h=x-beenthere:received-spf:mime-version:sender:in-reply-to:references
         :date:message-id:subject:from:to:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:x-google-group-id:list-post:list-help:list-archive
         :list-subscribe:list-unsubscribe:content-type;
        bh=U1g9lCNo6/YsPTRmh508mBlwHFao4To9+88PXWRChpU=;
        b=WhYKAm+9bUoGq94cWCb4G+ySEGuy61e0bFw1WZpUgggMd2DplkfYJtaP4tsJ0uGCkl
         RR7fVOJ+dbTpJ3H+V5vFW6G3d630aqjF04UHkSnOf1z14Efn8zHoEOfKGNlkUljyacTz
         g7HZ7SvsM3LPhL6dli8AIkIkTqJNfbq0qdVHOQuQBQYdOxgesNLCgFNnXA509+Uq5DlW
         4hTG7M8sMjrQqSBqHo3N5avOlrGjSwcDvUNWb+UZQFq327GC2Y0ag6DKOmTk5IY7WEF3
         3rIcRn72HsVjgGoEcrZIfrXY46RkwddQkPMkOrx6NpqtbSbjAngBf+vwnfiAoZgJQk6a
         jciA==
Received: by 10.52.91.47 with SMTP id cb15mr2136612vdb.11.1346742287500;
        Tue, 04 Sep 2012 00:04:47 -0700 (PDT)
X-BeenThere: lojban-beginners@googlegroups.com
Received: by 10.220.154.77 with SMTP id n13ls4487854vcw.4.gmail; Tue, 04 Sep
 2012 00:04:46 -0700 (PDT)
Received: by 10.58.58.206 with SMTP id t14mr5600518veq.16.1346742286880;
        Tue, 04 Sep 2012 00:04:46 -0700 (PDT)
Received: by 10.58.58.206 with SMTP id t14mr5600517veq.16.1346742286866;
        Tue, 04 Sep 2012 00:04:46 -0700 (PDT)
Received: from mail-vb0-f50.google.com (mail-vb0-f50.google.com [209.85.212.50])
        by gmr-mx.google.com with ESMTPS id cf2si1694560vdb.0.2012.09.04.00.04.46
        (version=TLSv1/SSLv3 cipher=OTHER);
        Tue, 04 Sep 2012 00:04:46 -0700 (PDT)
Received-SPF: pass (google.com: domain of paskios@gmail.com designates 209.85.212.50 as permitted sender) client-ip=209.85.212.50;
Received: by vbal1 with SMTP id l1so7524792vba.37
        for <lojban-beginners@googlegroups.com>; Tue, 04 Sep 2012 00:04:46 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.220.157.65 with SMTP id a1mr14222665vcx.39.1346742286745; Tue,
 04 Sep 2012 00:04:46 -0700 (PDT)
Sender: lojban-beginners@googlegroups.com
Received: by 10.58.248.41 with HTTP; Tue, 4 Sep 2012 00:04:46 -0700 (PDT)
In-Reply-To: <CAOQ8VDUCkSVyFRG_4td_EAhiZ3XUO9bbr4-MNprN0oCwptsqRw@mail.gmail.com>
References: <369b1b83-0407-4ccf-aa59-89a5ffbaf473@googlegroups.com>
	<CAOQ8VDUCkSVyFRG_4td_EAhiZ3XUO9bbr4-MNprN0oCwptsqRw@mail.gmail.com>
Date: Tue, 4 Sep 2012 08:04:46 +0100
Message-ID: <CAPAJj9K4NDjNQZnkiF2UXaAtHjsnswwsgpCm+Cm9Ata-pLN25w@mail.gmail.com>
Subject: Re: [lojban-beginners] Where should I use sets and where should I use masses?
From: tijlan <jbotijlan@gmail.com>
To: lojban-beginners@googlegroups.com
X-Original-Sender: paskios@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of paskios@gmail.com designates 209.85.212.50 as permitted sender)
 smtp.mail=paskios@gmail.com; dkim=pass header.i=@gmail.com
Reply-To: lojban-beginners@googlegroups.com
Precedence: list
Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com
List-ID: <lojban-beginners.googlegroups.com>
X-Google-Group-Id: 300742228892
List-Post: <http://groups.google.com/group/lojban-beginners/post?hl=en_US>, <mailto:lojban-beginners@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban-beginners+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban-beginners?hl=en_US>
List-Subscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:lojban-beginners+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:googlegroups-manage+300742228892+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
X-Spam-Score: 0.1 (/)
X-Spam_score: 0.1
X-Spam_score_int: 1
X-Spam_bar: /
X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has
 identified this incoming email as possible spam.  The original message
 has been attached to this so you can view it (if it isn't spam) or label
 similar future email.  If you have any questions, see
 the administrator of that system for details.
 
 Content preview:  On 2 September 2012 15:47, Jacob Errington <nictytan@gmail.com>
    wrote: > e.g. lo'i ro jbopre cu simxu lo ka ce'u slabu ce'u -> All lojbanists
    know each other. simxu2 is defined as an event -- {nu} as opposed to {ka}
    --, which renders the (equally official) set status of simxu1 even more paradoxical.
    Can a set engage in an event? [...] 
 
 Content analysis details:   (0.1 points, 5.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail provider
                             (jbotijlan[at]gmail.com)
  0.0 DKIM_ADSP_CUSTOM_MED   No valid author signature, adsp_override is
                             CUSTOM_MED
 -0.0 SPF_PASS               SPF: sender matches SPF record
  0.1 DKIM_SIGNED            Message has a DKIM or DK signature, not necessarily valid
  0.0 T_DKIM_INVALID         DKIM-Signature header exists but is not valid

On 2 September 2012 15:47, Jacob Errington <nictytan@gmail.com> wrote:
> e.g. lo'i ro jbopre cu simxu lo ka ce'u slabu ce'u -> All lojbanists know each other.

simxu2 is defined as an event -- {nu} as opposed to {ka} --, which
renders the (equally official) set status of simxu1 even more
paradoxical. Can a set engage in an event?

If the x1 was a set, having {ka} for the x2 as in your example would
be less unreasonable. But I doubt that would be more practical than
"simxu1=non-set, simxu2=event".


mu'o

-- 
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en.