code: @Override
      public void visit(Collection<? extends PropositionDefinition> propositionDefinitions) {
          for (PropositionDefinition def : propositionDefinitions) {
              def.accept(this);
          }
      }
docs: Processes a collection of proposition definitions.
  
  @param propositionDefinitions
  a {@link Collection<PropositionDefinition>}.