是否可以从EF中的Sp延迟加载

我有一个学校班级有一个房间列表

public class School
{
    public int Id { get; set; }
    public string Name { get; set; }
    public virtual IList<Room> Rooms { get; set; }
}
public class Room
{
    public int Id { get; set; }
    public int SchoolId { get; set; }
    public string Name { get; set; }
}

现在我想使用存储过程得到学校的列表和他们的房间。

我知道在代码优先模式下使用"Include"函数是可能的，而且非常简单。

这在NHibernate和MyBatis.Net Orms中是可能的。

在EF中可能吗？

[DbFunction("MyContext", "GetSchools")]
public IQueryable<School> GetSchools()
{
  ...