Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 . bbc71.. x0 x1 x2 x3 0 0 0 0 = f4b0e.. x0 x1 x2 x3

as obj
-

as prop
3463c..

theory
HotG

stx
2a9bf..

address
TMPkS..