IMPLIES:
Content Model Declaration

Content Rule

((((quantified|forall|exists)|
   (boolean|and|or|implies|iff|not)|
   (atomic|relation|equal)),
  ((quantified|forall|exists)|
   (boolean|and|or|implies|iff|not)|
   (atomic|relation|equal))),comment*)
Back to IMPLIES

XML Common Logic (XCL) 1.0 DTD