Assertion: inversion's inverse | /r/HasProperty | immediate inference
Facets:
Source sentences:
text: In logic, an inverse is a type of conditional sentence which is an immediate inference made from another conditional sentence.