Assertion: sum | /r/HasProperty | allowed
Facets:
Source sentences:
text: Then 35 is eliminated when S declares that P cannot know the factors of the product, which it would not have been if the sum of 64 was allowed.