Added durational inequalities to domain requirements