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_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] 
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_4 Mac n1_a_lob_a02_6 picks n1_a_lob_a02_10 his n1_a_lob_a02_12 market n1_a_lob_a02_14 team n1_a_lob_a02_16 . n1_a_lob_a02_1 IP-MAT n1_a_lob_a02_2 NP-SBJ n1_a_lob_a02_1->n1_a_lob_a02_2 n1_a_lob_a02_5 VBP;_Tn_ n1_a_lob_a02_1->n1_a_lob_a02_5 n1_a_lob_a02_7 NP-OB1 n1_a_lob_a02_1->n1_a_lob_a02_7 n1_a_lob_a02_15 PUNC n1_a_lob_a02_1->n1_a_lob_a02_15 n1_a_lob_a02_3 NPR n1_a_lob_a02_2->n1_a_lob_a02_3 n1_a_lob_a02_3->n1_a_lob_a02_4 n1_a_lob_a02_5->n1_a_lob_a02_6 n1_a_lob_a02_8 NP-GEN n1_a_lob_a02_7->n1_a_lob_a02_8 n1_a_lob_a02_11 N n1_a_lob_a02_7->n1_a_lob_a02_11 n1_a_lob_a02_13 N n1_a_lob_a02_7->n1_a_lob_a02_13 n1_a_lob_a02_9 PRO;_genm_ n1_a_lob_a02_8->n1_a_lob_a02_9 n1_a_lob_a02_9->n1_a_lob_a02_10 n1_a_lob_a02_11->n1_a_lob_a02_12 n1_a_lob_a02_13->n1_a_lob_a02_14 n1_a_lob_a02_15->n1_a_lob_a02_16 
( (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))