Who Cites pred?
pred	Def Fmla == Collection(rel())
col	Def Collection(T) == TProp
	Thm* T:Type{i'}. col{i:l}(T) Type{i'}

Syntax:

Fmla

has structure:

pred{i:l}

About: