Xquery XML

File: Data.xml

  
    0001
  
  
    0002
  
  
    0003
  
  
    0004
  

File: Query.xquery
not(some $model in doc("Data.xml")//car/@model
    satisfies ($model = "B"))
Output:
false