(progn

(add-dm

(Aberdeen isa city name Aberdeen value "Aberdeen")
(Brighton isa city name Brighton value "Brighton")
(Bristol isa city name Bristol value "Bristol")
(Nottingham isa city name Nottingham value "Nottingham")
(Sheffield isa city name Sheffield value "Sheffield")
(York isa city name York value "York")

(Aberdeen-industry-pos isa cue name Aberdeen value "Aberdeen" industry  yes  )
(Aberdeen-airport-pos isa cue name Aberdeen value "Aberdeen" airport  yes  )
(Aberdeen-soccer-pos isa cue name Aberdeen value "Aberdeen" soccer  yes  )
(Brighton-industry-pos isa cue name Brighton value "Brighton" industry  yes  )
(Brighton-airport-neg isa cue name Brighton value "Brighton" airport  no  )
(Brighton-soccer-neg isa cue name Brighton value "Brighton" soccer  no  )
(Bristol-industry-pos isa cue name Bristol value "Bristol" industry  yes  )
(Bristol-airport-pos isa cue name Bristol value "Bristol" airport  yes  )
(Bristol-soccer-pos isa cue name Bristol value "Bristol" soccer  yes  )
(Nottingham-industry-pos isa cue name Nottingham value "Nottingham" industry  yes  )
(Nottingham-airport-neg isa cue name Nottingham value "Nottingham" airport  no  )
(Nottingham-soccer-pos isa cue name Nottingham value "Nottingham" soccer  yes  )
(Sheffield-industry-neg isa cue name Sheffield value "Sheffield" industry  no  )
(Sheffield-airport-pos isa cue name Sheffield value "Sheffield" airport  yes  )
(Sheffield-soccer-pos isa cue name Sheffield value "Sheffield" soccer  yes  )
(York-industry-pos isa cue name York value "York" industry  yes  )
(York-airport-neg isa cue name York value "York" airport  no  )
(York-soccer-neg isa cue name York value "York" soccer  no  )

)

(sdp Aberdeen-industry-pos :creation-time -1e10 :reference-count 3000000)  ;4.094
(sdp Aberdeen-soccer-pos :creation-time -1e10 :reference-count 3000000)  ;4.094
(sdp Aberdeen-airport-pos :creation-time -1e10 :reference-count 3000000)  ;4.094
(sdp Brighton-industry-pos :creation-time -1e10 :reference-count 3000000)  ;4.094
(sdp Brighton-soccer-neg :creation-time -1e10 :reference-count 60000)  ;0.18
(sdp Brighton-airport-neg :creation-time -1e10 :reference-count 60000)  ;0.18
(sdp Bristol-industry-pos :creation-time -1e10 :reference-count 3000000)  ;4.094
(sdp Bristol-soccer-pos :creation-time -1e10 :reference-count 3000000)  ;4.094
(sdp Bristol-airport-pos :creation-time -1e10 :reference-count 3000000)  ;4.094
(sdp Nottingham-industry-pos :creation-time -1e10 :reference-count 3000000)  ;4.094
(sdp Nottingham-soccer-pos :creation-time -1e10 :reference-count 3000000)  ;4.094
(sdp Nottingham-airport-neg :creation-time -1e10 :reference-count 60000)  ;0.18
(sdp Sheffield-industry-neg :creation-time -1e10 :reference-count 60000)  ;0.18
(sdp Sheffield-soccer-pos :creation-time -1e10 :reference-count 3000000)  ;4.094
(sdp Sheffield-airport-pos :creation-time -1e10 :reference-count 3000000)  ;4.094
(sdp York-industry-pos :creation-time -1e10 :reference-count 3000000)  ;4.094
(sdp York-soccer-neg :creation-time -1e10 :reference-count 60000)  ;0.18
(sdp York-airport-neg :creation-time -1e10 :reference-count 60000)  ;0.18

(add-sji (Brighton Brighton-airport-neg 0))
(add-sji (Brighton Brighton-soccer-neg 0))
(add-sji (Nottingham Nottingham-airport-neg 0))
(add-sji (Sheffield Sheffield-industry-neg 0))
(add-sji (York York-airport-neg 0))
(add-sji (York York-soccer-neg 0))

(add-sji (No Brighton-airport-neg 0))
(add-sji (No Brighton-soccer-neg 0))
(add-sji (No Nottingham-airport-neg 0))
(add-sji (No Sheffield-industry-neg 0))
(add-sji (No York-airport-neg 0))
(add-sji (No York-soccer-neg 0))

)
