Translate the following question to SQL: What is the first and last name of the faculty members who participated in at least one activity? For each of them, also show the number of activities they participated in.

Schema: CREATE TABLE Activity (
    actid INTEGER   PRIMARY KEY,
    activity_name varchar(25)
);

CREATE TABLE Participates_in (
    stuid INTEGER,
    actid INTEGER,
    FOREIGN KEY (actid) REFERENCES Activity(actid),
    FOREIGN KEY (stuid) REFERENCES Student(StuID)
);

CREATE TABLE Faculty_Participates_in (
    FacID INTEGER,
    actid INTEGER,
    FOREIGN KEY (actid) REFERENCES Activity(actid),
    FOREIGN KEY (FacID) REFERENCES Faculty(FacID)
);

CREATE TABLE Student (
    StuID INTEGER   PRIMARY KEY,
    LName VARCHAR(12),
    Fname VARCHAR(12),
    Age INTEGER,
    Sex VARCHAR(1),
    Major INTEGER,
    Advisor INTEGER,
    city_code VARCHAR(3)
);

CREATE TABLE Faculty (
    FacID INTEGER   PRIMARY KEY,
    Lname VARCHAR(15),
    Fname VARCHAR(15),
    Rank VARCHAR(15),
    Sex VARCHAR(1),
    Phone INTEGER,
    Room VARCHAR(5),
    Building VARCHAR(13)
);
user
SELECT  T1.fname ,  T1.lname ,  count(*) ,  T1.FacID FROM Faculty AS T1 JOIN Faculty_participates_in AS T2 ON T1.facID  =  T2.facID GROUP BY T1.FacID
assistant