Context                Previous, Next                Top


9_a_takmi
Is it safe?

%3 r_0009_0001__Is Is r_0009_0002__it it r_0009_0001__Is->r_0009_0002__it [arg0] r_0009_0003__safe safe r_0009_0001__Is->r_0009_0003__safe [prd] 
arc(r_0009_0001__Is, r_0009_0002__it, arg0).
arc(r_0009_0001__Is, r_0009_0003__safe, prd).


%3 r_0009_0001__Is Is r_0009_0002__it it r_0009_0001__Is->r_0009_0002__it [arg0] r_0009_0003__safe safe r_0009_0001__Is->r_0009_0003__safe [prd] 
fof(formula,axiom,
    ? [R_9_1_IS,R_9_2_IT,R_9_3_SAFE] :
      ( it(R_9_2_IT)
      & safe(R_9_3_SAFE)
      & is(R_9_1_IS,R_9_2_IT,R_9_3_SAFE) ) ).


n9_a_takmi n9_a_takmi_4 Is n9_a_takmi_7 it n9_a_takmi_10 safe n9_a_takmi_12 ? n9_a_takmi_1 CP-QUE-MAT n9_a_takmi_2 IP-SUB n9_a_takmi_1->n9_a_takmi_2 n9_a_takmi_11 PUNC n9_a_takmi_1->n9_a_takmi_11 n9_a_takmi_3 BEP;_La_ n9_a_takmi_2->n9_a_takmi_3 n9_a_takmi_5 NP-SBJ n9_a_takmi_2->n9_a_takmi_5 n9_a_takmi_8 ADJP-PRD n9_a_takmi_2->n9_a_takmi_8 n9_a_takmi_3->n9_a_takmi_4 n9_a_takmi_6 PRO n9_a_takmi_5->n9_a_takmi_6 n9_a_takmi_6->n9_a_takmi_7 n9_a_takmi_9 ADJ n9_a_takmi_8->n9_a_takmi_9 n9_a_takmi_9->n9_a_takmi_10 n9_a_takmi_11->n9_a_takmi_12 
( (CP-QUE-MAT (IP-SUB (BEP;_La_ Is;{be})
                      (NP-SBJ;{CUP} (PRO it;{it}))
                      (ADJP-PRD (ADJ safe;{safe})))
              (PUNC ?))
  (ID 9_a_takmi))