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_0003__safe safe r_0009_0001__Is->r_0009_0003__safe [prd] r_0009_0002__it it r_0009_0001__Is->r_0009_0002__it [arg0] 
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__1_1_1_1 Is n9_a_takmi__1_1_2_1_1 it n9_a_takmi__1_1_3_1_1 safe n9_a_takmi__1_2_1 ? n9_a_takmi__1 CP-QUE-MAT n9_a_takmi__1_1 IP-SUB n9_a_takmi__1->n9_a_takmi__1_1 n9_a_takmi__1_2 PUNC n9_a_takmi__1->n9_a_takmi__1_2 n9_a_takmi__1_1_1 BEP;_La_ n9_a_takmi__1_1->n9_a_takmi__1_1_1 n9_a_takmi__1_1_2 NP-SBJ n9_a_takmi__1_1->n9_a_takmi__1_1_2 n9_a_takmi__1_1_3 ADJP-PRD n9_a_takmi__1_1->n9_a_takmi__1_1_3 n9_a_takmi__1_1_1->n9_a_takmi__1_1_1_1 n9_a_takmi__1_1_2_1 PRO n9_a_takmi__1_1_2->n9_a_takmi__1_1_2_1 n9_a_takmi__1_1_2_1->n9_a_takmi__1_1_2_1_1 n9_a_takmi__1_1_3_1 ADJ n9_a_takmi__1_1_3->n9_a_takmi__1_1_3_1 n9_a_takmi__1_1_3_1->n9_a_takmi__1_1_3_1_1 n9_a_takmi__1_2->n9_a_takmi__1_2_1 
( (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))