Assertion: km | /r/HasProperty | k-1+ k+2
Facets:
Source sentences:
text: Km = (k-1+ k+2 )