TSPC 342_a_dick

342_a_dick_1952
It's alert to anything that flies or moves above the ground level.

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

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,inv_arg0).
arc(r_0342_0007__flies,r_0342_0011__the_r_0342_0012__ground_r_0342_0013__level,r_0342_0010__above__nim).
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,inv_arg0).
arc(r_0342_0009__moves,r_0342_0011__the_r_0342_0012__ground_r_0342_0013__level,r_0342_0010__above__nim).

fof(formula,axiom,
    ? [R_0342_0001__IT,R_0342_0011__THE_R_0342_0012__GROUND_R_0342_0013__LEVEL,R_0342_0007__FLIES,R_0342_0009__MOVES,R_0342_0005__ANYTHING,R_0342_0003__ALERT,R_0342_0002___APOS_S,R_0342_0008__OR] :
      ( r_0342_0001__It(R_0342_0001__IT)
      & 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__nim(R_0342_0009__MOVES,R_0342_0011__THE_R_0342_0012__GROUND_R_0342_0013__LEVEL)
      & has_conj1(R_0342_0008__OR,R_0342_0007__FLIES)
      & r_0342_0007__flies(R_0342_0007__FLIES)
      & has_r_0342_0010__above__nim(R_0342_0007__FLIES,R_0342_0011__THE_R_0342_0012__GROUND_R_0342_0013__LEVEL)
      & 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)
      & r_0342_0005__anything(R_0342_0005__ANYTHING)
      & has_inv_arg0(R_0342_0005__ANYTHING,R_0342_0009__MOVES)
      & has_inv_arg0(R_0342_0005__ANYTHING,R_0342_0007__FLIES)
      & has_arg0(R_0342_0002___APOS_S,R_0342_0001__IT) ) ).