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_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] 
fof(formula,axiom,
    ? [R_73_2_STANDS,R_73_1_IBM,R_73_4_SERVICE] :
      ( iBM(R_73_1_IBM)
      & service(R_73_4_SERVICE)
      & stands(R_73_2_STANDS,R_73_1_IBM)
      & for_clr10(R_73_2_STANDS,R_73_4_SERVICE) ) ).


n73_a_ibm_1401 n73_a_ibm_1401_4 IBM n73_a_ibm_1401_6 Stands n73_a_ibm_1401_9 For n73_a_ibm_1401_12 Service n73_a_ibm_1401_1 IP-MAT n73_a_ibm_1401_2 NP-SBJ n73_a_ibm_1401_1->n73_a_ibm_1401_2 n73_a_ibm_1401_5 VBP;_Ipr_ n73_a_ibm_1401_1->n73_a_ibm_1401_5 n73_a_ibm_1401_7 PP-CLR n73_a_ibm_1401_1->n73_a_ibm_1401_7 n73_a_ibm_1401_3 NPR n73_a_ibm_1401_2->n73_a_ibm_1401_3 n73_a_ibm_1401_3->n73_a_ibm_1401_4 n73_a_ibm_1401_5->n73_a_ibm_1401_6 n73_a_ibm_1401_8 P-ROLE n73_a_ibm_1401_7->n73_a_ibm_1401_8 n73_a_ibm_1401_10 NP n73_a_ibm_1401_7->n73_a_ibm_1401_10 n73_a_ibm_1401_8->n73_a_ibm_1401_9 n73_a_ibm_1401_11 N n73_a_ibm_1401_10->n73_a_ibm_1401_11 n73_a_ibm_1401_11->n73_a_ibm_1401_12 
( (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))