Proofgold Term Root Disambiguation

CD_carr (Sing 3) CSNo

as obj
89bf4..^HSNo

as prop
-

theory
HotG

stx
43801..

address
TMbH8..^HSNo