Proofgold Term Root Disambiguation

bcddf.. (57d6a.. 67ee8.. (57d6a.. 25ca3.. 65996..)) (57d6a.. (57d6a.. (57d6a.. (57d6a.. 780a9.. 65996..) 0f581..) f73d5..))

as obj
9ed8f..

as prop
-

theory
HOAS

stx
09504..

address
TMGfZ..