Assertion: formal science | /r/HasProperty | involved in the study of formal systems
Facets:
Source sentences:
text: Formal science is involved in the study of formal systems.