45_a_stuck_japan
I understand why people love the covers.
( (IP-MAT (NP-SBJ (PRO I;{I}))
(VBP;_Tw_ understand;{understand})
(CP-QUE-OB1 (IP-SUB (ADVP-NIM (WADV why;{why}))
(NP-SBJ (NS people;{person}))
(VBP;_Tn_ love;{love})
(NP-OB1 (D the;{the})
(NS covers;{cover}))))
(PUNC .))
(ID 45_a_stuck_japan))
arc(r_0045_0002__understand,r_0045_0001__I,arg0).
arc(r_0045_0002__understand,r_0045_0005__love,arg1).
arc(r_0045_0005__love,r_0045_0003__why,nim).
arc(r_0045_0005__love,r_0045_0004__people,arg0).
arc(r_0045_0005__love,r_0045_0006__the_r_0045_0007__covers,arg1).
fof(formula,axiom,
? [R_0045_0001__I,R_0045_0003__WHY,R_0045_0004__PEOPLE,R_0045_0006__THE_R_0045_0007__COVERS,R_0045_0005__LOVE,R_0045_0002__UNDERSTAND] :
( r_0045_0001__I(R_0045_0001__I)
& r_0045_0003__why(R_0045_0003__WHY)
& r_0045_0004__people(R_0045_0004__PEOPLE)
& r_0045_0006__the_r_0045_0007__covers(R_0045_0006__THE_R_0045_0007__COVERS)
& r_0045_0002__understand(R_0045_0002__UNDERSTAND)
& has_arg1(R_0045_0002__UNDERSTAND,R_0045_0005__LOVE)
& r_0045_0005__love(R_0045_0005__LOVE)
& has_arg1(R_0045_0005__LOVE,R_0045_0006__THE_R_0045_0007__COVERS)
& has_arg0(R_0045_0005__LOVE,R_0045_0004__PEOPLE)
& has_nim(R_0045_0005__LOVE,R_0045_0003__WHY)
& has_arg0(R_0045_0002__UNDERSTAND,R_0045_0001__I) ) ).