Dear Christian-Emil,
I agree with all you write. The quantification should be (1,1:0,n) for
all subproperties you have listed.
Best,
Martin
On 3/19/2024 8:52 AM, Christian-Emil Smith Ore wrote:
Dear Martin,
I have read this issue a little late. I have no problem with your
argumentation.
Dear Martin,
I have read this issue a little late. I have no problem with your
argumentation. There may be a side effect.
P35:
Quantification: many to many, necessary (1,n:0,n)
For all x,y we have P37(x,y) ⇒ P141(x,y)
Since the quantification of P35 is (1,n:0,n), then it may exist P37(a,b)