Context                Previous, Next                Top


14_a_osaka_statement
love you guys

%3 r_0014_0001__love love r_0014_0002__you you r_0014_0001__love->r_0014_0002__you [arg1] z_000_14_a_osaka_statement_7 z_000_14_a_osaka_statement_7->r_0014_0002__you [arg0] r_0014_0003__guys guys z_000_14_a_osaka_statement_7->r_0014_0003__guys [prd] 
arc(r_0014_0001__love, r_0014_0002__you, arg1).
arc(z_000_14_a_osaka_statement_7, r_0014_0002__you, arg0).
arc(z_000_14_a_osaka_statement_7, r_0014_0003__guys, prd).


%3 z_000_14_a_osaka_statement_7 r_0014_0003__guys guys z_000_14_a_osaka_statement_7->r_0014_0003__guys [prd] r_0014_0002__you you z_000_14_a_osaka_statement_7->r_0014_0002__you [arg0] r_0014_0001__love love r_0014_0001__love->r_0014_0002__you [arg1] 
fof(formula,axiom,
    ? [R_14_1_LOVE,Z_14_A_OSAKA_STATEMENT_7,R_14_2_YOU,R_14_3_GUYS] :
      ( you(R_14_2_YOU)
      & guys(R_14_3_GUYS)
      & love(R_14_1_LOVE)
      & arg1(R_14_1_LOVE,R_14_2_YOU)
      & z_14_a_osaka_statement_7(Z_14_A_OSAKA_STATEMENT_7,R_14_2_YOU,R_14_3_GUYS) ) ).


n14_a_osaka_statement n14_a_osaka_statement__1_1_1 love n14_a_osaka_statement__1_2_1_1 you n14_a_osaka_statement__1_2_2_1_1_1 guys n14_a_osaka_statement__1 FRAG n14_a_osaka_statement__1_1 VBP n14_a_osaka_statement__1->n14_a_osaka_statement__1_1 n14_a_osaka_statement__1_2 NP-OB1 n14_a_osaka_statement__1->n14_a_osaka_statement__1_2 n14_a_osaka_statement__1_1->n14_a_osaka_statement__1_1_1 n14_a_osaka_statement__1_2_1 PRO n14_a_osaka_statement__1_2->n14_a_osaka_statement__1_2_1 n14_a_osaka_statement__1_2_2 IP-PPL n14_a_osaka_statement__1_2->n14_a_osaka_statement__1_2_2 n14_a_osaka_statement__1_2_1->n14_a_osaka_statement__1_2_1_1 n14_a_osaka_statement__1_2_2_1 NP-PRD n14_a_osaka_statement__1_2_2->n14_a_osaka_statement__1_2_2_1 n14_a_osaka_statement__1_2_2_1_1 NS n14_a_osaka_statement__1_2_2_1->n14_a_osaka_statement__1_2_2_1_1 n14_a_osaka_statement__1_2_2_1_1->n14_a_osaka_statement__1_2_2_1_1_1 
( (FRAG (VBP love;{love})
        (NP-OB1 (PRO you;{you})
                (IP-PPL (NP-PRD (NS guys;{guy})))))
  (ID 14_a_osaka_statement))