Assertion: coordinate's value | /r/HasProperty | sufficient
Facets:
Source sentences:
text: r cos θ) 2 + (r sin θ) 2 = a 2 , which reduces to r = a. (The positive value of r is sufficient, if θ takes all values from −π to π or from 0 to 2π).