An implication rule. It consists of a conclusion role (head) followed by a premise role (body), or, equivalently (since roles constitute unordered elements), a premise role followed by a conclusion role. For example, "The discount for a customer buying a product is 5.0 percent if the customer is premium and the product is regular": Implies head Atom Reldiscount/Rel Varcustomer/Var Varproduct/Var Ind5.0 percent/Ind /Atom /head body And Atom Relpremium/Rel Varcustomer/Var /Atom Atom Relregular/Rel Varproduct/Var /Atom /And /body /Implies Alternatively, the roles may be skipped, in which case the premise comes first followed by the conclusion as suggested by the element name 'Implies' (since the body of a rule implies the head, not vice versa). Using the same example, the order changes: Implies And Atom Relpremium/Rel Varcustomer/Var /Atom Atom Relregular/Rel Varproduct/Var /Atom /And Atom Reldiscount/Rel Varcustomer/Var Varproduct/Var Ind5.0 percent/Ind /Atom /Implies Attributes: @closure, @direction, @kind(See: connective module)