Proofgold Term Root Disambiguation

cdfa5.. u3

as obj
4402e..

as prop
-

theory
HotG

stx
6aab1..

address
TMPQs..