Nuprl Theory subformula
(only non hidden objects are presented)
the other theories