Proofgold Term Root Disambiguation

λ x0 x1 . and (and (and (and (and (and (Field x0) (Field x1)) (field0 x0 ⊆ field0 x1)) (field3 x0 = field3 x1)) (field4 x0 = field4 x1)) (∀ x2 . x2 ∈ field0 x0 ⟶ ∀ x3 . x3 ∈ field0 x0 ⟶ field1b x0 x2 x3 = field1b x1 x2 x3)) (∀ x2 . x2 ∈ field0 x0 ⟶ ∀ x3 . x3 ∈ field0 x0 ⟶ field2b x0 x2 x3 = field2b x1 x2 x3)

as obj
8b767..^subfield

as prop
-

theory
HotG

stx
6b5ba..

address
TMJhV..^subfield