arc(r_0011_0002__was, r_0011_0003__also, nim7).
arc(r_0011_0002__was, r_0011_0004__a_r_0011_0005__pity, prd).
arc(r_0011_0002__was, r_0011_0007__nobody_quant, arg0).
arc(r_0011_0006__that_r_0011_0008__registered, r_0011_0010__the_r_0011_0012__history_r_0011_0013__course, r_0011_0009__for_clr27).
arc(r_0011_0006__that_r_0011_0008__registered, z_000_11_a_fce_0101_2001_06_19, arg0).
arc(r_0011_0007__nobody_quant, r_0011_0006__that_r_0011_0008__registered, scope).
arc(r_0011_0007__nobody_quant, z_000_11_a_fce_0101_2001_06_19, restriction).
arc(r_0011_0010__the_r_0011_0012__history_r_0011_0013__course, r_0011_0011__local, attrib30).

fof(formula,axiom,
    ? [R_0011_0003__ALSO,R_0011_0004__A_R_0011_0005__PITY,R_0011_0002__WAS] :
      ( r_0011_0003__also(R_0011_0003__ALSO)
      & r_0011_0004__a_r_0011_0005__pity(R_0011_0004__A_R_0011_0005__PITY)
      & r_0011_0002__was(R_0011_0002__WAS)
      & ! [Z_000_11_A_FCE_0101_2001_06_19] :
          ( z_000_11_a_fce_0101_2001_06_19(Z_000_11_A_FCE_0101_2001_06_19)
         => ? [R_0011_0011__LOCAL,R_0011_0010__THE_R_0011_0012__HISTORY_R_0011_0013__COURSE,R_0011_0006__THAT_R_0011_0008__REGISTERED] :
              ( r_0011_0011__local(R_0011_0011__LOCAL)
              & r_0011_0006__that_r_0011_0008__registered(R_0011_0006__THAT_R_0011_0008__REGISTERED)
              & has_arg0(R_0011_0006__THAT_R_0011_0008__REGISTERED,Z_000_11_A_FCE_0101_2001_06_19)
              & has_r_0011_0009__for_clr27(R_0011_0006__THAT_R_0011_0008__REGISTERED,R_0011_0010__THE_R_0011_0012__HISTORY_R_0011_0013__COURSE)
              & r_0011_0010__the_r_0011_0012__history_r_0011_0013__course(R_0011_0010__THE_R_0011_0012__HISTORY_R_0011_0013__COURSE)
              & has_attrib30(R_0011_0010__THE_R_0011_0012__HISTORY_R_0011_0013__COURSE,R_0011_0011__LOCAL) ) )
      & has_prd(R_0011_0002__WAS,R_0011_0004__A_R_0011_0005__PITY)
      & has_nim7(R_0011_0002__WAS,R_0011_0003__ALSO) ) ).

( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (BED;_Ln_ was;{be})
          (ADVP-NIM (ADV also;{also}))
          (NP-PRD (D a;{a})
                  (N pity;{pity}))
          (CP-THT-NSBJ (IP-SUB (C that;{that})
                               (NP-SBJ (Q;_nphd_ nobody;{nobody}))
                               (VBD;_Ipr_ registered;{register[for]})
                               (PP-CLR (P-ROLE for;{for})
                                       (NP (D the;{the})
                                           (ADJP (ADJ local;{local}))
                                           (N history;{history})
                                           (N course;{course})))))
          (PUNC .))
  (ID 11_a_fce_0101_2001_06))