A man in a long-sleeved lack shirt sitting at an organ in a large building as people 3 people look on.
A building containing 4 people one a man sitting at an organ the others onlookers.
If a man sits at an organ and 3 people look on while in building, it means there are 4 people in the building.
exists e1 e2 s1 s2 x1 x2 x3 x4 x5 x6 x7 x8 x9.(a_topic(x1) & as(e1,x7) & on(e2,x9) & (x7 = x9) & Actor(e2,x8) & v_look(e2) & n_people(x8) & n_date(x8) & a_date_day_03(x8) & a_date_day_03(x8) & n_people(x7) & at(e1,x5) & in(x5,x6) & n_building(x6) & a_large(s2) & Theme(s2,x6) & n_organ(x5) & Actor(e1,x4) & v_sit(e1) & (x1 = x4) & Time(x1,x3) & n_shirt(x3) & in(x1,x2) & n_lack(x2) & a_long-sleeved(s1) & Theme(s1,x2) & n_man(x1))
exists x1 x2.(a_topic(x1) & all x3.(n_man(x3) -> exists e1 e2 x4 x5 x6 x7.(Theme(e2,x4) & Actor(e2,x2) & v_contain(e2) & Time(e1,x7) & n_onlooker(x7) & Time(e1,x1) & at(e1,x6) & n_organ(x6) & Actor(e1,x5) & v_sit(e1) & (x4 = x5) & n_one(x4) & for(x4,x3) & n_people(x4) & n_date(x4) & a_date_day_04(x4) & a_date_day_04(x4))) & -(x1 = x1) & n_person(x1) & (x1 = x2) & n_building(x1))