dyn runs(X).
fact emu(polly) or ostrich(polly).
default emus_run(X) : runs(X) <- emu(X).
default ostrich_runs(X) : runs(X) <- ostrich(X).

