Assertion: logic's application | /r/CapableOf | use large bodies of logical axioms
Facets:
value: unprecedentedly
type: MANNER
Source sentences:
text: Some have to do with the emerging development in computer science of ambitious applications using unprecedentedly large bodies of logical axioms.