Assertion: sum | /r/HasProperty | two mathematicians
Facets:
Source sentences:
text: Their sum is not greater than 100, and Y is greater than X. S and P are two mathematicians (and consequently perfect logicians); S knows the sum X