Facts store information about the world.

Usually facts are derived from structs, tuples or other data structures.