Facts store information about the world.
Usually facts are derived from structs, tuples or other data structures.