Assertion: tin | /r/HasProperty | → snf
Facets:
Source sentences:
text: Sn + 2F 2 → SnF 4