Context                Previous, Next                Top


13_a_osaka_statement
Always hope you are all doing well and staying safe,

%3 r_0013_0002__hope hope r_0013_0001__Always Always r_0013_0002__hope->r_0013_0001__Always [nim] r_0013_0004__are are r_0013_0002__hope->r_0013_0004__are [arg1] r_0013_1001____star__ * r_0013_0002__hope->r_0013_1001____star__ [arg0] r_0013_0008__and and r_0013_0004__are->r_0013_0008__and [scope] r_0013_0006__doing doing r_0013_0008__and->r_0013_0006__doing [conj1] r_0013_0009__staying staying r_0013_0008__and->r_0013_0009__staying [conj2] r_0013_0003__you you r_0013_0006__doing->r_0013_0003__you [arg0] r_0013_0005__all all r_0013_0006__doing->r_0013_0005__all [nim] r_0013_0007__well well r_0013_0006__doing->r_0013_0007__well [nim] r_0013_0009__staying->r_0013_0003__you [arg0] r_0013_0009__staying->r_0013_0005__all [nim] r_0013_0010__safe safe r_0013_0009__staying->r_0013_0010__safe [prd] 
arc(r_0013_0002__hope, r_0013_0001__Always, nim5).
arc(r_0013_0002__hope, r_0013_0004__are, arg1).
arc(r_0013_0002__hope, r_0013_1001____star__, arg0).
arc(r_0013_0004__are, r_0013_0008__and, scope).
arc(r_0013_0006__doing, r_0013_0003__you, arg0).
arc(r_0013_0006__doing, r_0013_0005__all, nim18).
arc(r_0013_0006__doing, r_0013_0007__well, nim25).
arc(r_0013_0008__and, r_0013_0006__doing, conj1).
arc(r_0013_0008__and, r_0013_0009__staying, conj2).
arc(r_0013_0009__staying, r_0013_0003__you, arg0).
arc(r_0013_0009__staying, r_0013_0005__all, nim18).
arc(r_0013_0009__staying, r_0013_0010__safe, prd).


%3 r_0013_0004__are are r_0013_0008__and and r_0013_0004__are->r_0013_0008__and [keep_scope] r_0013_0009__staying staying r_0013_0008__and->r_0013_0009__staying [conj2] r_0013_0006__doing doing r_0013_0008__and->r_0013_0006__doing [conj1] r_0013_0010__safe safe r_0013_0009__staying->r_0013_0010__safe [prd] r_0013_0005__all all r_0013_0009__staying->r_0013_0005__all [nim] r_0013_0003__you you r_0013_0009__staying->r_0013_0003__you [arg0] r_0013_0006__doing->r_0013_0005__all [nim] r_0013_0006__doing->r_0013_0003__you [arg0] r_0013_0007__well well r_0013_0006__doing->r_0013_0007__well [nim] r_0013_0002__hope hope r_0013_0002__hope->r_0013_0004__are [arg1] r_0013_1001____star__ * r_0013_0002__hope->r_0013_1001____star__ [arg0] r_0013_0001__Always Always r_0013_0002__hope->r_0013_0001__Always [nim] 
fof(formula,axiom,
    ? [R_13_2_HOPE,R_13_1001__STAR_,R_13_1_ALWAYS] :
      ( _star_(R_13_1001__STAR_)
      & always(R_13_1_ALWAYS)
      & hope(R_13_2_HOPE,R_13_1001__STAR_,R_13_4_ARE)
      & ~ ? [R_13_8_AND,R_13_6_DOING,R_13_7_WELL,R_13_9_STAYING,R_13_3_YOU,R_13_5_ALL,R_13_10_SAFE] :
            ( well(R_13_7_WELL)
            & you(R_13_3_YOU)
            & all(R_13_5_ALL)
            & safe(R_13_10_SAFE)
            & and(R_13_8_AND)
            & conj1(R_13_8_AND,R_13_6_DOING)
            & doing(R_13_6_DOING,R_13_3_YOU)
            & nim18(R_13_6_DOING,R_13_5_ALL)
            & nim25(R_13_6_DOING,R_13_7_WELL)
            & conj2(R_13_8_AND,R_13_9_STAYING)
            & staying(R_13_9_STAYING,R_13_3_YOU,R_13_10_SAFE)
            & nim18(R_13_9_STAYING,R_13_5_ALL) )
      & nim5(R_13_2_HOPE,R_13_1_ALWAYS) ) ).


n13_a_osaka_statement n13_a_osaka_statement__1_1_1_1 _*_ n13_a_osaka_statement__1_2_1_1 Always n13_a_osaka_statement__1_3_1 hope n13_a_osaka_statement__1_4_1_1_1_1 you n13_a_osaka_statement__1_4_1_2_1 are n13_a_osaka_statement__1_4_1_3_1_1_1 all n13_a_osaka_statement__1_4_1_3_2_1_1_1 doing n13_a_osaka_statement__1_4_1_3_2_1_2_1_1 well n13_a_osaka_statement__1_4_1_3_2_2_1_1 and n13_a_osaka_statement__1_4_1_3_2_2_2_1_1 staying n13_a_osaka_statement__1_4_1_3_2_2_2_2_1_1 safe n13_a_osaka_statement__1_5_1 , n13_a_osaka_statement__1 IP-MAT n13_a_osaka_statement__1_1 NP-SBJ n13_a_osaka_statement__1->n13_a_osaka_statement__1_1 n13_a_osaka_statement__1_2 ADVP-NIM n13_a_osaka_statement__1->n13_a_osaka_statement__1_2 n13_a_osaka_statement__1_3 VBP;_Tf_ n13_a_osaka_statement__1->n13_a_osaka_statement__1_3 n13_a_osaka_statement__1_4 CP-THT-OB1 n13_a_osaka_statement__1->n13_a_osaka_statement__1_4 n13_a_osaka_statement__1_5 PUNC n13_a_osaka_statement__1->n13_a_osaka_statement__1_5 n13_a_osaka_statement__1_1_1 PRO n13_a_osaka_statement__1_1->n13_a_osaka_statement__1_1_1 n13_a_osaka_statement__1_1_1->n13_a_osaka_statement__1_1_1_1 n13_a_osaka_statement__1_2_1 ADV n13_a_osaka_statement__1_2->n13_a_osaka_statement__1_2_1 n13_a_osaka_statement__1_2_1->n13_a_osaka_statement__1_2_1_1 n13_a_osaka_statement__1_3->n13_a_osaka_statement__1_3_1 n13_a_osaka_statement__1_4_1 IP-SUB n13_a_osaka_statement__1_4->n13_a_osaka_statement__1_4_1 n13_a_osaka_statement__1_4_1_1 NP-SBJ n13_a_osaka_statement__1_4_1->n13_a_osaka_statement__1_4_1_1 n13_a_osaka_statement__1_4_1_2 BEP;_cat_Vg_ n13_a_osaka_statement__1_4_1->n13_a_osaka_statement__1_4_1_2 n13_a_osaka_statement__1_4_1_3 IP-PPL-CAT n13_a_osaka_statement__1_4_1->n13_a_osaka_statement__1_4_1_3 n13_a_osaka_statement__1_4_1_1_1 PRO n13_a_osaka_statement__1_4_1_1->n13_a_osaka_statement__1_4_1_1_1 n13_a_osaka_statement__1_4_1_1_1->n13_a_osaka_statement__1_4_1_1_1_1 n13_a_osaka_statement__1_4_1_2->n13_a_osaka_statement__1_4_1_2_1 n13_a_osaka_statement__1_4_1_3_1 ADVP-NIM n13_a_osaka_statement__1_4_1_3->n13_a_osaka_statement__1_4_1_3_1 n13_a_osaka_statement__1_4_1_3_2 ILYR n13_a_osaka_statement__1_4_1_3->n13_a_osaka_statement__1_4_1_3_2 n13_a_osaka_statement__1_4_1_3_1_1 ADV n13_a_osaka_statement__1_4_1_3_1->n13_a_osaka_statement__1_4_1_3_1_1 n13_a_osaka_statement__1_4_1_3_1_1->n13_a_osaka_statement__1_4_1_3_1_1_1 n13_a_osaka_statement__1_4_1_3_2_1 ILYR n13_a_osaka_statement__1_4_1_3_2->n13_a_osaka_statement__1_4_1_3_2_1 n13_a_osaka_statement__1_4_1_3_2_2 CONJP n13_a_osaka_statement__1_4_1_3_2->n13_a_osaka_statement__1_4_1_3_2_2 n13_a_osaka_statement__1_4_1_3_2_1_1 DAG n13_a_osaka_statement__1_4_1_3_2_1->n13_a_osaka_statement__1_4_1_3_2_1_1 n13_a_osaka_statement__1_4_1_3_2_1_2 ADVP-NIM n13_a_osaka_statement__1_4_1_3_2_1->n13_a_osaka_statement__1_4_1_3_2_1_2 n13_a_osaka_statement__1_4_1_3_2_1_1->n13_a_osaka_statement__1_4_1_3_2_1_1_1 n13_a_osaka_statement__1_4_1_3_2_1_2_1 ADV n13_a_osaka_statement__1_4_1_3_2_1_2->n13_a_osaka_statement__1_4_1_3_2_1_2_1 n13_a_osaka_statement__1_4_1_3_2_1_2_1->n13_a_osaka_statement__1_4_1_3_2_1_2_1_1 n13_a_osaka_statement__1_4_1_3_2_2_1 CONJ n13_a_osaka_statement__1_4_1_3_2_2->n13_a_osaka_statement__1_4_1_3_2_2_1 n13_a_osaka_statement__1_4_1_3_2_2_2 ILYR n13_a_osaka_statement__1_4_1_3_2_2->n13_a_osaka_statement__1_4_1_3_2_2_2 n13_a_osaka_statement__1_4_1_3_2_2_1->n13_a_osaka_statement__1_4_1_3_2_2_1_1 n13_a_osaka_statement__1_4_1_3_2_2_2_1 VAG;_La_ n13_a_osaka_statement__1_4_1_3_2_2_2->n13_a_osaka_statement__1_4_1_3_2_2_2_1 n13_a_osaka_statement__1_4_1_3_2_2_2_2 ADJP-PRD n13_a_osaka_statement__1_4_1_3_2_2_2->n13_a_osaka_statement__1_4_1_3_2_2_2_2 n13_a_osaka_statement__1_4_1_3_2_2_2_1->n13_a_osaka_statement__1_4_1_3_2_2_2_1_1 n13_a_osaka_statement__1_4_1_3_2_2_2_2_1 ADJ n13_a_osaka_statement__1_4_1_3_2_2_2_2->n13_a_osaka_statement__1_4_1_3_2_2_2_2_1 n13_a_osaka_statement__1_4_1_3_2_2_2_2_1->n13_a_osaka_statement__1_4_1_3_2_2_2_2_1_1 n13_a_osaka_statement__1_5->n13_a_osaka_statement__1_5_1 
( (IP-MAT (NP-SBJ;{SPEAKER} (PRO _*_))
          (ADVP-NIM (ADV Always;{always}))
          (VBP;_Tf_ hope;{hope})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO you;{you}))
                              (BEP;_cat_Vg_ are;{be})
                              (IP-PPL-CAT (ADVP-NIM (ADV all;{all}))
                                          (ILYR (ILYR (DAG doing;{do})
                                                      (ADVP-NIM (ADV well;{well})))
                                                (CONJP (CONJ and;{and})
                                                       (ILYR (VAG;_La_ staying;{stay})
                                                             (ADJP-PRD (ADJ safe;{safe}))))))))
          (PUNC ,))
  (ID 13_a_osaka_statement))