Proofgold Term Root Disambiguation

∀ x0 x1 . Subq (binintersect x0 x1) x0

as obj
-

as prop
05c0a..^{binintersect_Subq_1}

theory
HF

stx
cb38c..

address
TMZPV..^{binintersect_Subq_1}