History: BPFK Section: Inexact Numbers

Preview of version: 3

Proposed definitions

su'o (PA)
At least (one).
su'e (PA)
At most (one).
za'u (PA)
More than (one).
me'i (PA)
Less than (all).
ji'i (PA)
Approximately.
ro (PA)
Each. All.
da'a (PA)
All except (one).
rau (PA)
Enough. The right number.
du'e (PA)
Too many. More than the right number.
mo'a (PA)
Too few. Less than the right number.
no'o (PA)
A vague number. Some number. A certain number.

Formal definitions

su'o PA vei na'u zmadu ja dunli PA
su'e PA vei na'u mleca ja dunli PA
za'u PA vei na'u zmadu PA
me'i PA vei na'u mleca PA
ji'i PA vei na'u jibni PA
ro sumti naku su'o sumti naku
da'a PA sumti PA sumti naku
rau vei ni'e drani
du'e za'u rau
mo'a me'i rau
no'o vei ni'e namcu


Quantifiers

definite
no pa re ci vo mu xa ze bi ... da'aci da'are da'apa ro
scalar
no [...so'u...][...so'o...][...so'i...][...so'e...][...so'a...] ro
generic
no [..................... no'o .....................] ro
subjective
[... mo'a ...] [... rau ...] [... du'e ...]

ranges
su'o PA ................. [PA ...................]
za'u PA ................. PA [...................]
su'e PA [................ PA] ....................
me'i PA [................] PA ....................
ji'i PA ............. [... PA ...] ...............

da'a
da'a da'a PA PA
da'a ro no
da'a so'a so'u
da'a so'e so'o
da'a so'i so'i
da'a so'o so'e
da'a so'u so'a
da'a no ro
da'a rau rau
da'a du'e mo'a
da'a mo'a du'e
da'a no'o no'o
da'a su'o PA su'e da'a PA
da'a su'e PA su'o da'a PA
da'a za'u PA me'i da'a PA
da'a me'i PA za'u da'a PA
da'a ji'i PA ji'i da'a PA


All definite quantifiers can be defined in terms of su'o:

su'o N+1 da zo'u da broda su'o da su'o N de zo'u ge da na du de gi da .e de broda
za'u N da su'o N+1 da
su'e N da naku za'u N da
me'i N da naku su'o N da
N da su'o N da .e su'e N da
da'a Q da Q da naku


In particular:

no da = me'ipa da = naku su'o da
ro da = da'ano da = no da naku = naku su'o da naku

All of the definitions hold for restricted da (i.e. da poi broda) as well. Then we have:

su'o da poi broda cu brode su'o da zo'u da broda gi'e brode
su'o N da poi broda cu brode su'o N da zo'u da broda gi'e brode
za'u N da poi broda cu brode za'u N da zo'u da broda gi'e brode
su'e N da poi broda cu brode su'e N da zo'u da broda gi'e brode
me'i N da poi broda cu brode me'i N da zo'u da broda gi'e brode
N da poi broda cu brode N da zo'u da broda gi'e brode
da'a Q da poi broda cu brode da'a Q da zo'u da broda nagi'a brode



  • The general form of a simple quantifier is:

da'a range da'a (definite | indefinite)


where:

range = su'o | su'e | za'u | me'i | ji'i
indefinite = ro | so'a | so'e | so'i | so'o | so'u | no | du'e | rau | mo'a | no'o
definite = pa | re | ci | vo | mu | xa | ze | bi | so | pano | ... | ki'o | ... | ci'i

(no is among the indefinites just for convenience.)

Each component is optional. When the final component, definite or indefinite, is missing, a default value is understood: the default is pa in the case of su'o, su'e, za'u and da'a; ro in the case of me'i; and a vague number (perhaps no'o) in the case of ji'i.

  • When two simple quantifiers as defined above are used one after the other, then if it gives no contradiction they are interpreted as if joined with .e:


ro ci broda
all three brodas, all brodas and three brodas.

rau su'o mu broda
enough at least five brodas, enough brodas and at least five brodas.

su'o ci su'e bi broda
at least three at most eight brodas
at least three brodas and at most eight brodas
between three and eight brodas (inclusive)

  • When two simple quantifiers are used one after the other, and joining them with .e would give a contradiction, they are interpreted as if joined with .a:


me'i ci za'u ci broda
less than three more than three brodas
less than three brodas or more than three brodas
i.e. other than three brodas

mo'a du'e broda
too few too many brodas
too few brodas or too many brodas
the wrong number of brodas

Quantifiers with fi'u


The general form of a fi'u-quantifier is:

da'a range da'a definite fi'u definite


{Q1 fi'u Q2} is the proportional quantifier "Q1 out of every Q2":

re fi'u ci broda
Two out of every three brodas.
Two thirds of brodas.

za'u vo fi'u mu broda
More than four out of every five brodas.
More than four fifths of brodas.

Using indefinites with this format does not seem to make much sense.

Quantifiers with fi'u ro


The general form of a fi'u ro-quantifier is:

da'a range da'a (definite | indefinite) fi'u ro definite


{Q1 fi'u ro Q2} is "Q1 out of all Q2", i.e. it is equivalent to Q1, plus the specification of the value of "all".

du'a fi'u ro muno broda
Too many out of all 50 broda.
Too many broda, of which there are 50 in all.

Quantifiers with pi and ce'i


These have the general forms:

da'a range da'a pi definite

da'a range da'a definite pi definite ce'i


where {definite fi'u definite} has been replaced by its decimal or percentage equivalent. So {ci fi'u vo} is {pi zemu} or {zemu ce'i}.

za'u pimu broda
More than half of all brodas.

da'a cirepimu ce'i broda
All but 32.5% of brodas.

Indefinite quantifiers with pi

pi da'a range da'a indefinite


The effect is to make the quantifier non-distributive.

History

Advanced
Information Version
Mon 10 of Nov, 2014 22:44 GMT durka42 from 158.130.106.110 29
Mon 10 of Nov, 2014 22:42 GMT durka42 from 158.130.106.110 28
Mon 10 of Nov, 2014 22:40 GMT durka42 from 158.130.106.110 27
Mon 10 of Nov, 2014 22:40 GMT durka42 from 158.130.106.110 fixed negation rule formatting 26
Thu 21 of Aug, 2014 14:30 GMT Ilmen from 95.210.209.219 Adding a couple of word links. 25
Thu 21 of Aug, 2014 14:27 GMT Ilmen from 95.210.209.219 24
Thu 21 of Aug, 2014 14:26 GMT Ilmen from 95.210.209.219 Adding a note. 23
Thu 21 of Aug, 2014 14:21 GMT Ilmen from 95.210.209.219 22
Thu 21 of Aug, 2014 14:20 GMT Ilmen from 95.210.209.219 21
Thu 21 of Aug, 2014 14:19 GMT Ilmen from 95.210.209.219 20
Thu 21 of Aug, 2014 14:18 GMT Ilmen from 95.210.209.219 Word links + keywords 19
Tue 17 of Jun, 2014 21:48 GMT selpa'i from 93.220.99.115 18
Tue 17 of Jun, 2014 21:39 GMT selpa'i from 93.220.99.115 17
Tue 17 of Jun, 2014 21:35 GMT selpa'i from 93.220.99.115 16
Sun 08 of Jun, 2014 19:14 GMT mukti from 216.194.27.154 15
Fri 06 of Jun, 2014 16:40 GMT Ilmen from 213.180.252.213 PA -> PA# 14
Fri 06 of Jun, 2014 16:33 GMT Ilmen from 213.180.252.213 Adding a few more boxes 13
Fri 06 of Jun, 2014 16:29 GMT Ilmen from 213.180.252.213 Reworking the overall formatting 12
Wed 29 of Dec, 2010 07:01 GMT lindarthebard from 32.175.23.84 11
Thu 23 of Dec, 2010 08:59 GMT lindarthebard from 166.135.205.170 10
Thu 09 of Sep, 2010 23:51 GMT xorxes from 186.108.116.39 9
Thu 09 of Sep, 2010 23:32 GMT xorxes from 186.108.116.39 8
Wed 15 of Sep, 2004 16:43 GMT xorxes from 200.49.74.2 7
Wed 15 of Sep, 2004 15:39 GMT xorxes from 200.49.74.2 6
Wed 01 of Sep, 2004 20:44 GMT xorxes from 200.49.74.2 5
Tue 31 of Aug, 2004 19:51 GMT xorxes from 200.49.74.2 4
Tue 31 of Aug, 2004 19:40 GMT xorxes from 200.49.74.2 3
Mon 09 of Aug, 2004 20:39 GMT xorxes from 200.49.74.2 2
Wed 04 of Aug, 2004 19:24 GMT xorxes from 200.49.74.2 1