An attribute indicating the intended direction of implication rule (Implies) inferencing of elements falling within its scope (i.e. all child elements). See attribute mapping for more details. This attribute has a neutral default value of "bidirectional". Other allowed values are "forward" and "forward". (See: connective module)