arc(r_0342_0002___apos_s, r_0342_0001__It, arg0).
arc(r_0342_0002___apos_s, r_0342_0003__alert, prd).
arc(r_0342_0003__alert, r_0342_0005__anything, r_0342_0004__to).
arc(r_0342_0007__flies, r_0342_0005__anything, arg0).
arc(r_0342_0007__flies, r_0342_0011__the_r_0342_0012__ground_r_0342_0013__level, r_0342_0010__above_nim34).
arc(r_0342_0008__or, r_0342_0007__flies, conj1).
arc(r_0342_0008__or, r_0342_0009__moves, conj2).
arc(r_0342_0009__moves, r_0342_0005__anything, arg0).
arc(r_0342_0009__moves, r_0342_0011__the_r_0342_0012__ground_r_0342_0013__level, r_0342_0010__above_nim34).

fof(formula,axiom,
    ? [R_0342_0001__IT,R_0342_0005__ANYTHING,R_0342_0003__ALERT,R_0342_0002___APOS_S,R_0342_0011__THE_R_0342_0012__GROUND_R_0342_0013__LEVEL,R_0342_0007__FLIES,R_0342_0009__MOVES,R_0342_0008__OR] :
      ( r_0342_0001__It(R_0342_0001__IT)
      & r_0342_0005__anything(R_0342_0005__ANYTHING)
      & r_0342_0011__the_r_0342_0012__ground_r_0342_0013__level(R_0342_0011__THE_R_0342_0012__GROUND_R_0342_0013__LEVEL)
      & r_0342_0008__or(R_0342_0008__OR)
      & has_conj2(R_0342_0008__OR,R_0342_0009__MOVES)
      & r_0342_0009__moves(R_0342_0009__MOVES)
      & has_r_0342_0010__above_nim34(R_0342_0009__MOVES,R_0342_0011__THE_R_0342_0012__GROUND_R_0342_0013__LEVEL)
      & has_arg0(R_0342_0009__MOVES,R_0342_0005__ANYTHING)
      & has_conj1(R_0342_0008__OR,R_0342_0007__FLIES)
      & r_0342_0007__flies(R_0342_0007__FLIES)
      & has_r_0342_0010__above_nim34(R_0342_0007__FLIES,R_0342_0011__THE_R_0342_0012__GROUND_R_0342_0013__LEVEL)
      & has_arg0(R_0342_0007__FLIES,R_0342_0005__ANYTHING)
      & r_0342_0002___apos_s(R_0342_0002___APOS_S)
      & has_prd(R_0342_0002___APOS_S,R_0342_0003__ALERT)
      & r_0342_0003__alert(R_0342_0003__ALERT)
      & has_r_0342_0004__to(R_0342_0003__ALERT,R_0342_0005__ANYTHING)
      & has_arg0(R_0342_0002___APOS_S,R_0342_0001__IT) ) ).

( (IP-MAT (NP-SBJ;{GUN} (PRO It;{it}))
          (BEP;_La_ <apos>s;{be})
          (ADJP-PRD (ADJ alert;{alert})
                    (PP (P-ROLE to;{to})
                        (NP (D;_nphd_ anything;{anything})
                            (IP-REL (C that;{that})
                                    (NP-SBJ *T*)
                                    (ILYR (ILYR (VBP;_I_ flies;{fly}))
                                          (CONJP (CONJ or;{or})
                                                 (ILYR (VBP;_I_ moves;{move}))))
                                    (PP-NIM (P-ROLE above;{above})
                                            (NP (D the;{the})
                                                (N ground;{ground})
                                                (N level;{level})))))))
          (PUNC .))
  (ID 342_a_dick_1952))