Proofgold Term Root Disambiguation

In 4 7

as obj
-

as prop
fb74e..^In_4_7

theory
HF

stx
0d78c..

address
TMZBx..^In_4_7