It consist of a parrot sentences like separated by the reduction operator and enclosed in parenthesis in this case the sentence to the left is called the consequent and the sentence to the right is called the antecedent. 