pres(rachael,1995,1996).
pres(violet,1997,1998).
pres(bob,1998,1999).
pres(violet,1999,2000).
pres(rachael,1996,1997).
pres(miguel,2000,2001).

reElected(PRES) :-
    pres(PRES,_,YR),
    pres(PRES,YR,_).
    
twoTerm(PRES) :-
    pres(PRES,FRYR1,_),
    pres(PRES,FRYR2,_),
    FRYR1 < FRYR2.
    
follows(X,Y) :- 
    pres(X,YR1,_),
    pres(Y,YR3,_),
    X \== Y,
    YR3 > YR1.