p_query_unmatched_spo :: RDF g => (g -> Triples) -> g -> Triple -> Property
p_query_unmatched_spo _triplesOf gr t =
  classify (t `elem` ts) "ignored" $
    not (t `elem` ts) ==> [] == queryT gr t
  where
    ts = _triplesOf gr

-- query with fixed subject and wildcards for pred and obj should yield
-- a list with all triples having subject, and graph minus result triples
-- should yield all triple with unequal subjects.
p_query_unmatched_spo :: RDF g => (g -> Triples) -> g -> Triple -> Property
p_query_unmatched_spo _triplesOf gr t =
  classify (t `elem` ts) "ignored" $
    not (t `elem` ts) ==> [] == queryT gr t
  where
    ts = _triplesOf gr

-- query with fixed subject and wildcards for pred and obj should yield
-- a list with all triples having subject, and graph minus result triples
-- should yield all triple with unequal subjects.
p_query_unmatched_spo _triplesOf gr t =
  classify (t `elem` ts) "ignored" $
    not (t `elem` ts) ==> [] == queryT gr t
  where
    ts = _triplesOf gr

-- query with fixed subject and wildcards for pred and obj should yield
-- a list with all triples having subject, and graph minus result triples
-- should yield all triple with unequal subjects.