astrato fu'ivla

x₁ is a grammatical abstraction of type x₂

All Lojban constructs can be divided either to astrato/naly'astrato or to bridi, fasnu, selsku, namcu, dacti, gunma

In notes:

su'umdu: x₁ is the predicate abstraction described by text x₂, and is of type x₃