Context                Previous, Next                Top


3_a_stuck_japan
In Japan, houses are like cars.

%3 r_0003_0005__are are r_0003_0002__Japan Japan r_0003_0005__are->r_0003_0002__Japan In [nim] r_0003_0004__houses houses r_0003_0005__are->r_0003_0004__houses [arg0] r_0003_0007__cars cars r_0003_0005__are->r_0003_0007__cars like [clr] 
arc(r_0003_0005__are, r_0003_0002__Japan, r_0003_0001__In_nim5).
arc(r_0003_0005__are, r_0003_0004__houses, arg0).
arc(r_0003_0005__are, r_0003_0007__cars, r_0003_0006__like_clr18).


%3 r_0003_0005__are are r_0003_0007__cars cars r_0003_0005__are->r_0003_0007__cars like [clr] r_0003_0004__houses houses r_0003_0005__are->r_0003_0004__houses [arg0] r_0003_0002__Japan Japan r_0003_0005__are->r_0003_0002__Japan In [nim] 
fof(formula,axiom,
    ? [R_3_5_ARE,R_3_4_HOUSES,R_3_2_JAPAN,R_3_7_CARS] :
      ( houses(R_3_4_HOUSES)
      & japan(R_3_2_JAPAN)
      & cars(R_3_7_CARS)
      & are(R_3_5_ARE,R_3_4_HOUSES)
      & in_nim5(R_3_5_ARE,R_3_2_JAPAN)
      & like_clr18(R_3_5_ARE,R_3_7_CARS) ) ).


n3_a_stuck_japan n3_a_stuck_japan__1_1_1_1 In n3_a_stuck_japan__1_1_2_1_1 Japan n3_a_stuck_japan__1_2_1 , n3_a_stuck_japan__1_3_1_1 houses n3_a_stuck_japan__1_4_1 are n3_a_stuck_japan__1_5_1_1 like n3_a_stuck_japan__1_5_2_1_1 cars n3_a_stuck_japan__1_6_1 . n3_a_stuck_japan__1 IP-MAT n3_a_stuck_japan__1_1 PP-NIM n3_a_stuck_japan__1->n3_a_stuck_japan__1_1 n3_a_stuck_japan__1_2 PUNC n3_a_stuck_japan__1->n3_a_stuck_japan__1_2 n3_a_stuck_japan__1_3 NP-SBJ n3_a_stuck_japan__1->n3_a_stuck_japan__1_3 n3_a_stuck_japan__1_4 BEP;_Ipr_ n3_a_stuck_japan__1->n3_a_stuck_japan__1_4 n3_a_stuck_japan__1_5 PP-CLR n3_a_stuck_japan__1->n3_a_stuck_japan__1_5 n3_a_stuck_japan__1_6 PUNC n3_a_stuck_japan__1->n3_a_stuck_japan__1_6 n3_a_stuck_japan__1_1_1 P-ROLE n3_a_stuck_japan__1_1->n3_a_stuck_japan__1_1_1 n3_a_stuck_japan__1_1_2 NP n3_a_stuck_japan__1_1->n3_a_stuck_japan__1_1_2 n3_a_stuck_japan__1_1_1->n3_a_stuck_japan__1_1_1_1 n3_a_stuck_japan__1_1_2_1 NPR n3_a_stuck_japan__1_1_2->n3_a_stuck_japan__1_1_2_1 n3_a_stuck_japan__1_1_2_1->n3_a_stuck_japan__1_1_2_1_1 n3_a_stuck_japan__1_2->n3_a_stuck_japan__1_2_1 n3_a_stuck_japan__1_3_1 NS n3_a_stuck_japan__1_3->n3_a_stuck_japan__1_3_1 n3_a_stuck_japan__1_3_1->n3_a_stuck_japan__1_3_1_1 n3_a_stuck_japan__1_4->n3_a_stuck_japan__1_4_1 n3_a_stuck_japan__1_5_1 P-ROLE n3_a_stuck_japan__1_5->n3_a_stuck_japan__1_5_1 n3_a_stuck_japan__1_5_2 NP n3_a_stuck_japan__1_5->n3_a_stuck_japan__1_5_2 n3_a_stuck_japan__1_5_1->n3_a_stuck_japan__1_5_1_1 n3_a_stuck_japan__1_5_2_1 NS n3_a_stuck_japan__1_5_2->n3_a_stuck_japan__1_5_2_1 n3_a_stuck_japan__1_5_2_1->n3_a_stuck_japan__1_5_2_1_1 n3_a_stuck_japan__1_6->n3_a_stuck_japan__1_6_1 
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (NPR Japan;{Japan})))
          (PUNC ,)
          (NP-SBJ (NS houses;{house}))
          (BEP;_Ipr_ are;{be[like]})
          (PP-CLR (P-ROLE like;{like})
                  (NP (NS cars;{car})))
          (PUNC .))
  (ID 3_a_stuck_japan))