predicate (الْمَحْمُول) أصول الفقه التعريف : The ruling in a logical case which consists of a proposition and a predicate.