Assertion: logic | /r/CapableOf | undertake the task
Facets:
Source sentences:
text: Logicist AI is the first branch of logic to undertake the task of formalizing large examples involving nontrivial common sense reasoning.