Partial up and down logic - Jaspars, Jan (1995)