Again, we shall focus on cases where n = 1, and omit brackets.
another option would be to treat a relation like "being in room 120" as a one-place property of the library, and to use the Incremental algorithm (Dale and Reiter 1995) to generate the descriptions in question.