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

arc(r_0011_0002__was,r_0011_0003__also,nim).
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_0007__nobody__quant,r_0011_0008__registered_r_0011_0009__for,scope).
arc(r_0011_0007__nobody__quant,z_0011_5005,restriction).
arc(r_0011_0008__registered_r_0011_0009__for,r_0011_0010__the_r_0011_0012__history_r_0011_0013__course,arg1).
arc(r_0011_0008__registered_r_0011_0009__for,z_0011_5005,arg0).
arc(r_0011_0010__the_r_0011_0012__history_r_0011_0013__course,r_0011_0011__local,attrib).

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_0011_5005] :
          ( z_0011_5005(Z_0011_5005)
         => ? [R_0011_0011__LOCAL,R_0011_0010__THE_R_0011_0012__HISTORY_R_0011_0013__COURSE,R_0011_0008__REGISTERED_R_0011_0009__FOR] :
              ( r_0011_0011__local(R_0011_0011__LOCAL)
              & r_0011_0008__registered_r_0011_0009__for(R_0011_0008__REGISTERED_R_0011_0009__FOR)
              & has_arg0(R_0011_0008__REGISTERED_R_0011_0009__FOR,Z_0011_5005)
              & has_arg1(R_0011_0008__REGISTERED_R_0011_0009__FOR,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_attrib(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_nim(R_0011_0002__WAS,R_0011_0003__ALSO) ) ).