# 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 : <http://dig.csail.mit.edu/2005/09/rein/test#> .

open-source-search-2-result-1 a LegalSearch.

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

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

#ends