Proofgold Term Root Disambiguation

binrep 99f52.. d3f3c..

as obj
ae183..

as prop
-

theory
HF

stx
ac81c..

address
TMH5V..