Context                Previous, Next                Top


1_a_uksc_judgment
Was the advice lawful?

%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] 
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_1_1_WAS,R_1_2_THE_ADVICE,R_1_4_LAWFUL] :
      ( the_advice(R_1_2_THE_ADVICE)
      & lawful(R_1_4_LAWFUL)
      & was(R_1_1_WAS,R_1_2_THE_ADVICE,R_1_4_LAWFUL) ) ).


n1_a_uksc_judgment n1_a_uksc_judgment_4 Was n1_a_uksc_judgment_7 the n1_a_uksc_judgment_9 advice n1_a_uksc_judgment_12 lawful n1_a_uksc_judgment_14 ? n1_a_uksc_judgment_1 CP-QUE-MAT n1_a_uksc_judgment_2 IP-SUB n1_a_uksc_judgment_1->n1_a_uksc_judgment_2 n1_a_uksc_judgment_13 PUNC n1_a_uksc_judgment_1->n1_a_uksc_judgment_13 n1_a_uksc_judgment_3 BED;_La_ n1_a_uksc_judgment_2->n1_a_uksc_judgment_3 n1_a_uksc_judgment_5 NP-SBJ n1_a_uksc_judgment_2->n1_a_uksc_judgment_5 n1_a_uksc_judgment_10 ADJP-PRD n1_a_uksc_judgment_2->n1_a_uksc_judgment_10 n1_a_uksc_judgment_3->n1_a_uksc_judgment_4 n1_a_uksc_judgment_6 D n1_a_uksc_judgment_5->n1_a_uksc_judgment_6 n1_a_uksc_judgment_8 N n1_a_uksc_judgment_5->n1_a_uksc_judgment_8 n1_a_uksc_judgment_6->n1_a_uksc_judgment_7 n1_a_uksc_judgment_8->n1_a_uksc_judgment_9 n1_a_uksc_judgment_11 ADJ n1_a_uksc_judgment_10->n1_a_uksc_judgment_11 n1_a_uksc_judgment_11->n1_a_uksc_judgment_12 n1_a_uksc_judgment_13->n1_a_uksc_judgment_14 
( (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))