. . "Logical implication. \nThis is the relation between the antecedent (subject) and\nconclusion (object) of a rule.\nThe application of a rule to a knowledge-base is as follows.\nFor every substitution which, applied to the antecedent,\ngives a formula which is a subset of the knowledge-base,\nthen the result of applying that same substitution to the\nconclusion may be added to the knowledge-base.\n\nrelated: See log:conclusion. \n(See the CWM manual for command line options to determine how\nrules from different sources are applied to and the results\nadded to various formula.)\n" . .