Context                Previous, Next                Top


83_a_lob_n01
Every Italian is a romantic.

n83_a_lob_n01 n83_a_lob_n01__1_1_1_1 Every n83_a_lob_n01__1_1_2_1_1 Italian n83_a_lob_n01__1_2_1 is n83_a_lob_n01__1_3_1_1 a n83_a_lob_n01__1_3_2_1_1 romantic n83_a_lob_n01__1_4_1 . n83_a_lob_n01__1 IP-MAT n83_a_lob_n01__1_1 NP-SBJ n83_a_lob_n01__1->n83_a_lob_n01__1_1 n83_a_lob_n01__1_2 BEP;_Ln_ n83_a_lob_n01__1->n83_a_lob_n01__1_2 n83_a_lob_n01__1_3 NP-PRD n83_a_lob_n01__1->n83_a_lob_n01__1_3 n83_a_lob_n01__1_4 PUNC n83_a_lob_n01__1->n83_a_lob_n01__1_4 n83_a_lob_n01__1_1_1 Q n83_a_lob_n01__1_1->n83_a_lob_n01__1_1_1 n83_a_lob_n01__1_1_2 ADJP n83_a_lob_n01__1_1->n83_a_lob_n01__1_1_2 n83_a_lob_n01__1_1_1->n83_a_lob_n01__1_1_1_1 n83_a_lob_n01__1_1_2_1 ADJ n83_a_lob_n01__1_1_2->n83_a_lob_n01__1_1_2_1 n83_a_lob_n01__1_1_2_1->n83_a_lob_n01__1_1_2_1_1 n83_a_lob_n01__1_2->n83_a_lob_n01__1_2_1 n83_a_lob_n01__1_3_1 D n83_a_lob_n01__1_3->n83_a_lob_n01__1_3_1 n83_a_lob_n01__1_3_2 ADJP n83_a_lob_n01__1_3->n83_a_lob_n01__1_3_2 n83_a_lob_n01__1_3_1->n83_a_lob_n01__1_3_1_1 n83_a_lob_n01__1_3_2_1 ADJ n83_a_lob_n01__1_3_2->n83_a_lob_n01__1_3_2_1 n83_a_lob_n01__1_3_2_1->n83_a_lob_n01__1_3_2_1_1 n83_a_lob_n01__1_4->n83_a_lob_n01__1_4_1 
( (IP-MAT (NP-SBJ (Q Every;{every})
                  (ADJP (ADJ Italian;{italian})))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (ADJP (ADJ romantic;{romantic})))
          (PUNC .))
  (ID 83_a_lob_n01))


%3 z_0083_5004 r_0083_0002__Italian Italian z_0083_5004->r_0083_0002__Italian [attrib] r_0083_0004__a a r_0083_0005__romantic romantic r_0083_0004__a->r_0083_0005__romantic [attrib] r_0083_0003__is is r_0083_0003__is->z_0083_5004 [arg0] r_0083_0003__is->r_0083_0004__a [prd] r_0083_0001__Every__quant Every [quant] r_0083_0001__Every__quant->z_0083_5004 [restriction] r_0083_0001__Every__quant->r_0083_0003__is [scope] 
arc(r_0083_0001__Every__quant,r_0083_0003__is,scope).
arc(r_0083_0001__Every__quant,z_0083_5004,restriction).
arc(r_0083_0003__is,r_0083_0004__a,prd).
arc(r_0083_0003__is,z_0083_5004,arg0).
arc(r_0083_0004__a,r_0083_0005__romantic,attrib).
arc(z_0083_5004,r_0083_0002__Italian,attrib).


%3 r_0083_0001__Every__quant Every [quant] r_0083_0003__is is r_0083_0001__Every__quant->r_0083_0003__is [scope] z_0083_5004 r_0083_0001__Every__quant->z_0083_5004 [restriction] r_0083_0003__is->z_0083_5004 [arg0] r_0083_0004__a a r_0083_0003__is->r_0083_0004__a [prd] r_0083_0002__Italian Italian z_0083_5004->r_0083_0002__Italian [attrib] r_0083_0005__romantic romantic r_0083_0004__a->r_0083_0005__romantic [attrib] 
fof(formula,axiom,
    ! [Z_0083_5004,R_0083_0002__ITALIAN] :
      ( ( r_0083_0002__Italian(R_0083_0002__ITALIAN)
        & z_0083_5004(Z_0083_5004)
        & has_attrib(Z_0083_5004,R_0083_0002__ITALIAN) )
     => ? [R_0083_0005__ROMANTIC,R_0083_0004__A,R_0083_0003__IS] :
          ( r_0083_0005__romantic(R_0083_0005__ROMANTIC)
          & r_0083_0003__is(R_0083_0003__IS)
          & has_arg0(R_0083_0003__IS,Z_0083_5004)
          & has_prd(R_0083_0003__IS,R_0083_0004__A)
          & r_0083_0004__a(R_0083_0004__A)
          & has_attrib(R_0083_0004__A,R_0083_0005__ROMANTIC) ) ) ).