This matter of linkages is crucial. The discussion above seems vague.
To be clear - a 'Tree' inheritance diagram can only map simplistic domains.
To be useful in 'useful to humans' domains - governance, economics, science (let alone politics, art, philosophy), we must be able to map any connection at all: - "A City is not a Tree".
I understand that Arbital is math focused - math is a simplistic domain - one where proof is a binary and immutable condition - and yet a single 'proof' can be related to multiple domains (both 'upwards' and 'downwards').
So I may be in the wrong place. I'd like to know if this is the case.
PS: Based on this quote that popped up; "Truth is singular, its versions are mistruths", I may indeed be in the wrong place. Or Truths is a rather small set, that is mostly full of banalities (at least, once identified and accepted).