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 z_000_70_a_loosechange_1 r_0070_0001__A_r_0070_0002__student A student z_000_70_a_loosechange_1->r_0070_0001__A_r_0070_0002__student [nim] r_0070_0003__perhaps perhaps r_0070_0001__A_r_0070_0002__student->r_0070_0003__perhaps [qual] 
fof(formula,axiom,
    ? [R_0070_0003__PERHAPS,R_0070_0001__A_R_0070_0002__STUDENT,Z_000_70_A_LOOSECHANGE_1] :
      ( r_0070_0003__perhaps(R_0070_0003__PERHAPS)
      & z_000_70_a_loosechange_1(Z_000_70_A_LOOSECHANGE_1)
      & has_nim2(Z_000_70_A_LOOSECHANGE_1,R_0070_0001__A_R_0070_0002__STUDENT)
      & r_0070_0001__A_r_0070_0002__student(R_0070_0001__A_R_0070_0002__STUDENT)
      & has_qual7(R_0070_0001__A_R_0070_0002__STUDENT,R_0070_0003__PERHAPS) ) ).


n70_a_loosechange n70_a_loosechange__1_1_1_1 A n70_a_loosechange__1_1_2_1 student n70_a_loosechange__1_1_3_1_1 perhaps n70_a_loosechange__1_2_1 . n70_a_loosechange__1 FRAG n70_a_loosechange__1_1 NP n70_a_loosechange__1->n70_a_loosechange__1_1 n70_a_loosechange__1_2 PUNC n70_a_loosechange__1->n70_a_loosechange__1_2 n70_a_loosechange__1_1_1 D n70_a_loosechange__1_1->n70_a_loosechange__1_1_1 n70_a_loosechange__1_1_2 N n70_a_loosechange__1_1->n70_a_loosechange__1_1_2 n70_a_loosechange__1_1_3 ADVP n70_a_loosechange__1_1->n70_a_loosechange__1_1_3 n70_a_loosechange__1_1_1->n70_a_loosechange__1_1_1_1 n70_a_loosechange__1_1_2->n70_a_loosechange__1_1_2_1 n70_a_loosechange__1_1_3_1 ADV n70_a_loosechange__1_1_3->n70_a_loosechange__1_1_3_1 n70_a_loosechange__1_1_3_1->n70_a_loosechange__1_1_3_1_1 n70_a_loosechange__1_2->n70_a_loosechange__1_2_1 
( (FRAG (NP (D A;{a})
            (N student;{student})
            (ADVP (ADV perhaps;{perhaps})))
        (PUNC .))
  (ID 70_a_loosechange))