... documents to test inferences, and the like. I want ... go all the way and write a whole game)< ... conditional translations useful in grouping and sequencing games. (A is ... before D, Z is 3rd if and only if Y is 7th, B ... on Tuesday or Wednesday if C is on Thursday)< ...