Nat-Interval-Logic