Proofgold Term Root Disambiguation

nSubq 2 1

as obj
-

as prop
e21f2..^nSubq_2_1

theory
HF

stx
0d78c..

address
TMNo4..^nSubq_2_1