Proofgold Term Root Disambiguation

In 1 9

as obj
-

as prop
9744a..^In_1_9

theory
HF

stx
0d78c..

address
TMaWN..^In_1_9