Proofgold Term Root Disambiguation

c7ce4.. 0

as obj
-

as prop
feda5..

theory
HotG

stx
1be55..

address
TMTsf..