framenet.py: doctests