shortened isPermutation, formula generation for first order logic now works: relationships and property characters are random and could be multirelated, bound and unbound characters are used (bound goes 1 level deep, which we might expand later)