Angela<br>Angela loved diving. Angela decided she wanted to teach diving for a living. Angela took diving instructor classes. Angela received all her instructor certifications. Angela found a job teaching diving in Cozumel.
Angela lives in Mexico
If she works in Cozumel, she must live in Mexico.
( z0 live :ARG0 ( z1 person :name ( z2 name :op "Angela" ) ) :location ( z3 country :name ( z4 name :op "Mexico" ) ) )
(z0 / live-01
    :ARG0 (z1 / person
              :name (z2 / name
                        :op1 "Angela"))
    :location (z3 / country
                  :name (z4 / name
                            :op1 "Mexico")))
Angela lives in Mexico
z1 :name z2
z2 :op1 0
z0 :ARG0 z1
z0 :location z3
z3 :name z4
z4 :op1 1