Context                Previous, Next                Top


73_a_ibm_1401
IBM Stands For Service

%3 r_0073_0002__Stands Stands r_0073_0001__IBM IBM r_0073_0002__Stands->r_0073_0001__IBM [arg0] r_0073_0004__Service Service r_0073_0002__Stands->r_0073_0004__Service For [clr] 
arc(r_0073_0002__Stands, r_0073_0001__IBM, arg0).
arc(r_0073_0002__Stands, r_0073_0004__Service, r_0073_0003__For_clr10).


%3 r_0073_0002__Stands Stands r_0073_0004__Service Service r_0073_0002__Stands->r_0073_0004__Service For [clr] r_0073_0001__IBM IBM r_0073_0002__Stands->r_0073_0001__IBM [arg0] 
fof(formula,axiom,
    ? [R_0073_0001__IBM,R_0073_0004__SERVICE,R_0073_0002__STANDS] :
      ( r_0073_0001__IBM(R_0073_0001__IBM)
      & r_0073_0004__Service(R_0073_0004__SERVICE)
      & r_0073_0002__Stands(R_0073_0002__STANDS)
      & has_r_0073_0003__For_clr10(R_0073_0002__STANDS,R_0073_0004__SERVICE)
      & has_arg0(R_0073_0002__STANDS,R_0073_0001__IBM) ) ).


n73_a_ibm_1401 n73_a_ibm_1401__1_1_1_1 IBM n73_a_ibm_1401__1_2_1 Stands n73_a_ibm_1401__1_3_1_1 For n73_a_ibm_1401__1_3_2_1_1 Service n73_a_ibm_1401__1 IP-MAT n73_a_ibm_1401__1_1 NP-SBJ n73_a_ibm_1401__1->n73_a_ibm_1401__1_1 n73_a_ibm_1401__1_2 VBP;_Ipr_ n73_a_ibm_1401__1->n73_a_ibm_1401__1_2 n73_a_ibm_1401__1_3 PP-CLR n73_a_ibm_1401__1->n73_a_ibm_1401__1_3 n73_a_ibm_1401__1_1_1 NPR n73_a_ibm_1401__1_1->n73_a_ibm_1401__1_1_1 n73_a_ibm_1401__1_1_1->n73_a_ibm_1401__1_1_1_1 n73_a_ibm_1401__1_2->n73_a_ibm_1401__1_2_1 n73_a_ibm_1401__1_3_1 P-ROLE n73_a_ibm_1401__1_3->n73_a_ibm_1401__1_3_1 n73_a_ibm_1401__1_3_2 NP n73_a_ibm_1401__1_3->n73_a_ibm_1401__1_3_2 n73_a_ibm_1401__1_3_1->n73_a_ibm_1401__1_3_1_1 n73_a_ibm_1401__1_3_2_1 N n73_a_ibm_1401__1_3_2->n73_a_ibm_1401__1_3_2_1 n73_a_ibm_1401__1_3_2_1->n73_a_ibm_1401__1_3_2_1_1 
( (IP-MAT (NP-SBJ (NPR IBM;{IBM}))
          (VBP;_Ipr_ Stands;{stand[for]})
          (PP-CLR (P-ROLE For;{for})
                  (NP (N Service;{service}))))
  (ID 73_a_ibm_1401))