Assertion: logic's power | /r/HasProperty | equivalent
Facets:
value: exactly
type: DEGREE
Source sentences:
text: Its expressive power is equivalent to that of full second-order logic.
text: Actually the expressive power of relation algebra is exactly equivalent to first-order logic with just three variables.