Context                Previous, Next                Top


3_a_stuck_japan
In Japan, houses are like 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))


%3 r_0003_0005__are_r_0003_0006__like are like r_0003_0007__cars cars r_0003_0005__are_r_0003_0006__like->r_0003_0007__cars [arg1] r_0003_0004__houses houses r_0003_0005__are_r_0003_0006__like->r_0003_0004__houses [arg0] r_0003_0002__Japan Japan r_0003_0005__are_r_0003_0006__like->r_0003_0002__Japan In [nim] 
arc(r_0003_0005__are_r_0003_0006__like,r_0003_0002__Japan,r_0003_0001__In__nim).
arc(r_0003_0005__are_r_0003_0006__like,r_0003_0004__houses,arg0).
arc(r_0003_0005__are_r_0003_0006__like,r_0003_0007__cars,arg1).


%3 r_0003_0005__are_r_0003_0006__like are like r_0003_0002__Japan Japan r_0003_0005__are_r_0003_0006__like->r_0003_0002__Japan In [nim] r_0003_0004__houses houses r_0003_0005__are_r_0003_0006__like->r_0003_0004__houses [arg0] r_0003_0007__cars cars r_0003_0005__are_r_0003_0006__like->r_0003_0007__cars [arg1] 
fof(formula,axiom,
    ? [R_0003_0002__JAPAN,R_0003_0004__HOUSES,R_0003_0007__CARS,R_0003_0005__ARE_R_0003_0006__LIKE] :
      ( r_0003_0002__Japan(R_0003_0002__JAPAN)
      & r_0003_0004__houses(R_0003_0004__HOUSES)
      & r_0003_0007__cars(R_0003_0007__CARS)
      & r_0003_0005__are_r_0003_0006__like(R_0003_0005__ARE_R_0003_0006__LIKE)
      & has_arg1(R_0003_0005__ARE_R_0003_0006__LIKE,R_0003_0007__CARS)
      & has_arg0(R_0003_0005__ARE_R_0003_0006__LIKE,R_0003_0004__HOUSES)
      & has_r_0003_0001__In__nim(R_0003_0005__ARE_R_0003_0006__LIKE,R_0003_0002__JAPAN) ) ).