Skip to content

Update Narrator to recognise cases of => with multiple antecedents #9

Open
Open
Update Narrator to recognise cases of => with multiple antecedents#9

Description

@darrenldl
darrenldl
opened on Aug 1, 2019

See following non-exclusive list for examples where Narrator fails

  • NSPK-agree-A-to-B.pv
  • NSLPK-agree-A-to-B.pv
  • LD07-tag-auth.pv

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions