the generic concept for modelling the state of a world. The extension of a fact type is an object class. Conversely, a fact type is the intension of an object class. Examples of fact types in a production world: membership, rental, member_of_membership, renter_of_rental. Examples of fact types in a coordination world: membership_is_requested, rental_is_promised.