Context                Previous, Next                Top


152_a_loosechange
Or some charity?

%3 r_0152_0001__Or Or r_0152_0002__some_r_0152_0003__charity some charity r_0152_0001__Or->r_0152_0002__some_r_0152_0003__charity [nim] 
arc(r_0152_0001__Or, r_0152_0002__some_r_0152_0003__charity, nim4).


%3 r_0152_0001__Or Or r_0152_0002__some_r_0152_0003__charity some charity r_0152_0001__Or->r_0152_0002__some_r_0152_0003__charity [nim] 
fof(formula,axiom,
    ? [R_0152_0002__SOME_R_0152_0003__CHARITY,R_0152_0001__OR] :
      ( r_0152_0002__some_r_0152_0003__charity(R_0152_0002__SOME_R_0152_0003__CHARITY)
      & r_0152_0001__Or(R_0152_0001__OR)
      & has_nim4(R_0152_0001__OR,R_0152_0002__SOME_R_0152_0003__CHARITY) ) ).


n152_a_loosechange n152_a_loosechange__1_1_1 Or n152_a_loosechange__1_2_1_1 some n152_a_loosechange__1_2_2_1 charity n152_a_loosechange__1_3_1 ? n152_a_loosechange__1 FRAG n152_a_loosechange__1_1 CONJ n152_a_loosechange__1->n152_a_loosechange__1_1 n152_a_loosechange__1_2 NP n152_a_loosechange__1->n152_a_loosechange__1_2 n152_a_loosechange__1_3 PUNC n152_a_loosechange__1->n152_a_loosechange__1_3 n152_a_loosechange__1_1->n152_a_loosechange__1_1_1 n152_a_loosechange__1_2_1 D n152_a_loosechange__1_2->n152_a_loosechange__1_2_1 n152_a_loosechange__1_2_2 N n152_a_loosechange__1_2->n152_a_loosechange__1_2_2 n152_a_loosechange__1_2_1->n152_a_loosechange__1_2_1_1 n152_a_loosechange__1_2_2->n152_a_loosechange__1_2_2_1 n152_a_loosechange__1_3->n152_a_loosechange__1_3_1 
( (FRAG (CONJ Or;{or})
        (NP (D some;{some})
            (N charity;{charity}))
        (PUNC ?))
  (ID 152_a_loosechange))