Proofgold Term Root Disambiguation

not True ⟶ False

as obj
-

as prop
bbee1..^tab_neg_True

theory
HF

stx
cb38c..

address
TMdVw..^tab_neg_True