Assertion: argument | /r/CapableOf | start with influential work of dung
Facets:
Source sentences:
text: Argumentation has been used to provide a proof-theoretic semantics for non-monotonic logic, starting with the influential work of Dung (1995).