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_1_2_PICKS,R_1_4_MARKET_TEAM,R_1_1_MAC] :
      ( mac(R_1_1_MAC)
      & picks(R_1_2_PICKS,R_1_1_MAC,R_1_4_MARKET_TEAM)
      & market_team(R_1_4_MARKET_TEAM)
      & gen(R_1_4_MARKET_TEAM,R_1_1_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))