; DEMO.OPS

(literalize city
        name
        state)

(literalize person
        name
        city
        state)

(startup
        (make person ^name irv ^city ipswich ^state MA)
        (make person ^name john ^city hendersonville ^state TN)
        (make person ^name brook ^city |los angeles| ^state CA)
        (make person ^name debbie ^city ipswich ^state MA)
        (make person ^name janet ^city beverly ^state MA)
        (make person ^name jonathon ^city hamilton ^state MA)
        (make person ^name karen ^city Ipswich ^state MA)
)

(p add-a-city-to-wm
        (person ^city <theCity> ^state <theState>)
      - (city ^name <theCity>)
-->
        (make city ^name <theCity> ^state <theState>)
        (remove 1)
)

(p irrelevant-person-info
        (person ^city <theCity>)
        (city ^name <theCity>)
-->
        (remove 1)
)

(p shift-context
        (city)
      - (person)
-->
        (make list-time)
)

(p list
        (list-time)
        (city ^name <theCity> ^state <theState>)
-->
        (remove 2)
        (write <theCity> |, | <theState> (crlf))
)

(p list-finished
        (list-time)
-->
        (halt)
)