New sophisticated reasoner with time sense
New relations added with continuos algorithm as if read manually