<> (?x (?y ?z) extract) (?y ?z extract) <> (?x ?y extract) (?y extract) (cow (owl (bat (cat (dog)))) extract)