Return-Path: <@SEGATE.SUNET.SE:LOJBAN@CUVMB.BITNET>
Received: from SEGATE.SUNET.SE by xiron.pc.helsinki.fi  with smtp
	(Linux Smail3.1.28.1 #1) id m0sPF3s-0000YjC; Fri, 23 Jun 95 23:10 EET DST
Message-Id: <m0sPF3s-0000YjC@xiron.pc.helsinki.fi>
Received: from segate.sunet.se by SEGATE.SUNET.SE (LSMTP for OpenVMS v0.1a) with SMTP id 927555F5 ; Fri, 23 Jun 1995 22:10:11 +0200
Date:         Fri, 23 Jun 1995 16:09:51 EDT
Reply-To:     jorge@PHYAST.PITT.EDU
Sender:       Lojban list <LOJBAN@CUVMB.BITNET>
From:         jorge@PHYAST.PITT.EDU
Subject:      Re: pc answers
X-To:         lojban@cuvmb.cc.columbia.edu
To:           Veijo Vilva <veion@XIRON.PC.HELSINKI.FI>
Content-Length: 598
Lines: 18

la djan cusku di'e

> My take on the 3-dog/9-dog problem is that all the standard forms specify
> nine dogs, and that to get three dogs you use:
>
>         vu'i ci gerku cu batci vu'i ci nanmu
>
> which creates two sequences, one of dogs and one of men.

Assuming that sequences (unlike sets) can bite and be bitten, that would
agree with my proposal about inner quantifiers, because then {ci}
becomes an inner quantifier.

But I'm not sure that sequences can bite other sequences. Maybe the
members of the sequence? Are sequences like sets or does {vu'i} get
at the members of a sequence?

Jorge