Compact tree of Thomas UNKNOWN