Proofgold Term Root Disambiguation

In 0 4

as obj
-

as prop
71a8d..^In_0_4

theory
HF

stx
0d78c..

address
TMbV6..^In_0_4