Proofgold Term Root Disambiguation

not (5 = 4)

as obj
-

as prop
8140f..^neq_5_4

theory
HF

stx
82de5..

address
TMd7s..^neq_5_4