A red gate allows access to the yard.
The gate is fused shut
The yard cannot be would not have access by the gate if the gate cannot be opened.
exists e1 s1 x1 x2 x3.(n_yard(x3) & Theme(e1,x2) & Actor(e1,x1) & v_allow(e1) & to(x2,x3) & n_access(x2) & n_gate(x1) & a_red(s1) & Theme(s1,x1))
exists e1 e2 x1 x2.(n_gate(x1) & Actor(e2,x1) & v_shut(e2) & Theme(e1,x2) & v_fuse(e1) & (x1 = x2))