A small look into CFGs using FOL in Python NLTK