Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths