Proofgold Term Root Disambiguation

permargs_i_1_0 ChurchBoolFal = ChurchBoolTru

as obj
-

as prop
65f0e..

theory
HotG

stx
7e9c3..

address
TMdCt..