Proofgold Term Root Disambiguation

not (4 = 2)

as obj
-

as prop
547fc..^neq_4_2

theory
HF

stx
82de5..

address
TMHn5..^neq_4_2