Proofgold Term Root Disambiguation

fb516.. ChurchBoolFal

as obj
-

as prop
cff48..

theory
HotG

stx
7e9c3..

address
TMHem..