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