Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!1.eu.feeder.erje.net!newsfeed.xs4all.nl!newsfeed4.news.xs4all.nl!xs4all!newsgate.cistron.nl!newsgate.news.xs4all.nl!post.news.xs4all.nl!not-for-mail
Return-Path: <random832@fastmail.us>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: OK 0.015
X-Spam-Evidence: '*H*': 0.97; '*S*': 0.00; 'deny': 0.07; 'sequences.': 0.07; '*is*': 0.09; 'received:internal': 0.09; 'applies': 0.15; '"is"': 0.16; 'message-id:@webmail.messagingengine.com': 0.16; 'received:10.202': 0.16; 'received:10.202.2': 0.16; 'received:10.202.2.212': 0.16; 'received:66.111': 0.16; 'received:66.111.4': 0.16; 'received:messagingengine.com': 0.16; 'subject:random': 0.16; 'substituted': 0.16; 'wrote:': 0.16; 'header:In-Reply-To:1': 0.24; 'sequence': 0.27; 'sentence': 0.29; "skip:' 10": 0.30; 'fri,': 0.31; 'getting': 0.33; 'to:addr:python- list': 0.35; 'there': 0.36; 'received:10': 0.37; 'subject:: ': 0.37; '12,': 0.37; 'received:66': 0.38; 'mean': 0.38; 'does': 0.39; 'to:addr:python.org': 0.39; 'from:no real name:2**0': 0.61; 'header:Message-Id:1': 0.62; 'more': 0.62; 'thomas': 0.63; 'different': 0.64; 'here': 0.66; '8bit%:40': 0.66; 'skip:\xe2 10': 0.70; 'subject:Testing': 0.84
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d=fastmail.us; h= content-transfer-encoding:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-sasl-enc :x-sasl-enc; s=mesmtp; bh=MQYkAma+9aHquLjAWPl84tJe6ts=; b=JvakLe /XVX/zZpZdllUU2oxASEf5mS/bJeUC5h+buhLJ5I2XKYo+gI/aB4hXvE2lNwb6kY B2/970VoH16SPJHiENSKt56Y+LOo9QdNpuHkDa+jPUuKbHpvGjBaNT164Urry8X+ TCBqRkILNLv2cvI0fl3h7OqFlWqVR7efPGzmA=
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-sasl-enc:x-sasl-enc; s=smtpout; bh=MQYkAma+9aHquLj AWPl84tJe6ts=; b=WCdlybllZQCeqydmvZk9/qMvlCVHROZ/iqR27wQRdzRItkq RNAblNG6snc02wgQIaZuaQT5xtBX8irEoRWEewb71eAdCKaIWp0Mvl7outTxmPdh R1HzPJjZV09lE7Oeq1yCLhLpoJZ9OQhqtRWAfiCS46TqoGxvRXLA3MR//x94=
X-Sasl-Enc: Q4bKdeyW3ysyJHNQC7OiQVBJJP2zBDn/qoRYSqJ2UKCD 1434149864
From: random832@fastmail.us
To: python-list@python.org
MIME-Version: 1.0
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset="UTF-8"
X-Mailer: MessagingEngine.com Webmail Interface - ajax-ff004c4b
Subject: Re: Testing random
Date: Fri, 12 Jun 2015 18:57:44 -0400
In-Reply-To: <4021290.WxLfFvsQIG@PointedEars.de>
References: <87oaksowwg.fsf@Equus.decebal.nl> <1451048.pW9z17ilMA@PointedEars.de> <mailman.242.1433677915.13271.python-list@python.org> <3158703.Lr4HFMbMOd@PointedEars.de> <mailman.257.1433694323.13271.python-list@python.org> <1656356.OjxBvjpJ5d@PointedEars.de> <mailman.259.1433695485.13271.python-list@python.org> <5515034.V7dcXEWAvK@PointedEars.de> <lf5sia3bakh.fsf@ling.helsinki.fi> <1583276.2lplL8rY5W@PointedEars.de> <lf5r3pmejgh.fsf@ling.helsinki.fi> <16299015.icEhCTIHP8@PointedEars.de> <mailman.354.1433959416.13271.python-list@python.org> <1481051.eNy53rHVEB@PointedEars.de> <mailman.442.1434146468.13271.python-list@python.org> <4021290.WxLfFvsQIG@PointedEars.de>
X-BeenThere: python-list@python.org
X-Mailman-Version: 2.1.20+
Precedence: list
List-Id: General discussion list for the Python programming language <python-list.python.org>
List-Unsubscribe: <https://mail.python.org/mailman/options/python-list>, <mailto:python-list-request@python.org?subject=unsubscribe>
List-Archive: <http://mail.python.org/pipermail/python-list/>
List-Post: <mailto:python-list@python.org>
List-Help: <mailto:python-list-request@python.org?subject=help>
List-Subscribe: <https://mail.python.org/mailman/listinfo/python-list>, <mailto:python-list-request@python.org?subject=subscribe>
Newsgroups: comp.lang.python
Message-ID: <mailman.444.1434149867.13271.python-list@python.org>
Lines: 15
NNTP-Posting-Host: 2001:888:2000:d::a6
X-Trace: 1434149867 news.xs4all.nl 2883 [2001:888:2000:d::a6]:35019
X-Complaints-To: abuse@xs4all.nl
Xref: csiph.com comp.lang.python:92563

On Fri, Jun 12, 2015, at 18:09, Thomas 'PointedEars' Lahn wrote:
> Do you deny that =E2=80=9C123456789=E2=80=9D *is* =E2=80=9Ca sequence con=
taining all nine
> numbers=E2=80=9D

Do you deny that "123456798" *is* "a sequence containing all nine
numbers"?

Does this mean that "123456789" *is* "123456798" by the transitive
property? NO.

There are multiple different meanings of the word "is" here, and the
particular one that applies here does not mean it can be substituted for
the more general description in a sentence about the probability of
getting a member of the set of such sequences.