Proofgold Term Root Disambiguation

In 1 2

as obj
-

as prop
0a117..^In_1_2

theory
HF

stx
0d78c..

address
TMYnd..^In_1_2