Assertion: dependence logic | /r/CapableOf | define its own truth operator
Facets:
value: if logic
type: MANNER
Source sentences:
text: As IF logic, Dependence logic can define its own truth operator: more precisely, there exists a formula τ ( x )