#Processed by Id: cwm.py,v 1.187 2006/07/17 18:25:19 syosi Exp # using base http://dig.csail.mit.edu/TAMI/lkagal/scenario3/scenario3-0719.proof # Notation3 generation by # notation3.py,v 1.190 2006/07/10 14:20:31 syosi Exp # Base was: http://dig.csail.mit.edu/TAMI/lkagal/scenario3/scenario3-0719.proof @prefix : . @prefix j: . @prefix log: . @prefix n3: . @prefix run: . @prefix s3: <../../scenario-3#> . @prefix scena: <#> . @prefix tb: <../../background#> . @prefix ts: <../../data-schema#> . @prefix u: . @forSome scena:_g0, scena:_g1, scena:_g2, scena:_g3, scena:_g4, scena:_g5, scena:_g6, scena:_g7, scena:_g8, scena:_g9, scena:_g10, scena:_g11, scena:_g12, scena:_g13, scena:_g14, scena:_g15, scena:_g16, scena:_g17, scena:_g18, scena:_g19, scena:_g20 . [ a :Inference, :Proof; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#arrest-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#A" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/law/USC-18-228" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#C" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#ct-criminal-law-enforcement" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ], [ :boundTo scena:_g0; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#F" ] ]; :evidence ( [ a :Extraction; :because scena:_g2; :gives {s3:arrest-1 j:arrestCharge <../../law/USC-18-228> . } ] [ a :Extraction; :because scena:_g2; :gives {s3:arrest-1 a j:Arrest . } ] [ a :Extraction; :because [ a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#open-source-search-2-result-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#arrest-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#ct-criminal-law-enforcement" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ]; :evidence ( [ a :Extraction; :because [ a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#open-source-search-2" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#open-source-search-2-result-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#ct-criminal-law-enforcement" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ]; :evidence ( [ a :Extraction; :because [ a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#assignment-2" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#open-source-search-2" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#ct-criminal-law-enforcement" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ]; :evidence ( [ a :Extraction; :because [ a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#open-investigation-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#assignment-2" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#ct-criminal-law-enforcement" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ]; :evidence ( [ a :Extraction; :because [ a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#transfer-1b" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#open-investigation-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#ct-criminal-law-enforcement" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ]; :evidence ( [ a :Extraction; :because [ a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#transfer-1a" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#transfer-1b" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#ct-criminal-law-enforcement" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ]; :evidence ( [ a :Extraction; :because [ a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#flight-test-search-1-result-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#transfer-1a" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#ct-criminal-law-enforcement" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ]; :evidence ( [ a :Extraction; :because [ a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#flight-test-search-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#flight-test-search-1-result-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#SFDB-purpose-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ]; :evidence ( [ a :Extraction; :because [ a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#receive-pnr-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#flight-test-search-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#SFDB-purpose-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ]; :evidence ( [ a :Extraction; :because [ a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#receive-pnr-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#SFDB-purpose-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ]; :evidence ( [ a :Extraction; :because [ a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#receive-pnr-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ]; :evidence ( [ a :Extraction; :because scena:_g2; :gives {s3:receive-pnr-1 ts:antecedent tb:no-antecedent . } ] [ a :Extraction; :because scena:_g4; :gives {s3:receive-pnr-1 a . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll . { a ; ts:antecedent tb:no-antecedent . } log:implies { a . } . } ] ]; :gives {s3:receive-pnr-1 a . } ] [ a :Extraction; :because scena:_g12; :gives {s3:receive-pnr-1 tb:SFDB-purpose-1 . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , . { a ; . } log:implies { a . } . } ] ]; :gives {s3:receive-pnr-1 a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:flight-test-search-1 ts:antecedent s3:receive-pnr-1 . } ] [ a :Extraction; :because scena:_g14; :gives {s3:flight-test-search-1 tb:SFDB-purpose-1 . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , , . { a . ts:antecedent ; . } log:implies { a . } . } ] ]; :gives {s3:flight-test-search-1 a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:flight-test-search-1-result-1 ts:antecedent s3:flight-test-search-1 . } ] [ a :Extraction; :because [ a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#flight-test-search-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#SFDB-purpose-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#flight-test-search-1-result-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ]; :evidence ( [ a :Extraction; :because scena:_g14; :gives {s3:flight-test-search-1 tb:SFDB-purpose-1 . } ] [ a :Extraction; :because scena:_g5; :gives {s3:flight-test-search-1 a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:flight-test-search-1-result-1 ts:antecedent s3:flight-test-search-1 . } ] [ a :Extraction; :because scena:_g2; :gives {s3:flight-test-search-1-result-1 ts:purpose tb:any-purpose . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , , . { a ; . ts:antecedent ; ts:purpose tb:any-purpose . } log:implies { . } . } ] ]; :gives {s3:flight-test-search-1-result-1 tb:SFDB-purpose-1 . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , , . { a . ts:antecedent ; . } log:implies { a . } . } ] ]; :gives {s3:flight-test-search-1-result-1 a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:transfer-1a ts:antecedent s3:flight-test-search-1-result-1 . } ] [ a :Extraction; :because [ a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#SFDB-SORN" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#S" ] ], [ :boundTo [ a :Existential; n3:nodeId "http://dig.csail.mit.edu/TAMI/cph/v2/background.ttl#_g_L261C18" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules-0715.n3#_g_L59C30" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#flight-test-search-1-result-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#SFDB" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#R" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#ct-criminal-law-enforcement" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#transfer-1a" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ]; :evidence ( [ a :Extraction; :because scena:_g13; :gives { @forSome scena:_g21 . tb:SFDB-SORN ts:routineUse scena:_g21 . } ] [ a :Extraction; :because scena:_g13; :gives {tb:SFDB-SORN a ts:SORN . } ] [ a :Extraction; :because scena:_g13; :gives {tb:SFDB ts:notice tb:SFDB-SORN . } ] [ a :Extraction; :because scena:_g13; :gives { @forSome scena:_g21 . scena:_g21 ts:purpose tb:ct-criminal-law-enforcement . } ] [ a :Extraction; :because scena:_g2; :gives {s3:transfer-1a ts:source tb:SFDB . } ] [ a :Extraction; :because scena:_g2; :gives {s3:transfer-1a ts:antecedent s3:flight-test-search-1-result-1 . } ] [ a :Extraction; :because scena:_g2; :gives {s3:transfer-1a ts:purpose tb:ct-criminal-law-enforcement . } ] [ a :Extraction; :because scena:_g6; :gives {s3:transfer-1a a . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , , , , . { @forSome scena:_g22 . scena:_g22 ts:purpose . ts:notice . a ts:SORN; ts:routineUse scena:_g22 . a ; ts:antecedent ; ts:purpose ; ts:source . } log:implies { ; . } . } ] ]; :gives {s3:transfer-1a tb:ct-criminal-law-enforcement . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , , . { a . ts:antecedent ; . } log:implies { a . } . } ] ]; :gives {s3:transfer-1a a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:transfer-1b ts:antecedent s3:transfer-1a . } ] [ a :Extraction; :because scena:_g15; :gives {s3:transfer-1b tb:ct-criminal-law-enforcement . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , , . { a . ts:antecedent ; . } log:implies { a . } . } ] ]; :gives {s3:transfer-1b a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:open-investigation-1 ts:antecedent s3:transfer-1b . } ] [ a :Extraction; :because scena:_g16; :gives {s3:open-investigation-1 tb:ct-criminal-law-enforcement . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , , . { a . ts:antecedent ; . } log:implies { a . } . } ] ]; :gives {s3:open-investigation-1 a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:assignment-2 ts:antecedent s3:open-investigation-1 . } ] [ a :Extraction; :because scena:_g17; :gives {s3:assignment-2 tb:ct-criminal-law-enforcement . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , , . { a . ts:antecedent ; . } log:implies { a . } . } ] ]; :gives {s3:assignment-2 a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:open-source-search-2 ts:antecedent s3:assignment-2 . } ] [ a :Extraction; :because scena:_g18; :gives {s3:open-source-search-2 tb:ct-criminal-law-enforcement . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , , . { a . ts:antecedent ; . } log:implies { a . } . } ] ]; :gives {s3:open-source-search-2 a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:open-source-search-2-result-1 ts:antecedent s3:open-source-search-2 . } ] [ a :Extraction; :because scena:_g19; :gives {s3:open-source-search-2-result-1 tb:ct-criminal-law-enforcement . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , , . { a . ts:antecedent ; . } log:implies { a . } . } ] ]; :gives {s3:open-source-search-2-result-1 a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:arrest-1 ts:antecedent s3:open-source-search-2-result-1 . } ] [ a :Extraction; :because scena:_g20; :gives {s3:arrest-1 tb:ct-criminal-law-enforcement . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , , . { a . ts:antecedent ; . } log:implies { a . } . } ] ]; :gives {s3:arrest-1 a . } ] [ a :Extraction; :because scena:_g20; :gives {s3:arrest-1 tb:ct-criminal-law-enforcement . } ] [ a :Fact; :gives {tb:ct-criminal-law-enforcement log:semantics scena:_fm1 . } ] [ a :Fact; :gives {scena:_fm1 log:notIncludes {tb:ct-criminal-law-enforcement ts:statute <../../law/USC-18-228> . } . } ] ); :gives {s3:arrest-1 a ; <../../law/USC-18-228> . }; :rule [ a :Extraction; :because [ a :Parsing; :because scena:_g1; :source ]; :gives { @forAll , , , . { a , j:Arrest; ; j:arrestCharge . log:notIncludes { ts:statute . } . log:semantics . } log:implies { a ; . } . } ] ]. scena:_g1 a :CommandLine; :args "['/Users/lkagal1/Research/cwm-0620/2000/10/swap/cwm.py', 'http://dig.csail.mit.edu/TAMI/cph/v2/data.ttl', 'http://dig.csail.mit.edu/TAMI/cph/v2/background.ttl', 'http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules-0715.n3', '--think', '--filter=http://dig.csail.mit.edu/TAMI/lkagal/scenario3/min-filter-0715.n3', '--base=http://dig.csail.mit.edu/TAMI/lkagal/scenario3/scenario3-0719.proof', '--why=n']" . scena:_g2 a :Parsing; :because scena:_g1; :source <../../cph/v2/data.ttl> . scena:_g3 a :Parsing; :because scena:_g1; :source . scena:_g4 a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#flight-test-search-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#receive-pnr-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ]; :evidence ( [ a :Extraction; :because scena:_g5; :gives {s3:flight-test-search-1 a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:flight-test-search-1 ts:antecedent s3:receive-pnr-1 . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , . { a ; ts:antecedent . } log:implies { a . } . } ] . scena:_g5 a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#flight-test-search-1-result-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#flight-test-search-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ]; :evidence ( [ a :Extraction; :because [ a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#transfer-1a" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#flight-test-search-1-result-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ]; :evidence ( [ a :Extraction; :because scena:_g6; :gives {s3:transfer-1a a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:transfer-1a ts:antecedent s3:flight-test-search-1-result-1 . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , . { a ; ts:antecedent . } log:implies { a . } . } ] ]; :gives {s3:flight-test-search-1-result-1 a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:flight-test-search-1-result-1 ts:antecedent s3:flight-test-search-1 . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , . { a ; ts:antecedent . } log:implies { a . } . } ] . scena:_g6 a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#transfer-1b" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#transfer-1a" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ]; :evidence ( [ a :Extraction; :because scena:_g7; :gives {s3:transfer-1b a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:transfer-1b ts:antecedent s3:transfer-1a . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , . { a ; ts:antecedent . } log:implies { a . } . } ] . scena:_g7 a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#open-investigation-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#transfer-1b" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ]; :evidence ( [ a :Extraction; :because scena:_g8; :gives {s3:open-investigation-1 a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:open-investigation-1 ts:antecedent s3:transfer-1b . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , . { a ; ts:antecedent . } log:implies { a . } . } ] . scena:_g8 a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#assignment-2" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#open-investigation-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ]; :evidence ( [ a :Extraction; :because scena:_g9; :gives {s3:assignment-2 a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:assignment-2 ts:antecedent s3:open-investigation-1 . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , . { a ; ts:antecedent . } log:implies { a . } . } ] . scena:_g9 a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#open-source-search-2" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#assignment-2" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ]; :evidence ( [ a :Extraction; :because scena:_g10; :gives {s3:open-source-search-2 a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:open-source-search-2 ts:antecedent s3:assignment-2 . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , . { a ; ts:antecedent . } log:implies { a . } . } ] . scena:_g10 a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#open-source-search-2-result-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#open-source-search-2" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ]; :evidence ( [ a :Extraction; :because scena:_g11; :gives {s3:open-source-search-2-result-1 a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:open-source-search-2-result-1 ts:antecedent s3:open-source-search-2 . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , . { a ; ts:antecedent . } log:implies { a . } . } ] . scena:_g11 a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#arrest-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#open-source-search-2-result-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ]; :evidence ( [ a :Extraction; :because [ a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#arrest-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ]; :evidence ( [ a :Extraction; :because scena:_g2; :gives {s3:arrest-1 a j:Arrest . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll . { a j:Arrest . } log:implies { a . } . } ] ]; :gives {s3:arrest-1 a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:arrest-1 ts:antecedent s3:open-source-search-2-result-1 . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , . { a ; ts:antecedent . } log:implies { a . } . } ] . scena:_g12 a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#SFDB-SORN" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#S" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#SFDB-purpose-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#SFDB" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#R" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#receive-pnr-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ]; :evidence ( [ a :Extraction; :because scena:_g13; :gives {tb:SFDB-SORN a ts:SORN . } ] [ a :Extraction; :because scena:_g13; :gives {tb:SFDB-SORN ts:purpose tb:SFDB-purpose-1 . } ] [ a :Extraction; :because scena:_g13; :gives {tb:SFDB ts:notice tb:SFDB-SORN . } ] [ a :Extraction; :because scena:_g2; :gives {s3:receive-pnr-1 ts:purpose tb:SFDB-purpose-1 . } ] [ a :Extraction; :because scena:_g2; :gives {s3:receive-pnr-1 ts:recipient tb:SFDB . } ] [ a :Extraction; :because scena:_g4; :gives {s3:receive-pnr-1 a . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , , , . { ts:notice . a ts:SORN; ts:purpose . a ; ts:purpose ; ts:recipient . } log:implies { ; ; . } . } ] . scena:_g13 a :Parsing; :because scena:_g1; :source <../../cph/v2/background.ttl> . scena:_g14 a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#receive-pnr-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#SFDB-purpose-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#flight-test-search-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ]; :evidence ( [ a :Extraction; :because scena:_g12; :gives {s3:receive-pnr-1 tb:SFDB-purpose-1 . } ] [ a :Extraction; :because scena:_g2; :gives {s3:flight-test-search-1 ts:antecedent s3:receive-pnr-1 . } ] [ a :Extraction; :because scena:_g2; :gives {s3:flight-test-search-1 ts:purpose tb:any-purpose . } ] [ a :Extraction; :because scena:_g4; :gives {s3:receive-pnr-1 a . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , , . { a ; . ts:antecedent ; ts:purpose tb:any-purpose . } log:implies { . } . } ] . scena:_g15 a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#SFDB-SORN" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#S" ] ], [ :boundTo [ a :Existential; n3:nodeId "http://dig.csail.mit.edu/TAMI/cph/v2/background.ttl#_g_L261C18" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules-0715.n3#_g_L59C30" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#transfer-1a" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#SFDB" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#R" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#ct-criminal-law-enforcement" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#transfer-1b" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ]; :evidence ( [ a :Extraction; :because scena:_g13; :gives { @forSome scena:_g21 . tb:SFDB-SORN ts:routineUse scena:_g21 . } ] [ a :Extraction; :because scena:_g13; :gives {tb:SFDB-SORN a ts:SORN . } ] [ a :Extraction; :because scena:_g13; :gives {tb:SFDB ts:notice tb:SFDB-SORN . } ] [ a :Extraction; :because scena:_g13; :gives { @forSome scena:_g21 . scena:_g21 ts:purpose tb:ct-criminal-law-enforcement . } ] [ a :Extraction; :because scena:_g2; :gives {s3:transfer-1b ts:source tb:SFDB . } ] [ a :Extraction; :because scena:_g2; :gives {s3:transfer-1b ts:antecedent s3:transfer-1a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:transfer-1b ts:purpose tb:ct-criminal-law-enforcement . } ] [ a :Extraction; :because scena:_g7; :gives {s3:transfer-1b a . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , , , , . { @forSome scena:_g22 . scena:_g22 ts:purpose . ts:notice . a ts:SORN; ts:routineUse scena:_g22 . a ; ts:antecedent ; ts:purpose ; ts:source . } log:implies { ; . } . } ] . scena:_g16 a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#transfer-1b" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#ct-criminal-law-enforcement" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#open-investigation-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ]; :evidence ( [ a :Extraction; :because scena:_g15; :gives {s3:transfer-1b tb:ct-criminal-law-enforcement . } ] [ a :Extraction; :because scena:_g2; :gives {s3:open-investigation-1 ts:antecedent s3:transfer-1b . } ] [ a :Extraction; :because scena:_g2; :gives {s3:open-investigation-1 ts:purpose tb:any-purpose . } ] [ a :Extraction; :because scena:_g7; :gives {s3:transfer-1b a . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , , . { a ; . ts:antecedent ; ts:purpose tb:any-purpose . } log:implies { . } . } ] . scena:_g17 a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#open-investigation-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#ct-criminal-law-enforcement" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#assignment-2" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ]; :evidence ( [ a :Extraction; :because scena:_g16; :gives {s3:open-investigation-1 tb:ct-criminal-law-enforcement . } ] [ a :Extraction; :because scena:_g8; :gives {s3:open-investigation-1 a . } ] [ a :Extraction; :because scena:_g2; :gives {s3:assignment-2 ts:antecedent s3:open-investigation-1 . } ] [ a :Extraction; :because scena:_g2; :gives {s3:assignment-2 ts:purpose tb:any-purpose . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , , . { a ; . ts:antecedent ; ts:purpose tb:any-purpose . } log:implies { . } . } ] . scena:_g18 a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#open-source-search-2" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#assignment-2" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#ct-criminal-law-enforcement" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ]; :evidence ( [ a :Extraction; :because scena:_g2; :gives {s3:open-source-search-2 ts:purpose tb:any-purpose . } ] [ a :Extraction; :because scena:_g2; :gives {s3:open-source-search-2 ts:antecedent s3:assignment-2 . } ] [ a :Extraction; :because scena:_g9; :gives {s3:assignment-2 a . } ] [ a :Extraction; :because scena:_g17; :gives {s3:assignment-2 tb:ct-criminal-law-enforcement . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , , . { a ; . ts:antecedent ; ts:purpose tb:any-purpose . } log:implies { . } . } ] . scena:_g19 a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#open-source-search-2-result-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#open-source-search-2" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#ct-criminal-law-enforcement" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ]; :evidence ( [ a :Extraction; :because scena:_g2; :gives {s3:open-source-search-2-result-1 ts:purpose tb:any-purpose . } ] [ a :Extraction; :because scena:_g2; :gives {s3:open-source-search-2-result-1 ts:antecedent s3:open-source-search-2 . } ] [ a :Extraction; :because scena:_g10; :gives {s3:open-source-search-2 a . } ] [ a :Extraction; :because scena:_g18; :gives {s3:open-source-search-2 tb:ct-criminal-law-enforcement . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , , . { a ; . ts:antecedent ; ts:purpose tb:any-purpose . } log:implies { . } . } ] . scena:_g20 a :Inference; :binding [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#arrest-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#Y" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/scenario-3#open-source-search-2-result-1" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#X" ] ], [ :boundTo [ n3:uri "http://dig.csail.mit.edu/TAMI/background#ct-criminal-law-enforcement" ]; :variable [ n3:nodeId "http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules#P" ] ]; :evidence ( [ a :Extraction; :because scena:_g2; :gives {s3:arrest-1 ts:purpose tb:any-purpose . } ] [ a :Extraction; :because scena:_g2; :gives {s3:arrest-1 ts:antecedent s3:open-source-search-2-result-1 . } ] [ a :Extraction; :because scena:_g11; :gives {s3:open-source-search-2-result-1 a . } ] [ a :Extraction; :because scena:_g19; :gives {s3:open-source-search-2-result-1 tb:ct-criminal-law-enforcement . } ] ); :rule [ a :Extraction; :because scena:_g3; :gives { @forAll , , . { a ; . ts:antecedent ; ts:purpose tb:any-purpose . } log:implies { . } . } ] . { @forSome scena:_g23, scena:_g24, scena:_g25, scena:_g26, scena:_g27, scena:_g28, scena:_g29, scena:_g30, scena:_g31, scena:_g32, scena:_g33, scena:_g34, scena:_g35, scena:_g36, scena:_g37, scena:_g38 . tb:AA-PNR a ts:CommercialDatabase; ts:owner scena:_g36 . tb:AnnaLiszt a ts:Official; ts:employment scena:_g30; ts:name scena:_g29 . tb:BOP a ts:Organization; ts:partOf tb:DOJ; ; "Federal Bureau of Prisons" . tb:CharlesDodgson a ts:Official; ts:employment scena:_g26; ts:name scena:_g25 . tb:ChristianAbelman a ts:Official; ts:employment scena:_g28; ts:name scena:_g27 . tb:DC a ts:Location; u:locationCityName "Washington"; u:locationStateName "DC" . tb:DHS a ts:Organization; ts:partOf tb:FederalExecutive; ; "Department of Homeland Security" . tb:DOJ a ts:Organization; ts:partOf tb:FederalExecutive; ; "Department of Justice" . tb:FBI a ts:Organization; ts:partOf tb:DOJ; ; "Federal Bureau of Investigation" . tb:FBI-NYC a ts:Office; ts:address tb:NYC; ts:organization tb:FBI . tb:FR a ts:Organization; ts:partOf tb:FederalExecutive; ; "Federal Register" . tb:FederalExecutive a ts:Organization; ts:partOf tb:USG; "Federal Executive Branch" . tb:JTTF a ts:Organization; ts:partOf tb:FBI; "Joint Terrorism Task Force" . tb:JTTF-NY a ts:Office; ts:address tb:NYC; ts:organization tb:JTTF . tb:JosephCrater a ts:Official; ts:employment scena:_g34; ts:name scena:_g33 . tb:MCC-NYC a ts:Office; ts:address tb:NYC; ts:organization tb:BOP; "Metropolitan Correctional Center - NEW YORK" . tb:Marshalls a ts:Organization; ts:partOf tb:DOJ; ; "US Marshals Service" . tb:Marshals-NY a ts:Office; ts:address tb:NYC; ts:organization tb:Marshals . tb:MattDillon a ts:Official; ts:employment scena:_g32; ts:name scena:_g31 . tb:NYC a ts:Location; u:locationCityName "New York"; u:locationStateName "NY" . tb:NYCFC a ts:Organization; ; "New York City Family Court" . tb:RobinsonDuckworth a ts:Official; ts:employment scena:_g24; ts:name scena:_g23 . tb:SFDB a ts:SOR; ts:notice tb:SFDB-SORN; ts:owner tb:TSA; "Secure Flight Test Records System" . tb:SFDB-SORN a ts:SORN; ts:category tb:SFDB-category-1, tb:SFDB-category-2, tb:SFDB-category-3; ts:purpose tb:SFDB-purpose-1; ts:routineUse scena:_g38; ts:sor tb:SORN; ts:source tb:AA-PNR, tb:TSDB, scena:_g37; tb:TSA; "2005-06-22"; """ Privacy Act of 1974; Systems of Records: Secure Flight Test Records; Privacy Impact Assessment; Secure Flight Test Phase; Notice """; "70 FR 36319", "FR Doc. 05-12405", ; tb:FR . tb:SFDB-category-1 a ts:DataCategory; """ Information about people who traveled within the US by commercial passenger air in June 2004. """ . tb:SFDB-category-2 a ts:DataCategory; """ Commercial data secured by a TSA contractor to compare with the first type of information. """ . tb:SFDB-category-3 a ts:DataCategory; """ Information about people who are known or reasonably suspected to be or have been engaged in conduct constituting, in preparation for, in aid of, or related to terrorism. """ . tb:SFDB-purpose-1 a ts:AuthorizedPurpose; """ Enhance the security of domestic air travel by identifying passengers who warrant further scrutiny prior to boarding an aircraft. """ . tb:TSA a ts:Organization; ts:partOf tb:DHS; ; "Transportation Security Administration" . tb:TSA-DC a ts:Office; ts:address tb:DC; ts:organization tb:TSA . tb:TSC a ts:Organization; ts:partOf tb:FBI; "Terrorism Screening Center" . tb:TSDB a ts:Database; ts:owner tb:TSC . tb:USAO a ts:Organization; ts:partOf tb:DOJ; ; "United States Attorneys" . tb:USAO-NY a ts:Office; ts:address tb:NYC; ts:organization tb:USAO . tb:USG a ts:Organization; ; "United States Government" . tb:any-purpose a ts:AuthorizedPurpose . tb:ct-criminal-law-enforcement a ts:AuthorizedPurpose; ts:statute <../../law/USC-18-2331>, <../../law/USC-18-2332>, <../../law/USC-18-2333>, <../../law/USC-18-2334>, <../../law/USC-18-2335>, <../../law/USC-18-2336>, <../../law/USC-18-2337>, <../../law/USC-18-2338>, <../../law/USC-18-2339-a>, <../../law/USC-18-2339-b>, <../../law/USC-18-2339-c> . tb:ct-intelligence a ts:AuthorizedPurpose . tb:lexis a ts:CommercialDatabase; ts:owner scena:_g35 . tb:no-antecedent a ts:Event . scena:_g23 u:personGivenName "Robinson"; u:personMiddleName ""; u:personSurName "Duckworth" . scena:_g24 ts:office tb:TSA-DC; ts:position tb:CriminalInvestigator . scena:_g25 u:personGivenName "Charles"; u:personMiddleName "Lutwidge"; u:personSurName "Dodgson" . scena:_g26 ts:office tb:FBI-NYC; ts:position tb:SpecialAgent . scena:_g27 u:personGivenName "Christian"; u:personMiddleName "M."; u:personSurName "Abelman" . scena:_g28 ts:office tb:USAO-NY; ts:position tb:AssistantUSAttorney . scena:_g29 u:personGivenName "Anna"; u:personMiddleName ""; u:personSurName "Liszt" . scena:_g30 ts:office tb:FBI-NYC; ts:position tb:IntelligenceAnalyst . scena:_g31 u:personGivenName "Matthew"; u:personMiddleName ""; u:personSurName "Dillon" . scena:_g32 ts:office tb:Marshals-NY; ts:position tb:DeputyMarshal . scena:_g33 u:personGivenName "Joseph"; u:personMiddleName "F."; u:personSurName "Crater" . scena:_g34 ts:office tb:NYCFC; ts:position tb:Judge . scena:_g35 "LexisNexis" . scena:_g36 "American Airlines" . scena:_g37 a ts:CommercialDatabase . scena:_g38 a ts:RoutineUse; ts:category tb:SFDB-category-3; ts:purpose tb:ct-criminal-law-enforcement, tb:ct-intelligence; ts:recipient tb:FBI; """ May share where TSA becomes aware of information that may be related to an individual identified in the TSDB. """ . } :representedBy scena:_fm1; = scena:_g0 . #ENDS