Assertion: negation | /r/CapableOf | come built in standard prolog
Facets:
Source sentences:
text: In fact, negation as failure is so useful, that it comes built in Standard Prolog, we don't have to define it at all.