Context                Previous, Next                Top


15_a_duplex
How could we know it actually worked in real life?

%3 r_0015_0002__could could r_0015_0004__know know r_0015_0002__could->r_0015_0004__know [scope] r_0015_0001__How How r_0015_0004__know->r_0015_0001__How [nim] r_0015_0003__we we r_0015_0004__know->r_0015_0003__we [arg0] r_0015_0007__worked worked r_0015_0004__know->r_0015_0007__worked [arg1] r_0015_0005__it it r_0015_0007__worked->r_0015_0005__it [arg0] r_0015_0006__actually actually r_0015_0007__worked->r_0015_0006__actually [nim] r_0015_0010__life life r_0015_0007__worked->r_0015_0010__life in [nim] r_0015_0009__real real r_0015_0010__life->r_0015_0009__real [attrib] 
arc(r_0015_0002__could, r_0015_0004__know, scope).
arc(r_0015_0004__know, r_0015_0001__How, nim12).
arc(r_0015_0004__know, r_0015_0003__we, arg0).
arc(r_0015_0004__know, r_0015_0007__worked, arg1).
arc(r_0015_0007__worked, r_0015_0005__it, arg0).
arc(r_0015_0007__worked, r_0015_0006__actually, nim21).
arc(r_0015_0007__worked, r_0015_0010__life, r_0015_0008__in_nim29).
arc(r_0015_0010__life, r_0015_0009__real, attrib30).


%3 r_0015_0010__life life r_0015_0009__real real r_0015_0010__life->r_0015_0009__real [attrib] r_0015_0007__worked worked r_0015_0007__worked->r_0015_0010__life in [nim] r_0015_0006__actually actually r_0015_0007__worked->r_0015_0006__actually [nim] r_0015_0005__it it r_0015_0007__worked->r_0015_0005__it [arg0] r_0015_0002__could_r_0015_0004__know could know r_0015_0002__could_r_0015_0004__know->r_0015_0007__worked [arg1] r_0015_0003__we we r_0015_0002__could_r_0015_0004__know->r_0015_0003__we [arg0] r_0015_0001__How How r_0015_0002__could_r_0015_0004__know->r_0015_0001__How [nim] 
fof(formula,axiom,
    ? [R_15_2_COULD_KNOW,R_15_3_WE,R_15_7_WORKED,R_15_5_IT,R_15_6_ACTUALLY,R_15_10_LIFE,R_15_9_REAL,R_15_1_HOW] :
      ( we(R_15_3_WE)
      & it(R_15_5_IT)
      & actually(R_15_6_ACTUALLY)
      & real(R_15_9_REAL)
      & how(R_15_1_HOW)
      & could_know(R_15_2_COULD_KNOW,R_15_3_WE,R_15_7_WORKED)
      & worked(R_15_7_WORKED,R_15_5_IT)
      & nim21(R_15_7_WORKED,R_15_6_ACTUALLY)
      & in_nim29(R_15_7_WORKED,R_15_10_LIFE)
      & life(R_15_10_LIFE)
      & attrib30(R_15_10_LIFE,R_15_9_REAL)
      & nim12(R_15_2_COULD_KNOW,R_15_1_HOW) ) ).


n15_a_duplex n15_a_duplex__1_1_1_1_1 How n15_a_duplex__1_1_2_1 could n15_a_duplex__1_1_3_1_1 we n15_a_duplex__1_1_4_1_1 *ICH*-129 n15_a_duplex__1_1_4_2_1 know n15_a_duplex__1_1_4_3_1_1_1_1 it n15_a_duplex__1_1_4_3_1_2_1_1 actually n15_a_duplex__1_1_4_3_1_3_1 worked n15_a_duplex__1_1_4_3_1_4_1_1 in n15_a_duplex__1_1_4_3_1_4_2_1_1_1 real n15_a_duplex__1_1_4_3_1_4_2_2_1 life n15_a_duplex__1_2_1 ? n15_a_duplex__1 CP-QUE-MAT n15_a_duplex__1_1 IP-SUB n15_a_duplex__1->n15_a_duplex__1_1 n15_a_duplex__1_2 PUNC n15_a_duplex__1->n15_a_duplex__1_2 n15_a_duplex__1_1_1 ADVP-129 n15_a_duplex__1_1->n15_a_duplex__1_1_1 n15_a_duplex__1_1_2 MD;_cat_Vi_ n15_a_duplex__1_1->n15_a_duplex__1_1_2 n15_a_duplex__1_1_3 NP-SBJ n15_a_duplex__1_1->n15_a_duplex__1_1_3 n15_a_duplex__1_1_4 IP-INF-CAT n15_a_duplex__1_1->n15_a_duplex__1_1_4 n15_a_duplex__1_1_1_1 WADV n15_a_duplex__1_1_1->n15_a_duplex__1_1_1_1 n15_a_duplex__1_1_1_1->n15_a_duplex__1_1_1_1_1 n15_a_duplex__1_1_2->n15_a_duplex__1_1_2_1 n15_a_duplex__1_1_3_1 PRO n15_a_duplex__1_1_3->n15_a_duplex__1_1_3_1 n15_a_duplex__1_1_3_1->n15_a_duplex__1_1_3_1_1 n15_a_duplex__1_1_4_1 ADVP-NIM n15_a_duplex__1_1_4->n15_a_duplex__1_1_4_1 n15_a_duplex__1_1_4_2 VB;_Tf_ n15_a_duplex__1_1_4->n15_a_duplex__1_1_4_2 n15_a_duplex__1_1_4_3 CP-THT-OB1 n15_a_duplex__1_1_4->n15_a_duplex__1_1_4_3 n15_a_duplex__1_1_4_1->n15_a_duplex__1_1_4_1_1 n15_a_duplex__1_1_4_2->n15_a_duplex__1_1_4_2_1 n15_a_duplex__1_1_4_3_1 IP-SUB n15_a_duplex__1_1_4_3->n15_a_duplex__1_1_4_3_1 n15_a_duplex__1_1_4_3_1_1 NP-SBJ n15_a_duplex__1_1_4_3_1->n15_a_duplex__1_1_4_3_1_1 n15_a_duplex__1_1_4_3_1_2 ADVP-NIM n15_a_duplex__1_1_4_3_1->n15_a_duplex__1_1_4_3_1_2 n15_a_duplex__1_1_4_3_1_3 VBD;_I_ n15_a_duplex__1_1_4_3_1->n15_a_duplex__1_1_4_3_1_3 n15_a_duplex__1_1_4_3_1_4 PP-NIM n15_a_duplex__1_1_4_3_1->n15_a_duplex__1_1_4_3_1_4 n15_a_duplex__1_1_4_3_1_1_1 PRO n15_a_duplex__1_1_4_3_1_1->n15_a_duplex__1_1_4_3_1_1_1 n15_a_duplex__1_1_4_3_1_1_1->n15_a_duplex__1_1_4_3_1_1_1_1 n15_a_duplex__1_1_4_3_1_2_1 ADV n15_a_duplex__1_1_4_3_1_2->n15_a_duplex__1_1_4_3_1_2_1 n15_a_duplex__1_1_4_3_1_2_1->n15_a_duplex__1_1_4_3_1_2_1_1 n15_a_duplex__1_1_4_3_1_3->n15_a_duplex__1_1_4_3_1_3_1 n15_a_duplex__1_1_4_3_1_4_1 P-ROLE n15_a_duplex__1_1_4_3_1_4->n15_a_duplex__1_1_4_3_1_4_1 n15_a_duplex__1_1_4_3_1_4_2 NP n15_a_duplex__1_1_4_3_1_4->n15_a_duplex__1_1_4_3_1_4_2 n15_a_duplex__1_1_4_3_1_4_1->n15_a_duplex__1_1_4_3_1_4_1_1 n15_a_duplex__1_1_4_3_1_4_2_1 ADJP n15_a_duplex__1_1_4_3_1_4_2->n15_a_duplex__1_1_4_3_1_4_2_1 n15_a_duplex__1_1_4_3_1_4_2_2 N n15_a_duplex__1_1_4_3_1_4_2->n15_a_duplex__1_1_4_3_1_4_2_2 n15_a_duplex__1_1_4_3_1_4_2_1_1 ADJ n15_a_duplex__1_1_4_3_1_4_2_1->n15_a_duplex__1_1_4_3_1_4_2_1_1 n15_a_duplex__1_1_4_3_1_4_2_1_1->n15_a_duplex__1_1_4_3_1_4_2_1_1_1 n15_a_duplex__1_1_4_3_1_4_2_2->n15_a_duplex__1_1_4_3_1_4_2_2_1 n15_a_duplex__1_2->n15_a_duplex__1_2_1 
( (CP-QUE-MAT (IP-SUB (ADVP-129 (WADV How;{how}))
                      (MD;_cat_Vi_ could;{can})
                      (NP-SBJ (PRO we;{we}))
                      (IP-INF-CAT (ADVP-NIM *ICH*-129)
                                  (VB;_Tf_ know;{know})
                                  (CP-THT-OB1 (IP-SUB (NP-SBJ;{ROBOT_CALLER} (PRO it;{it}))
                                                      (ADVP-NIM (ADV actually;{actually}))
                                                      (VBD;_I_ worked;{work})
                                                      (PP-NIM (P-ROLE in;{in})
                                                              (NP (ADJP (ADJ real;{real}))
                                                                  (N life;{life})))))))
              (PUNC ?))
  (ID 15_a_duplex))