Context                Previous, Next                Top


1_a_lob_a02
Mac picks his market team.

%3 r_0001_0002__picks picks r_0001_0001__Mac Mac r_0001_0002__picks->r_0001_0001__Mac [arg0] r_0001_0004__market_r_0001_0005__team market team r_0001_0002__picks->r_0001_0004__market_r_0001_0005__team [arg1] r_0001_0004__market_r_0001_0005__team->r_0001_0001__Mac [gen] 
arc(r_0001_0002__picks, r_0001_0001__Mac, arg0).
arc(r_0001_0002__picks, r_0001_0004__market_r_0001_0005__team, arg1).
arc(r_0001_0004__market_r_0001_0005__team, r_0001_0001__Mac, gen).


%3 r_0001_0004__market_r_0001_0005__team market team r_0001_0001__Mac Mac r_0001_0004__market_r_0001_0005__team->r_0001_0001__Mac [gen] r_0001_0002__picks picks r_0001_0002__picks->r_0001_0004__market_r_0001_0005__team [arg1] r_0001_0002__picks->r_0001_0001__Mac [arg0] 
fof(formula,axiom,
    ? [R_0001_0001__MAC,R_0001_0004__MARKET_R_0001_0005__TEAM,R_0001_0002__PICKS] :
      ( r_0001_0001__Mac(R_0001_0001__MAC)
      & r_0001_0002__picks(R_0001_0002__PICKS)
      & has_arg1(R_0001_0002__PICKS,R_0001_0004__MARKET_R_0001_0005__TEAM)
      & r_0001_0004__market_r_0001_0005__team(R_0001_0004__MARKET_R_0001_0005__TEAM)
      & has_gen(R_0001_0004__MARKET_R_0001_0005__TEAM,R_0001_0001__MAC)
      & has_arg0(R_0001_0002__PICKS,R_0001_0001__MAC) ) ).


n1_a_lob_a02 n1_a_lob_a02__1_1_1_1 Mac n1_a_lob_a02__1_2_1 picks n1_a_lob_a02__1_3_1_1_1 his n1_a_lob_a02__1_3_2_1 market n1_a_lob_a02__1_3_3_1 team n1_a_lob_a02__1_4_1 . n1_a_lob_a02__1 IP-MAT n1_a_lob_a02__1_1 NP-SBJ n1_a_lob_a02__1->n1_a_lob_a02__1_1 n1_a_lob_a02__1_2 VBP;_Tn_ n1_a_lob_a02__1->n1_a_lob_a02__1_2 n1_a_lob_a02__1_3 NP-OB1 n1_a_lob_a02__1->n1_a_lob_a02__1_3 n1_a_lob_a02__1_4 PUNC n1_a_lob_a02__1->n1_a_lob_a02__1_4 n1_a_lob_a02__1_1_1 NPR n1_a_lob_a02__1_1->n1_a_lob_a02__1_1_1 n1_a_lob_a02__1_1_1->n1_a_lob_a02__1_1_1_1 n1_a_lob_a02__1_2->n1_a_lob_a02__1_2_1 n1_a_lob_a02__1_3_1 NP-GEN n1_a_lob_a02__1_3->n1_a_lob_a02__1_3_1 n1_a_lob_a02__1_3_2 N n1_a_lob_a02__1_3->n1_a_lob_a02__1_3_2 n1_a_lob_a02__1_3_3 N n1_a_lob_a02__1_3->n1_a_lob_a02__1_3_3 n1_a_lob_a02__1_3_1_1 PRO;_genm_ n1_a_lob_a02__1_3_1->n1_a_lob_a02__1_3_1_1 n1_a_lob_a02__1_3_1_1->n1_a_lob_a02__1_3_1_1_1 n1_a_lob_a02__1_3_2->n1_a_lob_a02__1_3_2_1 n1_a_lob_a02__1_3_3->n1_a_lob_a02__1_3_3_1 n1_a_lob_a02__1_4->n1_a_lob_a02__1_4_1 
( (IP-MAT (NP-SBJ;{MACMILLAN} (NPR Mac;{Mac}))
          (VBP;_Tn_ picks;{pick})
          (NP-OB1 (NP-GEN;{MACMILLAN} (PRO;_genm_ his;{his}))
                  (N market;{market})
                  (N team;{team}))
          (PUNC .))
  (ID 1_a_lob_a02))