TSPC 56_a_paulfellows

56_a_paulfellows
All the Amino set top boxes and all the AlertMe sensors are the great grandchildren of all of this.

( (IP-MAT (NP-SBJ (NLYR (NLYR (Q;_nphd_ All;{all})
                              (NLYR (D the;{the})
                                    (NPR Amino;{Amino})
                                    (N set;{set})
                                    (N top;{top})
                                    (NS boxes;{box})))
                        (CONJP (CONJ and;{and})
                               (NLYR (Q;_nphd_ all;{all})
                                     (NLYR (D the;{the})
                                           (NPR AlertMe;{AlertMe})
                                           (NS sensors;{sensor}))))))
          (BEP;_Ln_ are;{be})
          (NP-PRD (D the;{the})
                  (ADJP (ADJ great;{great}))
                  (NS grandchildren;{grandchild})
                  (PP (P-ROLE of;{of})
                      (NP (Q;_nphd_ all;{all})
                          (PP (P-ROLE of;{of})
                              (NP (D;_nphd_ this;{this}))))))
          (PUNC .))
  (ID 56_a_paulfellows))

arc(r_0056_0001__All__quant,r_0056_0008__all__quant,scope).
arc(r_0056_0001__All__quant,z_0056_5005,restriction).
arc(r_0056_0007__and,z_0056_5005,conj1).
arc(r_0056_0007__and,z_0056_5009,conj2).
arc(r_0056_0008__all__quant,r_0056_0007__and,scope).
arc(r_0056_0008__all__quant,z_0056_5009,restriction).
arc(r_0056_0012__are,r_0056_0007__and,arg0).
arc(r_0056_0012__are,r_0056_0013__the_r_0056_0015__grandchildren,prd).
arc(r_0056_0013__the_r_0056_0015__grandchildren,r_0056_0014__great,attrib).
arc(r_0056_0013__the_r_0056_0015__grandchildren,z_0056_5014,r_0056_0016__of).
arc(r_0056_0017__all__quant,r_0056_0013__the_r_0056_0015__grandchildren,scope).
arc(r_0056_0017__all__quant,z_0056_5014,restriction).
arc(z_0056_5005,r_0056_0002__the_r_0056_0003__Amino_r_0056_0004__set_r_0056_0005__top_r_0056_0006__boxes,nim).
arc(z_0056_5009,r_0056_0009__the_r_0056_0010__AlertMe_r_0056_0011__sensors,nim).
arc(z_0056_5014,r_0056_0019__this,r_0056_0018__of).

fof(formula,axiom,
    ! [Z_0056_5005] :
      ( ! [Z_0056_5014,R_0056_0019__THIS] :
          ( ( r_0056_0019__this(R_0056_0019__THIS)
            & z_0056_5014(Z_0056_5014)
            & has_r_0056_0018__of(Z_0056_5014,R_0056_0019__THIS) )
         => ? [R_0056_0002__THE_R_0056_0003__AMINO_R_0056_0004__SET_R_0056_0005__TOP_R_0056_0006__BOXES,R_0056_0009__THE_R_0056_0010__ALERTME_R_0056_0011__SENSORS,Z_0056_5009,R_0056_0007__AND,R_0056_0014__GREAT,R_0056_0013__THE_R_0056_0015__GRANDCHILDREN,R_0056_0012__ARE] :
              ( r_0056_0002__the_r_0056_0003__Amino_r_0056_0004__set_r_0056_0005__top_r_0056_0006__boxes(R_0056_0002__THE_R_0056_0003__AMINO_R_0056_0004__SET_R_0056_0005__TOP_R_0056_0006__BOXES)
              & r_0056_0009__the_r_0056_0010__AlertMe_r_0056_0011__sensors(R_0056_0009__THE_R_0056_0010__ALERTME_R_0056_0011__SENSORS)
              & r_0056_0014__great(R_0056_0014__GREAT)
              & r_0056_0012__are(R_0056_0012__ARE)
              & has_prd(R_0056_0012__ARE,R_0056_0013__THE_R_0056_0015__GRANDCHILDREN)
              & r_0056_0013__the_r_0056_0015__grandchildren(R_0056_0013__THE_R_0056_0015__GRANDCHILDREN)
              & has_r_0056_0016__of(R_0056_0013__THE_R_0056_0015__GRANDCHILDREN,Z_0056_5014)
              & has_attrib(R_0056_0013__THE_R_0056_0015__GRANDCHILDREN,R_0056_0014__GREAT)
              & has_arg0(R_0056_0012__ARE,R_0056_0007__AND)
              & r_0056_0007__and(R_0056_0007__AND)
              & has_conj2(R_0056_0007__AND,Z_0056_5009)
              & z_0056_5009(Z_0056_5009)
              & has_nim(Z_0056_5009,R_0056_0009__THE_R_0056_0010__ALERTME_R_0056_0011__SENSORS)
              & has_conj1(R_0056_0007__AND,Z_0056_5005) ) )
     => ! [Z_0056_5009,R_0056_0009__THE_R_0056_0010__ALERTME_R_0056_0011__SENSORS] :
          ( ( r_0056_0009__the_r_0056_0010__AlertMe_r_0056_0011__sensors(R_0056_0009__THE_R_0056_0010__ALERTME_R_0056_0011__SENSORS)
            & z_0056_5009(Z_0056_5009)
            & has_nim(Z_0056_5009,R_0056_0009__THE_R_0056_0010__ALERTME_R_0056_0011__SENSORS) )
         => ? [R_0056_0002__THE_R_0056_0003__AMINO_R_0056_0004__SET_R_0056_0005__TOP_R_0056_0006__BOXES,R_0056_0007__AND,R_0056_0014__GREAT,R_0056_0019__THIS,Z_0056_5014,R_0056_0013__THE_R_0056_0015__GRANDCHILDREN,R_0056_0012__ARE] :
              ( r_0056_0002__the_r_0056_0003__Amino_r_0056_0004__set_r_0056_0005__top_r_0056_0006__boxes(R_0056_0002__THE_R_0056_0003__AMINO_R_0056_0004__SET_R_0056_0005__TOP_R_0056_0006__BOXES)
              & r_0056_0014__great(R_0056_0014__GREAT)
              & r_0056_0019__this(R_0056_0019__THIS)
              & r_0056_0012__are(R_0056_0012__ARE)
              & has_prd(R_0056_0012__ARE,R_0056_0013__THE_R_0056_0015__GRANDCHILDREN)
              & r_0056_0013__the_r_0056_0015__grandchildren(R_0056_0013__THE_R_0056_0015__GRANDCHILDREN)
              & has_r_0056_0016__of(R_0056_0013__THE_R_0056_0015__GRANDCHILDREN,Z_0056_5014)
              & z_0056_5014(Z_0056_5014)
              & has_r_0056_0018__of(Z_0056_5014,R_0056_0019__THIS)
              & has_attrib(R_0056_0013__THE_R_0056_0015__GRANDCHILDREN,R_0056_0014__GREAT)
              & has_arg0(R_0056_0012__ARE,R_0056_0007__AND)
              & r_0056_0007__and(R_0056_0007__AND)
              & has_conj2(R_0056_0007__AND,Z_0056_5009)
              & has_conj1(R_0056_0007__AND,Z_0056_5005) ) ) ) ).