Proofgold Term Root Disambiguation

exp_nat 2 4 = ChurchNum_ii_4 ChurchNum2 ordsucc 0

as obj
-

as prop
bcc97..

theory
HotG

stx
0cb0d..

address
TMGoK..