Proofgold Term Root Disambiguation

In 5 8

as obj
-

as prop
9ad9e..^In_5_8

theory
HF

stx
0d78c..

address
TMZBQ..^In_5_8