# USAGE :

@keywords is, of, a.

@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix j: <http://www.niem.gov/niem/domains/justice/0.1#> .
@prefix ts: <http://dig.csail.mit.edu/TAMI/tami-schema#> .
@prefix te: <http://dig.csail.mit.edu/TAMI/tami-entities#> .
@prefix sf: <http://dig.csail.mit.edu/TAMI/sorn#> .
@prefix sorn: <http://dig.csail.mit.edu/TAMI/sorn-schema#> .
@prefix : <http://dig.csail.mit.edu/2005/09/rein/test#> .

transfer-1b a ts:Transfer;
	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;
	ts:logOwner te:FBI-NYC.

transfer-1b a LegalTransfer.

open-source-search-2-result-1 a Search;
	ts:antecedent transfer-1b.

Arrest18USC a j:Arrest;
	ts:antecedent open-source-search-2-result-1;
	j:arrestOfficial CharlesDodgson; 
  	j:arrestSubject JohnDoe.

@forAll A, S.
{ A a Search.
  A ts:antecedent S.
  S a LegalTransfer
} => { A a LegalSearch }.

@forAll A, S.
{ A a j:Arrest.
  A ts:antecedent S.
  S a LegalSearch
} => { A a JustifiedArrest }.

#ends