A probabilistic representation of logical facts as continuous tensors instead of discrete true/false values.