Proofgold Term Root Disambiguation

0 ∈ e523d..

as obj
-

as prop
539a5..

theory
HotG

stx
72424..

address
TMNCd..