docs: public List<String> getSpannedPosTags() {
      if (isTerminal()) {
        return posTags;
      } else {
        List<String> tags = Lists.newArrayList();
        tags.addAll(left.getSpannedPosTags());
        tags.addAll(right.getSpannedPosTags());
        return tags;
      }
    }