I'm wondering how to reduce these kinds of sentences/facts to elementary facts. In this case all cars have parts from either one or several manufacturers, can't have zero or any other option, in other words a car must have either one or several.
It is said that elementary facts normally don't contain the word "or". So let's say that we for example want to reduce the following sentence into elementary facts:
"The car model ... has parts from one or several manufacturers."
Now the following applies:
- One car must have parts from one manufacturer or several.
- One car can't have parts from zero manufacturers.
Which means that if one manufacturer doesn't apply, then it must be several manufacturers.
We can't say the following because it doesn't exclude zero and they don't imply that at least one of the sentences must apply in any given case:
- One car can have parts from one manufacturer
- One car can have parts from several manufacturers
If we say this instead we exclude the other possibility which is also wrong:
- One car must have parts from one manufacturer.
- One car must have parts from several manufacturers
So my question is the initial sentence reduced to an elementary fact "The car model ... has parts from from one or several manufacturers." and if not what would it be?
Elementary facts are irreducible in the sense that they can't be split up further. But should are we allowed to use "one/several" in an elementary fact in order to avoid the word "or" or isn't this valid? So in other words can everything we want to state in elementary fact form be in one elementary fact only or do we need two of them, and if so how would it be formulated?
EDIT: This is intended for computer language on a later stage, but this question is basically just for the "language part" and not the implementation part translating it into a computer language.