strategic(Y) v strategic(Z) :- produced_by(X,Y,Z).

strategic(W) :- controlled_by(W,X,Y,Z),
                strategic(X), strategic(Y), strategic(Z).
