;;; -*-Scheme-*-

(ns-base-uri "http://dig.csail.mit.edu/TAMI/scenario3")

(ns-prefix ts: "http://dig.csail.mit.edu/TAMI/tami-schema#")
(ns-prefix te: "http://dig.csail.mit.edu/TAMI/tami-entities#")
(ns-prefix sorn: "http://dig.csail.mit.edu/TAMI/sorn-schema#")
(ns-prefix sf: "http://dig.csail.mit.edu/TAMI/sorn#")
(ns-prefix law: "http://dig.csail.mit.edu/TAMI/law/")

(ns-prefix u: "http://niem.gov/niem/universal/0.1#")
;(ns-prefix s: "http://niem.gov/niem/structures/0.1#")
(ns-prefix c: "http://niem.gov/niem/common/0.1#")
(ns-prefix j: "http://www.niem.gov/niem/domains/justice/0.1#")
;(ns-prefix emer: "http://www.niem.gov/niem/domains/emergency-management/0.1#")
;(ns-prefix int: "http://www.niem.gov/niem/domains/intelligence/0.1#")

(ts:Subject :JohnDoe
	    u:personGivenName "John"
	    u:personMiddleName "Henry"
	    u:personSurName "Doe"
	    ts:birthDate "1975-08-24"
	    ts:homeAddress (ts:Location #f
					u:locationAddress "123 Main Street"
					u:locationCityName "New York"
					u:locationStateName "NY"
					u:locationPostalCodeID "10044"))

(ts:Subject :AliceDoe
	    u:personGivenName "Alice"
	    u:personMiddleName "Liddell"
	    u:personSurName "Doe"
	    ts:homeAddress (ts:Location #f
					u:locationAddress "325 Beacon Street"
					u:locationCityName "Boston"
					u:locationStateName "MA"
					u:locationPostalCodeID "02111"))

;; (0)

(ts:Transfer :receive-pnr-1
	     dc:date "2004-06-14"
	     ts:logOwner te:TSA-DC

	     sorn:source te:AA-PNR
	     sorn:recipient te:SFDB
	     sorn:category sf:data-category-1
	     sorn:purpose sf:authorized-purpose-1

	     ts:content :pnr-1)

(ts:PassengerNameRecord :pnr-1
			ts:passenger
			(ts:Person #f
				   u:personGivenName "John"
				   u:personMiddleName "Henry"
				   u:personSurName "Doe"
				   ts:birthDate "1975-08-24")
			ts:flight
			(ts:Flight #f
				   ts:number "723"
				   dc:date "2004-06-14"
				   ts:origin te:LGA
				   ts:destination te:ORD))

;; Automated Secure Flight Test (1)

(ts:Search :flight-test-search-1
	   dc:date "2005-09-12"
	   ts:antecedent :receive-pnr-1

	   dc:identifier "Secure Flight Test"

	   ts:query
	   (ts:Person #f
		      u:personGivenName "John"
		      u:personMiddleName "Henry"
		      u:personSurName "Doe"
		      ts:birthDate "1975-08-24")

	   ts:result :flight-test-search-1-1
	   ts:result :flight-test-search-1-2
	   ts:result :flight-test-search-1-3)

(ts:SearchResult :flight-test-search-1-result-1
		 dc:date "2005-09-12T12:00:00"
		 ts:antecedent :flight-test-search-1

		 sorn:source te:TSDB
		 sorn:recipient te:SFDB
		 sorn:category sf:data-category-3

		 ts:content
		 (ts:Person #f
			    u:personGivenName "John"
			    u:personMiddleName "Henry"
			    u:personSurName "Doe"
			    ts:birthDate ""))

(ts:SearchResult :flight-test-search-1-result-2
		 dc:date "2005-09-12T12:00:00"
		 ts:antecedent :flight-test-search-1

		 sorn:source te:lexis
		 sorn:recipient te:SFDB
		 sorn:category sf:data-category-2

		 ts:content
		 (ts:Person #f
			    u:personGivenName "John"
			    u:personMiddleName "Henry"
			    u:personSurName "Doe"
			    ts:homeAddress
			    (ts:Location #f
					 u:locationAddress "123 Main Street"
					 u:locationCityName "New York"
					 u:locationStateName "NY"
					 u:locationPostalCodeID "10044")
			    ts:birthDate "1975-08-24"))

(ts:SearchResult :flight-test-search-1-result-3
		 dc:date "2005-09-12T12:00:00"
		 ts:antecedent :flight-test-search-1

		 sorn:source te:lexis
		 sorn:recipient te:SFDB
		 sorn:category sf:data-category-2

		 ts:content
		 (ts:Person #f
			    u:personGivenName "John"
			    u:personMiddleName "Henry"
			    u:personSurName "Doe"
			    ts:homeAddress
			    (ts:Location #f
					 u:locationAddress "723 High Street"
					 u:locationCityName "Seattle"
					 u:locationStateName "WA"
					 u:locationPostalCodeID "98104")
			    ts:birthDate "1975-08-24"))

;; TSA Sends Match to FBI (2a)

(ts:Transfer :transfer-1a
	     dc:date "2005-09-17"
	     ts:antecedent :flight-test-search-1-result-1

	     sorn:source te:SFDB
	     sorn:recipient te:FBI-NYC
	     sorn:category sf:data-category-3
	     sorn:purpose te:ct-criminal-law-enforcement
	     sorn:purpose te:ct-intelligence

	     dc:identifier "3556780"
	     ts:logOwner te:TSA-DC

	     ts:sender te:RobinsonDuckworth
	     ts:recipient te:CharlesDodgson
	     ts:content :transfer-1-content)

;; TSA Sends Match to FBI (2b)

(ts:Transfer :transfer-1b
	     dc:date "2005-09-17"
	     ts:antecedent :transfer-1a

	     sorn:source te:TSA-DC
	     sorn:recipient te:FBI-NYC
	     sorn:category sf:data-category-3
	     sorn:purpose te:ct-criminal-law-enforcement
	     sorn:purpose te:ct-intelligence

	     dc:identifier "0876553"
	     ts:logOwner te:FBI-NYC

	     ts:content :transfer-1-content)

(trips :transfer-1-content
       ts:sender te:RobinsonDuckworth
       ts:recipient te:CharlesDodgson
       ts:subject :JohnDoe
       ts:text "Secure flight match. Possible terror suspect.")

;; FBI opens an investigation (3)

(ts:OpeningCase :open-investigation-1
		dc:date "2005-09-18"
		ts:antecedent :transfer-1b
		ts:opens
		(ts:Case :investigation-1
			 c:caseTrackingID "555NY5678"
			 c:caseCategory te:ct-intelligence ;???
			 ts:agent te:CharlesDodgson
			 ts:agency te:FBI-NYC
			 ts:isOpenedBy :open-investigation-1))

;; Case assigned to JTTF (4)

(ts:Assignment :assignment-1
	       ts:subject :investigation-1
	       ts:assignee te:JTTF-NY
	       ts:antecedent :open-investigation-1)

(ts:Assignment :assignment-2
	       ts:subject :investigation-1
	       ts:assignee te:AnnaLiszt
	       ts:antecedent :open-investigation-1)

;; Analyst searches open source (5)

(ts:Search :open-source-search-2
	   dc:date "2005-10-02"
	   ts:antecedent :assignment-2

	   ts:query
	   (ts:Person #f
		      u:personGivenName "John"
		      u:personMiddleName "Henry"
		      u:personSurName "Doe"
		      ts:homeAddress
		      (ts:Location #f
				   u:locationAddress "123 Main Street"
				   u:locationCityName "New York"
				   u:locationStateName "NY"
				   u:locationPostalCodeID "10044")
		      ts:birthDate "1975-08-24")

	   ts:result :open-source-search-2-result-1)

(ts:SearchResult :open-source-search-2-result-1
		 dc:date "2005-10-02T12:00:01"
		 ts:antecedent :open-source-search-2

		 sorn:source
		 (sorn:Data-source #f
				   dc:identifier http://appsext4.dos.state.ny.us/csewarrants_public/cse_search)
		 sorn:recipient :FBI-NYC

		 ts:content :05-NY-2343-CR-JFC)

;; TO-DO: make up second search

;; US Marshals arrest subject (6)

(j:Arrest :arrest-1
	  dc:date "2005-11-01"
	  ts:antecedent :open-source-search-2-result-1

	  j:arrestOfficial te:CharlesDodgson
	  j:arrestWarrant :05-NY-2343-CR-JFC
	  j:arrestSubject :JohnDoe
	  j:arrestLocation te:NYC
	  j:arrestCharge law:USC/18/228
	  j:arrestSubjectRightsReadIndicator "true")