Proofgold Term Root Disambiguation

In 3 8

as obj
-

as prop
ace10..^In_3_8

theory
HF

stx
0d78c..

address
TMZtE..^In_3_8