
Reply

Mehran February 10, 2018
This question is referring to Example #2.I am not quite sure I am understanding your question here, so please let me know if I have misunderstood.
Quantifiers are NOT Sufficient & Necessary so the left side of a quantifier statement is NOT a necessary condition.
What these two quantifiers have in common with your Sufficient & Necessary statement here is CNG and CNG is the sufficient condition, i.e. CNG ==> WLG.
So this means we can combine as follows:
SPP-most-CNG ==> WLG
To conclude:
SPP-most-WLG
WLG-some-SPP
AND . . .
PP-some-CNG ==> WLG
To conclude:
PP-some-WLG
WLG-some-PP
Hope that helps! Please let us know if you have any other questions.