Proofgold Term Root Disambiguation

ad280.. 0 1

as obj
8d0f8..

as prop
-

theory
HotG

stx
50e9d..

address
TMb73..