Assertion: question's answer | /r/HasProperty | technical
Facets:
Source sentences:
text: [Note to the layman and beginners in computer science: These are quite technical branches of mathematical logic and computer science, and the answer to the question has to be somewhat technical.]