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_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] 
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_4 In n3_a_stuck_japan_7 Japan n3_a_stuck_japan_9 , n3_a_stuck_japan_12 houses n3_a_stuck_japan_14 are n3_a_stuck_japan_17 like n3_a_stuck_japan_20 cars n3_a_stuck_japan_22 . n3_a_stuck_japan_1 IP-MAT n3_a_stuck_japan_2 PP-NIM n3_a_stuck_japan_1->n3_a_stuck_japan_2 n3_a_stuck_japan_8 PUNC n3_a_stuck_japan_1->n3_a_stuck_japan_8 n3_a_stuck_japan_10 NP-SBJ n3_a_stuck_japan_1->n3_a_stuck_japan_10 n3_a_stuck_japan_13 BEP;_Ipr_ n3_a_stuck_japan_1->n3_a_stuck_japan_13 n3_a_stuck_japan_15 PP-CLR n3_a_stuck_japan_1->n3_a_stuck_japan_15 n3_a_stuck_japan_21 PUNC n3_a_stuck_japan_1->n3_a_stuck_japan_21 n3_a_stuck_japan_3 P-ROLE n3_a_stuck_japan_2->n3_a_stuck_japan_3 n3_a_stuck_japan_5 NP n3_a_stuck_japan_2->n3_a_stuck_japan_5 n3_a_stuck_japan_3->n3_a_stuck_japan_4 n3_a_stuck_japan_6 NPR n3_a_stuck_japan_5->n3_a_stuck_japan_6 n3_a_stuck_japan_6->n3_a_stuck_japan_7 n3_a_stuck_japan_8->n3_a_stuck_japan_9 n3_a_stuck_japan_11 NS n3_a_stuck_japan_10->n3_a_stuck_japan_11 n3_a_stuck_japan_11->n3_a_stuck_japan_12 n3_a_stuck_japan_13->n3_a_stuck_japan_14 n3_a_stuck_japan_16 P-ROLE n3_a_stuck_japan_15->n3_a_stuck_japan_16 n3_a_stuck_japan_18 NP n3_a_stuck_japan_15->n3_a_stuck_japan_18 n3_a_stuck_japan_16->n3_a_stuck_japan_17 n3_a_stuck_japan_19 NS n3_a_stuck_japan_18->n3_a_stuck_japan_19 n3_a_stuck_japan_19->n3_a_stuck_japan_20 n3_a_stuck_japan_21->n3_a_stuck_japan_22 
( (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))