Proofgold Term Root Disambiguation

binrep ae183.. 0

as obj
803bd..

as prop
-

theory
HF

stx
ac81c..

address
TMLKb..