Proofgold Term Root Disambiguation

∀ x0 x1 x2 . subfield x0 x1 ⟶ subfield x1 x2 ⟶ subfield x0 x2

as obj
-

as prop
98a2d..^subfield_tra

theory
HotG

stx
6b5ba..

address
TMM11..^subfield_tra