ctaipe fu'ivla

x1 is an object/construct fulfilling grammatical role/of (syntactic) category x2 with (sub)typing/data type/of selma'o x3, having specific properties/features/definition x4

Quote versus la'e+quote is important in x1; x2 can have arguments of "brivla", "sumti", "cmavo", etc.. Type error results from contextual abuse of x3. See also: klerctaipe, klesi


In notes:

cei'i
pro-bridi: the universal predicate
gai'o
pro-bridi: the empty predicate
mai'i
pro-sumti: the universal argument/value; syntactically-contextually and type-permitted maximally generic in its typing
zai'o
pro-sumti: the empty argument/value; syntactically-contextually and type-permitted maximally generic in its typing