pro-sumti: the empty argument/value; syntactically-contextually and type-permitted maximally generic in its typing
It is a pro-sumti with an empty reference set. Probably semantically maximally and generally elliptical/generic. Typing can be restricted by (possibly metalinguistic) restriction. See also: gai'o (pro-bridi; empty), mai'i (pro-sumti; universal), cei'i (pro-bridi; universal), ctaipe. Proposed by: lai .az. .e lai .krtisfranks.