Context                Previous, Next                Top


83_a_lob_n01
Every Italian is a romantic.

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


%3 r_0083_0001__Every_quant Every [quant] r_0083_0003__is is r_0083_0001__Every_quant->r_0083_0003__is [scope] z_000_83_a_lob_n01_2 r_0083_0001__Every_quant->z_000_83_a_lob_n01_2 [restriction] r_0083_0003__is->z_000_83_a_lob_n01_2 [arg0] r_0083_0004__a a r_0083_0003__is->r_0083_0004__a [prd] r_0083_0002__Italian Italian z_000_83_a_lob_n01_2->r_0083_0002__Italian [attrib] r_0083_0005__romantic romantic r_0083_0004__a->r_0083_0005__romantic [attrib] 
fof(formula,axiom,
    ! [Z_83_A_LOB_N01_2,R_83_2_ITALIAN] :
      ( ( italian(R_83_2_ITALIAN)
        & z_83_a_lob_n01_2(Z_83_A_LOB_N01_2)
        & attrib5(Z_83_A_LOB_N01_2,R_83_2_ITALIAN) )
     => ? [R_83_3_IS,R_83_4_A,R_83_5_ROMANTIC] :
          ( romantic(R_83_5_ROMANTIC)
          & is(R_83_3_IS,Z_83_A_LOB_N01_2,R_83_4_A)
          & a(R_83_4_A)
          & attrib13(R_83_4_A,R_83_5_ROMANTIC) ) ) ).


n83_a_lob_n01 n83_a_lob_n01_4 Every n83_a_lob_n01_7 Italian n83_a_lob_n01_9 is n83_a_lob_n01_12 a n83_a_lob_n01_15 romantic n83_a_lob_n01_17 . n83_a_lob_n01_1 IP-MAT n83_a_lob_n01_2 NP-SBJ n83_a_lob_n01_1->n83_a_lob_n01_2 n83_a_lob_n01_8 BEP;_Ln_ n83_a_lob_n01_1->n83_a_lob_n01_8 n83_a_lob_n01_10 NP-PRD n83_a_lob_n01_1->n83_a_lob_n01_10 n83_a_lob_n01_16 PUNC n83_a_lob_n01_1->n83_a_lob_n01_16 n83_a_lob_n01_3 Q n83_a_lob_n01_2->n83_a_lob_n01_3 n83_a_lob_n01_5 ADJP n83_a_lob_n01_2->n83_a_lob_n01_5 n83_a_lob_n01_3->n83_a_lob_n01_4 n83_a_lob_n01_6 ADJ n83_a_lob_n01_5->n83_a_lob_n01_6 n83_a_lob_n01_6->n83_a_lob_n01_7 n83_a_lob_n01_8->n83_a_lob_n01_9 n83_a_lob_n01_11 D n83_a_lob_n01_10->n83_a_lob_n01_11 n83_a_lob_n01_13 ADJP n83_a_lob_n01_10->n83_a_lob_n01_13 n83_a_lob_n01_11->n83_a_lob_n01_12 n83_a_lob_n01_14 ADJ n83_a_lob_n01_13->n83_a_lob_n01_14 n83_a_lob_n01_14->n83_a_lob_n01_15 n83_a_lob_n01_16->n83_a_lob_n01_17 
( (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))