First page
Back
Continue
Last page
Graphics
May come in future: property
chains
-
Properties, when applied one after the other, may be subsumed
by yet another one:
-
- “if a person «P» was born in city «A» and «A» is in country «B»
then «P» was born in country «B»”
- more formally (exact syntax is still to be defined):