Proofgold Term Root Disambiguation

ChurchNum_plus ChurchNum2 ChurchNum2 = ChurchNum4

as obj
-

as prop
027bb..

theory
HotG

stx
eaab6..

address
TMNQS..