Searching a Labeled Tree

lSuppose we want to find all nodes with labels having a property P.