code: public Disjunction add( IDisjunct disjunct)
      {
      for( Iterator<IAssertion> assertions = disjunct.getAssertions();
           assertions.hasNext();)
        {
        add( assertions.next());
        }
      return this;
      }
docs: Adds all assertions for the given IDisjunct to this disjunction.