arc(r_0142_0003__should, r_0142_0005__every_quant, 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_0004__keep, scope).
arc(r_0142_0005__every_quant, r_0142_0006__man, restriction).
arc(r_0142_0007__working, r_0142_0008__here, nim20).
arc(r_0142_0007__working, x_000_142_a_dick_1952_17, arg0).

fof(formula,axiom,
    ? [R_0142_0003__SHOULD] :
      ( r_0142_0003__should(R_0142_0003__SHOULD)
      & ! [R_0142_0006__MAN] :
          ( r_0142_0006__man(R_0142_0006__MAN)
         => ? [R_0142_0002__WE,R_0142_0008__HERE,X_000_142_A_DICK_1952_17,R_0142_0007__WORKING,R_0142_0004__KEEP] :
              ( r_0142_0002__We(R_0142_0002__WE)
              & r_0142_0008__here(R_0142_0008__HERE)
              & x_000_142_a_dick_1952_17(X_000_142_A_DICK_1952_17)
              & r_0142_0004__keep(R_0142_0004__KEEP)
              & has_prd(R_0142_0004__KEEP,R_0142_0007__WORKING)
              & r_0142_0007__working(R_0142_0007__WORKING)
              & has_arg0(R_0142_0007__WORKING,X_000_142_A_DICK_1952_17)
              & has_nim20(R_0142_0007__WORKING,R_0142_0008__HERE)
              & has_arg1(R_0142_0004__KEEP,R_0142_0006__MAN)
              & has_arg0(R_0142_0004__KEEP,R_0142_0002__WE) ) ) ) ).

( (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))