c.addValue(cls2);
equivalenceAxiomClauses.add(c);
if (exact != null) {
String string = exact.toString();
assert string != null;
c.addQualifierValue(new QualifierValue("cardinality",
string));
}
if (min != null) {
String string = min.toString();
assert string != null;
c.addQualifierValue(new QualifierValue(
"minCardinality", string));
}
if (max != null) {
String string = max.toString();
assert string != null;
c.addQualifierValue(new QualifierValue(
"maxCardinality", string));
}
if (allSome != null) {
String string = allSome.toString();
assert string != null;
c.addQualifierValue(new QualifierValue("all_some",
string));
}
if (allOnly != null) {
String string = allOnly.toString();
assert string != null;
c.addQualifierValue(new QualifierValue("all_only",
string));
}
addQualifiers(c, ax.getAnnotations());
} else if (!f.getClauses(OboFormatTag.TAG_INTERSECTION_OF)
.isEmpty()) {