Proofgold Term Root Disambiguation

∀ x0 . d7d78.. c4def.. x0 x0

as obj
-

as prop
4a83c..

theory
HOAS

stx
8d75a..

address
TMN9L..