Added first implementation of relative facts computation.