Assertion: logic's nothing | /r/HasProperty | a dependence logic formula
Facets:
Source sentences:
text: Nothing is a dependence logic formula unless it can be obtained through a finite number of applications of these four rules.