; DEMO.OPS

(literalize city
        name
        state)

(literalize person
        name
        city
        state)

(p startup
        (start)
    -->
        (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  ^state )
      - (city ^name )
-->
        (make city ^name  ^state )
        (remove 1)
)

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

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

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

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