Assertion: sum | /r/HasProperty | perfect
Facets:
value: consequently
type: DEGREE
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