( ( When ( ( the ( input space ) ) ( is empty ) ) ) ( , ( ( ( the ( value space ) ) ( of ( the ( procedure datatype ) ) ) ) ( ( comprises ( ( all ( niladic operations ) ) ( yielding ( values ( in ( the ( result space ) ) ) ) ) ) ) . ) ) ) )
(ROOT (S (SBAR (WHADVP (WRB When)) (S (NP (DT the) (NN input) (NN space)) (VP (VBZ is) (ADJP (JJ empty))))) (, ,) (NP (NP (DT the) (NN value) (NN space)) (PP (IN of) (NP (DT the) (NN procedure) (NN datatype)))) (VP (VBZ comprises) (NP (NP (DT all) (JJ niladic) (NNS operations)) (VP (VBG yielding) (NP (NP (NNS values)) (PP (IN in) (NP (DT the) (NN result) (NN space))))))) (. .)))
When the input space is empty, the value space of the procedure datatype comprises all niladic operations yielding values in the result space.
(ROOT (S (NP (DT The) (NN nucleus)) (VP (VBZ is) (VP (VBN comprised) (ADVP (RB primarily)) (PP (IN of) (NP (JJ empty) (NN space))))) (. .)))