Try generating singleton trees from parsing. Not tested
Working solver based on singleton nltk trees
Archive and cleanup; new solver now runs entire test set in ~315s
memoize parses across phrasings
Huge performance improvements by better arg set generation
Don't cache parsing cross-phrasing. Performance now better than with Go