Assertion: dependence logic | /r/CapableOf | lack implication
Facets:
Source sentences:
text: As it is, dependence logic lacks an implication.