In ?property > Description it is stated:
A property can be:
...
(2) most types (this includes constant values, for example, 0)
E.g. I can do:
assume(x,1):
about(x);
Originally x, renamed x~:
is assumed to be: 1
is(x,1);
true
But, I am missing a useful example for such a property.
Besides, I find these properties confusing as 0 and 1 have parent properties entries in the property lattice, but not 2:
`property/ParentTable`[0];
{composite, RealRange(0, infinity)}
`property/ParentTable`[1];
{integer, RealRange(1, infinity)}
`property/ParentTable`[2];
property/ParentTable[2]
6 hours 23 min ago
8 hours 12 min ago
10 hours 20 min ago
11 hours 1 min ago
11 hours 19 min ago
11 hours 46 min ago
11 hours 54 min ago
12 hours 8 min ago
12 hours 31 min ago
12 hours 42 min ago