Satisfying Machine Processing of ALC Blocks