To generate such locative expressions we repeatedly call the basic incremental algorithm for a sequence of different possible spatial relations.
the cost of being able to generate these embedded descriptions is a higher exponential complexity.