toStrings for rule, predicate, and parameter built but not tested