Proofgold Term Root Disambiguation

cdfa5.. u4

as obj
86706..

as prop
-

theory
HotG

stx
2925f..

address
TMWbJ..