will report on whether the relation is reflexive, symmetric, and/or transitive given bitstrings