Now we will qualify a new expression as 'City of Residence':

"Student Peter Johnson lives in New York."

The text 'Student Peter Johnson' is qualified as 'Student' which will promote the facttype 'Student' into a objecttype. The expression tree after completing the qualifications will look like this:


And the corresponding diagram will look like this: