Assertion: predicate's property | /r/CapableOf | prove on non-deterministic statements
Facets:
Source sentences:
text: Non-deterministic statements represent choices left to the actual implementation (in an effective programming language): properties proved on non-deterministic statements are ensured for all possible choices of implementation.