Assertion: logic | /r/HasProperty | math
Facets:
value: with ideas
type: OTHER
Source sentences:
text: Logic is math with ideas instead of numbers.