Assertion: h s | /r/HasProperty | → sf
Facets:
Source sentences:
text: H 2 S → SF 2 + H 2