for instance many sorted predicate logic is considered a just variation of predicate logic the uncarbonated beer is heated up to its boiling point ariko mu bihe bitari iby'akazi nkomeza no gukora ibyo nakoraga ngituye mu burayi