total-relation
pseudo-tree://smglom-stex/smglom/sets/total-relationCopied to clipboard