Assertion: sin | /r/HasProperty | k ⁡ c
Facets:
Source sentences:
text: sin ⁡ A sin K ⁡ a = sin ⁡ B sin K ⁡ b = sin ⁡ C sin K ⁡ c .