( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{TRESPASSERS} (PRO We;{we}))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (VB;_Cn.g_ keep;{keep})
                      (NP-OB1 (Q every;{every})
                              (N man;{man}))
                      (IP-PPL-PRD (VAG;_I_ working;{work})
                                  (ADVP-NIM (ADV here;{here}))))
          (PUNC .))
  (ID 142_a_dick_1952))

arc(r_0142_0003__should,r_0142_0004__keep,scope).
arc(r_0142_0004__keep,r_0142_0002__We,arg0).
arc(r_0142_0004__keep,r_0142_0006__man,arg1).
arc(r_0142_0004__keep,r_0142_0007__working,prd).
arc(r_0142_0005__every__quant,r_0142_0003__should,scope).
arc(r_0142_0005__every__quant,r_0142_0006__man,restriction).
arc(r_0142_0007__working,r_0142_0008__here,nim).
arc(r_0142_0007__working,z_0142_5006,arg0).

fof(formula,axiom,
    ! [R_0142_0006__MAN] :
      ( r_0142_0006__man(R_0142_0006__MAN)
     => ? [R_0142_0002__WE,R_0142_0008__HERE,Z_0142_5006,R_0142_0007__WORKING,R_0142_0003__SHOULD_R_0142_0004__KEEP] :
          ( r_0142_0002__We(R_0142_0002__WE)
          & r_0142_0008__here(R_0142_0008__HERE)
          & z_0142_5006(Z_0142_5006)
          & r_0142_0003__should_r_0142_0004__keep(R_0142_0003__SHOULD_R_0142_0004__KEEP)
          & has_prd(R_0142_0003__SHOULD_R_0142_0004__KEEP,R_0142_0007__WORKING)
          & r_0142_0007__working(R_0142_0007__WORKING)
          & has_arg0(R_0142_0007__WORKING,Z_0142_5006)
          & has_nim(R_0142_0007__WORKING,R_0142_0008__HERE)
          & has_arg1(R_0142_0003__SHOULD_R_0142_0004__KEEP,R_0142_0006__MAN)
          & has_arg0(R_0142_0003__SHOULD_R_0142_0004__KEEP,R_0142_0002__WE) ) ) ).