Assertion: formal science | /r/HasProperty | formal logical system
Facets:
value: with its content
type: OTHER
Source sentences:
text: It is a formal logical system with its content targeted at the real things, information and thoughts that we experienced.