Please add an inverse reading for this binary fact to be considered complete. Requiring an inverse is controlled by the preference ...