2) we could improve those complex selectors in

@rule

syntax by replacing them with a query language containing only

Select

and some "looping" constructs. i still think that this is viable, because in theory it could be much simpler if rather than

SelectDependencies

you wrote something like

Select(Classpath, x) for x in Select(Target, subject).dependencies