Proofgold Term Root Disambiguation

∀ x0 . In x0 (Sing x0)

as obj
-

as prop
1f15b..^SingI

theory
HF

stx
dda19..

address
TMUBJ..^SingI