"PersuasiveParagraphIsASubtypeOfParagraph"
Fact Type ↑
Summary

Each persuasive paragraph is an instance of paragraph.
Role Players
Constraints
InternalUniquenessConstraint127
Type:
InternalUniquenessConstraint
Verbalization:

Each persuasive paragraph is at most one paragraph.
InternalUniquenessConstraint128
Type:
InternalUniquenessConstraint
Verbalization:

Each paragraph is at most one persuasive paragraph.
SimpleMandatoryConstraint70
Type:
SimpleMandatoryConstraint
Verbalization:

Each persuasive paragraph is some paragraph.
ExclusiveOrConstraint2
Type:
InclusiveOrConstraint
Verbalization:

For each paragraph, exactly one of the following holds:
that paragraph is some informative paragraph;
that paragraph is some persuasive paragraph.