No other cites to report in NuprlPrimitives
sfa_doc_le_parm_sample_def	Def HigherConsequence{i}(P) == {X:Prop{i'}| P  X }

Syntax:

HigherConsequence{i}(P)

has structure:

sfa_doc_le_parm_sample_def{i:l}(P)

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html