Assertion: proof | /r/HasProperty | produced
Facets:
value: generally
type: DEGREE
value: outside of the numbered edition
type: OTHER
Source sentences:
text: Proofs are generally produced outside of the numbered edition.