Proofgold Term Root Disambiguation

permargs_i_1_0 ChurchBoolTru = ChurchBoolFal

as obj
-

as prop
20d9c..

theory
HotG

stx
7e9c3..

address
TMUKX..