Translate the following question to SQL: Show the first and last name of all the faculty members who participated in some activity, together with 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