Context                Previous, Next                Top


1_a_uksc_judgment
Was the advice lawful?

n1_a_uksc_judgment n1_a_uksc_judgment__1_1_1_1 Was n1_a_uksc_judgment__1_1_2_1_1 the n1_a_uksc_judgment__1_1_2_2_1 advice n1_a_uksc_judgment__1_1_3_1_1 lawful n1_a_uksc_judgment__1_2_1 ? n1_a_uksc_judgment__1 CP-QUE-MAT n1_a_uksc_judgment__1_1 IP-SUB n1_a_uksc_judgment__1->n1_a_uksc_judgment__1_1 n1_a_uksc_judgment__1_2 PUNC n1_a_uksc_judgment__1->n1_a_uksc_judgment__1_2 n1_a_uksc_judgment__1_1_1 BED;_La_ n1_a_uksc_judgment__1_1->n1_a_uksc_judgment__1_1_1 n1_a_uksc_judgment__1_1_2 NP-SBJ n1_a_uksc_judgment__1_1->n1_a_uksc_judgment__1_1_2 n1_a_uksc_judgment__1_1_3 ADJP-PRD n1_a_uksc_judgment__1_1->n1_a_uksc_judgment__1_1_3 n1_a_uksc_judgment__1_1_1->n1_a_uksc_judgment__1_1_1_1 n1_a_uksc_judgment__1_1_2_1 D n1_a_uksc_judgment__1_1_2->n1_a_uksc_judgment__1_1_2_1 n1_a_uksc_judgment__1_1_2_2 N n1_a_uksc_judgment__1_1_2->n1_a_uksc_judgment__1_1_2_2 n1_a_uksc_judgment__1_1_2_1->n1_a_uksc_judgment__1_1_2_1_1 n1_a_uksc_judgment__1_1_2_2->n1_a_uksc_judgment__1_1_2_2_1 n1_a_uksc_judgment__1_1_3_1 ADJ n1_a_uksc_judgment__1_1_3->n1_a_uksc_judgment__1_1_3_1 n1_a_uksc_judgment__1_1_3_1->n1_a_uksc_judgment__1_1_3_1_1 n1_a_uksc_judgment__1_2->n1_a_uksc_judgment__1_2_1 
( (CP-QUE-MAT (IP-SUB (BED;_La_ Was;{be})
                      (NP-SBJ (D the;{the})
                              (N advice;{advice}))
                      (ADJP-PRD (ADJ lawful;{lawful})))
              (PUNC ?))
  (ID 1_a_uksc_judgment))


%3 r_0001_0001__Was Was r_0001_0004__lawful lawful r_0001_0001__Was->r_0001_0004__lawful [prd] r_0001_0002__the_r_0001_0003__advice the advice r_0001_0001__Was->r_0001_0002__the_r_0001_0003__advice [arg0] 
arc(r_0001_0001__Was,r_0001_0002__the_r_0001_0003__advice,arg0).
arc(r_0001_0001__Was,r_0001_0004__lawful,prd).


%3 r_0001_0001__Was Was r_0001_0002__the_r_0001_0003__advice the advice r_0001_0001__Was->r_0001_0002__the_r_0001_0003__advice [arg0] r_0001_0004__lawful lawful r_0001_0001__Was->r_0001_0004__lawful [prd] 
fof(formula,axiom,
    ? [R_0001_0002__THE_R_0001_0003__ADVICE,R_0001_0004__LAWFUL,R_0001_0001__WAS] :
      ( r_0001_0002__the_r_0001_0003__advice(R_0001_0002__THE_R_0001_0003__ADVICE)
      & r_0001_0004__lawful(R_0001_0004__LAWFUL)
      & r_0001_0001__Was(R_0001_0001__WAS)
      & has_prd(R_0001_0001__WAS,R_0001_0004__LAWFUL)
      & has_arg0(R_0001_0001__WAS,R_0001_0002__THE_R_0001_0003__ADVICE) ) ).