Three woman walk, in their hijab, alone in an area of Muslim denomination.
The women are family members.
Three woman can be together without being family members.
exists x1 x2 x3 x4 x5 x6.(a_topic(x1) & in(x1,x4) & of(x4,x5) & n_denomination(x5) & (x5 = x6) & ne_org_muslim(x6) & n_area(x4) & r_alone(x1) & in(x1,x3) & n_hijab(x3) & of(x3,x1) & n_thing(x1) & n_walk(x1) & of(x1,x2) & n_woman(x2) & card_eq_3(x1))
exists p1 x1.(n_woman(x1) & exists x2 x3.((x1 = x2) & n_member(x2) & of(x2,x3) & n_family(x3)))