In observations.py import formula. find_mapping/2 finds mapping between formulasets. __repr__ is added in addition to __str__. In CYK: use str_to_phr and for_to_phr.