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_152_1_OR,R_152_2_SOME_CHARITY] :
      ( some_charity(R_152_2_SOME_CHARITY)
      & or(R_152_1_OR)
      & nim4(R_152_1_OR,R_152_2_SOME_CHARITY) ) ).


n152_a_loosechange n152_a_loosechange_3 Or n152_a_loosechange_6 some n152_a_loosechange_8 charity n152_a_loosechange_10 ? n152_a_loosechange_1 FRAG n152_a_loosechange_2 CONJ n152_a_loosechange_1->n152_a_loosechange_2 n152_a_loosechange_4 NP n152_a_loosechange_1->n152_a_loosechange_4 n152_a_loosechange_9 PUNC n152_a_loosechange_1->n152_a_loosechange_9 n152_a_loosechange_2->n152_a_loosechange_3 n152_a_loosechange_5 D n152_a_loosechange_4->n152_a_loosechange_5 n152_a_loosechange_7 N n152_a_loosechange_4->n152_a_loosechange_7 n152_a_loosechange_5->n152_a_loosechange_6 n152_a_loosechange_7->n152_a_loosechange_8 n152_a_loosechange_9->n152_a_loosechange_10 
( (FRAG (CONJ Or;{or})
        (NP (D some;{some})
            (N charity;{charity}))
        (PUNC ?))
  (ID 152_a_loosechange))