# Query people who share a manager.

fact ManagedBy(alice, eve).
fact ManagedBy(bob, eve).
fact ManagedBy(carol, frank).

rule ManagedBy(?X, ?M), ManagedBy(?Y, ?M) -> SameTeam(?X, ?Y).

run.
query SameTeam(?X, ?Y)?
query SameTeam(alice, bob)?