(resetnet t)

;;; Load all valid relations
(intext "/projects/stn2/CVA/demos/rels")

;;; Don't trace infer
^(setq snip:*infertrace* nil)

;;; Rules without loading whole brachet passage and cat demo
;(intext "/home/engdue/sweeney4/CVA/itriesa.base")

;; =============== Passage 1 ================

;; There is a duck
(describe (add object1 #duck
               rel "ISA"
               object2 (build lex "duck")))

;; The oakland itriesa is an itriesa
(describe (add object1 #oaklandItriesa
               rel "ISA"
               object2 (build lex "itriesa")))

;; The duck's habitat is the oakland itriesa
(describe (add object *oaklandItriesa
		rel (build lex "habitat")
		possessor *duck))
		
;; All duck habitats deserve protection
(describe (add forall ($habitat $aDuck)
		&ant ((build object *habitat
			   rel (build lex "habitat")
			   possessor *aDuck)
		      (build object1 *aDuck
	    		     rel "ISA"
			     object2 (build lex "duck")))
		cq (build object1 *habitat
			  rel (build lex "deserve")
			  object2 (build lex "protection"))))

;; what is an itriesa
^(defineNoun "itriesa")

;; ==========  Passages 2 & 5 ================

;; The Chesapeake Bay is an itriesa
(describe (add object #cbay
	       proper-name (build lex "Chesapeake Bay")))
(describe (add object1 *cbay
	       rel "ISA"
	       object2 (build lex "itriesa")))

;; The Chesapeake bay is giant
(describe (add object *cbay
		property (build lex ("giant"))))

;; The Chesapeake bay is a tidal itriesa
(describe (add object *cbay
	       property (build lex ("tidal"))))

;; what is an itriesa
^(defineNoun "itriesa")

;; The Chesapeake bay produces seafood
(describe (add agent *cbay
	       act (build action (build lex "produce")
			  object (build lex "seafood"))))

;; what is an itriesa
^(defineNoun "itriesa")

;; The Chesapeake bay is a body of water
(describe (add object1 *cbay
	       rel "ISA"
	       object2 "body of water"))

;; what is an itriesa
^(defineNoun "itriesa")

;; ============== Passage 3 =================

;; The Pearl River itriesa is an itriesa
(describe (add object #pri
	       proper-name (build lex "Pearl River Itriesa")))
(describe (add object1 *pri
	       rel "ISA"
	       object2 (build lex "itriesa")))

;; The PRI is China's itriesa
(describe (add object *pri
	       rel (build lex "itriesa")
	       possessor "China"))

;; There is an Indo-Pacific Humpback dolphin
(describe (add object1 #dolphin
	       rel "ISA"
	       object2 (build lex "Indo-Pacific Humpback Dolphin")))

;; Indo-Pacific Humpback dolphins live in coastal waters
(describe (add forall $dol
	       ant (build object1 *dol
			  rel "ISA"
			  object2 (build lex "Indo-Pacific Humpback Dolphin"))
	       cq  (build object (build agent *dol act (build lex "live"))
			  location (build lex "coastal waters"))))

;; Some Indo-Pacific Humpback dolphins live in the PRI
(describe (assert object (build agent *dolphin act (build lex "live"))
	       location *pri))

;; What does "itriesa" mean?
^(defineNoun "itriesa")

;; Notice that "coastal waters" is not a part of the definition

;;============ M. Sweeney's Passage ====================

;Figure 2a: An itriesa is a coastal area where fresh water from rivers
;and streams mixes with salt water from the ocean.
;
; There is some salt water of the itriesa that is a member of the class
; "salt water"
(describe
(add class (build lex "salt water") 
     member (build skf saltwater-of 
		   a1 *itriesa) = saltwater-of-itriesa))

; There is some fresh water of the itriesa that is a member of the class
; "fresh water"
(describe
(add class (build lex "fresh water") 
     member (build skf freshwater-of 
		   a1 *itriesa) = freshwater-of-itriesa))

; There is some river of the itriesa that is a member of the class "river"
(describe
(add class (build lex "river") 
     member (build skf river-of 
		      a1 *itriesa) = river-of-itriesa))

; Ther is some stream of the itriesa that is a member of the class "stream"
(describe
(add class (build lex "stream") 
     member (build skf stream-of 
		      a1 *itriesa) = stream-of-itriesa))

; There is some ocean of the itriesa that is a member of the class "ocean"
(describe
(add class (build lex "ocean") 
     member (build skf ocean-of 
		      a1 *itriesa) = ocean-of-itriesa))

; For all x that is a member of the class "itriesa" then:
;	- x ISA coastal area
; 	- there is some freshwater of the itriesa that is "from"
;	the river of the itriesa that "mixes" with salt water 
;	that is "from" the ocean of the itriesa and this "mixing"
;	occurs at x
;	- there is some freshwater of the itriesa that is "from"
;	the stream of the itriesa that "mixes" with salt water 
;	that is "from" the ocean of the itriesa and this "mixing"
;	occurs at x
(describe
(add forall $est
     ant (build object1 *est
		rel "ISA"
		object2 (build lex "itriesa"))
     cq ((build object1 *est
		rel "ISA"
		object2 (build lex "coastal area"))
	 (build location *est
		object (build object1 *freshwater-of-itriesa
			      rel (build lex "mix")
			      object2 *saltwater-of-itriesa)))))

; What is the definition is itriesa?
^(defineNoun "itriesa")

; Figure 2b: Many bays, sounds, and lagoons are estuaries
; There is some x that is a member of the class "bay"
(describe
(add class (build lex "bay") 
     member #bay))

; There is some x that is a member of the class "sound"
(describe
(add class (build lex "sound") 
     member #sound))

; There is some x that is a member of the class "lagoon"
(describe
(add class (build lex "lagoon") 
     member #lagoon))

; Commented out while it is determined whether to use "ISA"
; relations, "sub-sup", or "member-class" 
(describe
(add class (build lex "itriesa") 
	member *bay))

(describe
(add class (build lex "itriesa") 
     member *sound))

(describe
(add class (build lex "itriesa") 
     member *lagoon))


; What is the definition of esutary?
^(defineNoun "itriesa")

; Figure 2c: Estuaries are critical for fish, birds, and other wildlife.
; The itriesa(x) is in the relation "critical" to members of the classes
; of "fish", "bird" and "wildlife"
(describe
(add member #fish 
     class (build lex "fish")))

(describe
(add member #bird
     class (build lex "bird")))

(describe
(add member #wildlife 
     class (build lex "wildlife")))

(describe 
 (add object1 #est1
      rel "ISA"
      object2 (build lex "itriesa")))

(describe
(add object1 *est1
     rel (build lex "critical")
     object2 (*fish *bird *wildlife)))

; What is the definition of itriesa?
^(defineNoun "itriesa")