| http://www.w3.org/ns/prov#value | - The fact that if there is ???exactly one??? lion to the right, and there is ???exactly one??? lion to the left, and no lion to the left is a lion to the right, then there are ???exactly two??? lions to the left or to the right (where ???exactly one??? and ???exactly two??? here are abbreviations for constructions out of ordinary quantifiers plus identity) does not explain the general fact at issue
|
