Proofgold Term Root Disambiguation

Subq 0 0

as obj
-

as prop
25820..^Subq_0_0

theory
HF

stx
0d78c..

address
TMTpY..^Subq_0_0