Proofgold Term Root Disambiguation

not (TransSet (91630.. (4ae4a.. (4ae4a.. 4a7ef..))))

as obj
-

as prop
6351a..

theory
HoTg

stx
9e11d..

address
TMN8a..