... ). → = arrow, implies
2). / = not, contradiction, negate
3). And = and ... the rules by type. For example, "From 6 scientists, 2 Mad ... things or the other. An example would be, x# car models ... words in the rules. For example, anytime I see X must ...