Proofgold Term Root Disambiguation

6a551.. = 0 ⟶ False

as obj
-

as prop
b66fa..

theory
HF

stx
7bbfe..

address
TMWjs..