public static void Rule(OptionalRuleBody lhs, ColonDash colonDash, CompoundTerm compoundTerm, AdditionalCompoundTerms additionalCompoundTerms) { }
public static void Rule(OptionalRuleBody lhs) { }
public static void Rule(Clause lhs, CompoundTerm compoundTerm, OptionalRuleBody optionalBody) { }