...predicates.

A common encoding strategy is to represent the tuples of an n-ary relation 4#4 with a slot called R on the frame called 5#5 whose values are lists of the form 6#6.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...class.

We use the term class synonymously with concept, and instance synonymously with individual.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...membership.

but not as powerful as set membership, since not all sets can be described as classes in FRSs

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...class

There is no provision for asserting default values for particular instances

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.