Komplizierte SQL-Abfrage

[TigerLilly]

Ich möchte sämtliche Personen selektieren, die
select * from Person p where (

a) über mindestens eine Eigenschaft verfügen,
1<=(select Count(*) from eigenschaft e where e.pid=p.id)
und (!)
and (
b) entweder keine Auftragssätze besitzen,
0=(select Count(*) from auftrag a where a.pid=p.id)
oder (!)
or
eine beliebige Anzahl Auftragssätze besitzen, davon aber mindestens ein Satz, nicht vom Typ n ist.
1<=(select Count(*) from auftrag a where a.pid=p.id and typ <> n)
))

Wobei hier "beliebige Anzahl" als "mind.1" verstanden wird.