member(name(X),surname(Y)) -> #hpage(name(X),#surname(#Y),status())
hpage(status('Professor')) -> #hpage(#status(#'Professor'),teaching())
pubs(pub(name(X),surname(Y))) -> #member(name(X),surname(Y))