req5(?0) <- Person(?0), worksFor(?0,?1), University(?1), hasAlumnus(?1,?0)