Proofgold Term Root Disambiguation

∀ x0 . Subq (5246e.. x0) (56ded.. (e4431.. x0))

as obj
-

as prop
f4ff0..

theory
HoTg

stx
ab965..

address
TMRna..