Context                Previous, Next                Top


70_a_loosechange
A student perhaps.

%3 r_0070_0001__A_r_0070_0002__student A student r_0070_0003__perhaps perhaps r_0070_0001__A_r_0070_0002__student->r_0070_0003__perhaps [qual] z_000_70_a_loosechange_1 z_000_70_a_loosechange_1->r_0070_0001__A_r_0070_0002__student [nim] 
arc(r_0070_0001__A_r_0070_0002__student, r_0070_0003__perhaps, qual7).
arc(z_000_70_a_loosechange_1, r_0070_0001__A_r_0070_0002__student, nim2).


%3 r_0070_0001__A_r_0070_0002__student A student r_0070_0003__perhaps perhaps r_0070_0001__A_r_0070_0002__student->r_0070_0003__perhaps [qual] z_000_70_a_loosechange_1 z_000_70_a_loosechange_1->r_0070_0001__A_r_0070_0002__student [nim] 
fof(formula,axiom,
    ? [Z_70_A_LOOSECHANGE_1,R_70_1_A_STUDENT,R_70_3_PERHAPS] :
      ( perhaps(R_70_3_PERHAPS)
      & z_70_a_loosechange_1(Z_70_A_LOOSECHANGE_1)
      & nim2(Z_70_A_LOOSECHANGE_1,R_70_1_A_STUDENT)
      & a_student(R_70_1_A_STUDENT)
      & qual7(R_70_1_A_STUDENT,R_70_3_PERHAPS) ) ).


n70_a_loosechange n70_a_loosechange_4 A n70_a_loosechange_6 student n70_a_loosechange_9 perhaps n70_a_loosechange_11 . n70_a_loosechange_1 FRAG n70_a_loosechange_2 NP n70_a_loosechange_1->n70_a_loosechange_2 n70_a_loosechange_10 PUNC n70_a_loosechange_1->n70_a_loosechange_10 n70_a_loosechange_3 D n70_a_loosechange_2->n70_a_loosechange_3 n70_a_loosechange_5 N n70_a_loosechange_2->n70_a_loosechange_5 n70_a_loosechange_7 ADVP n70_a_loosechange_2->n70_a_loosechange_7 n70_a_loosechange_3->n70_a_loosechange_4 n70_a_loosechange_5->n70_a_loosechange_6 n70_a_loosechange_8 ADV n70_a_loosechange_7->n70_a_loosechange_8 n70_a_loosechange_8->n70_a_loosechange_9 n70_a_loosechange_10->n70_a_loosechange_11 
( (FRAG (NP (D A;{a})
            (N student;{student})
            (ADVP (ADV perhaps;{perhaps})))
        (PUNC .))
  (ID 70_a_loosechange))