Syllogism: breakdown syllogisms into binary parts
birds: combinatory birds
bit conversions
dice: first commit
word-like: word-like generator (todo: NLPiL)