@keywords a, is, of, this.

@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix list: <http://www.w3.org/2000/10/swap/list#> .
@prefix : <hypothetical.n3#>.

# TSA's rule for possible match to TSC's noflylist
# additional properties can be checked 

@forAll AIRLINE, PNR, NAME, LIST, ELEMENT.
{
  AIRLINE a Airline; creates PNR.
  PNR a PassengerNameRecord.
  PNR name NAME.
  TSC nofly ELEMENT.
  ELEMENT log:includes { NAME a SuspectedTerrorist }.
} => { TSA possibleMatch PNR }.

#ends.