Proofgold Term Root Disambiguation

28f5a.. 8dd2c.. c6963.. a9894.. da724.. adebb..

as obj
91922..

as prop
-

theory
HotG

stx
3797b..

address
TMPug..