Assertion: solution | /r/HasProperty | positive
Facets:
Source sentences:
text: In some cases we are not interested in certain solutions; for example, we may only want solutions where x is positive.
text: This result, known as the positive energy theorem was finally proven by Richard Schoen and Shing-Tung Yau in 1979, who made an additional technical assumption about the nature of the stress–energy tensor.