Assertion: formal logic | /r/CapableOf | try to capture property
Facets:
value: into a series of explicit definitions
type: OTHER
Source sentences:
text: What formal logic does is it tries to capture those properties into a series of explicit definitions.