code: Inclusion[] rule7(Inclusion[] gcis) {
          assert isRule7Applicable();
  
          final Conjunction conjunction = (Conjunction) rhs;
          final AbstractConcept[] concepts = conjunction.getConcepts();
  
          if (concepts.length > gcis.length) {
              gcis = new Inclusion[concepts.length];
          }
  
          for (int i = 0; i < concepts.length; i++) {
              gcis[i] = new GCI(lhs, concepts[i]);
          }
  
          return gcis;
      }
docs: B &#8849; C &#8851; D &rarr; {B &#8849; C, B &#8849; D}
  
  @param gcis
  @return