chained clause satisfcation