Proofgold Term Root Disambiguation

∀ x0 x1 . nIn x1 (Sing x0) ⟶ (not (x1 = x0) ⟶ False) ⟶ False

as obj
-

as prop
999dc..^tab_neg_Sing

theory
HF

stx
dda19..

address
TMKxC..^tab_neg_Sing