lkif

type Argument struct {
	XMLName    xml.Name   `xml:"argument"`
	Id         string     `xml:"id,attr"`
	Title      string     `xml:"title,attr"`
	Direction  string     `xml:"direction,attr"`
	Scheme     string     `xml:"scheme,attr"`
	Weight     float64    `xml:"weight,attr"`
	Conclusion Conclusion `xml:"conclusion"`
	Premises   Premises   `xml:"premises"`
}

type ArgumentGraph struct {
	XMLName    xml.Name   `xml:"argument-graph"`
	Id         string     `xml:"id,attr"`
	Title      string     `xml:"title,attr"`
	Main       string     `xml:"main-issue,attr"`
	Statements Statements `xml:"statements"`
	Arguments  Arguments  `xml:"arguments"`
}

type ArgumentGraphs struct {
	XMLName xml.Name        `xml:"argument-graphs"`
	Content []ArgumentGraph `xml:"argument-graph"`
}

type Arguments struct {
	Content []Argument `xml:"argument"`
}

type Atom struct {
	XMLName   xml.Name `xml:"s"`
	Predicate string   `xml:"pred,attr"`
	Assumable bool     `xml:"assumable,attr"`
	Text      string   `xml:",innerxml"`
}

type Conclusion struct {
	XMLName   xml.Name `xml:"conclusion"`
	Statement string   `xml:"statement,attr"` // Id
}

type LKIF struct {
	XMLName        xml.Name       `xml:"lkif"`
	Version        string         `xml:"version,attr"`
	ArgumentGraphs ArgumentGraphs `xml:"argument-graphs"`
}

type Premise struct {
	XMLName   xml.Name `xml:"premise"`
	Polarity  string   `xml:"polarity,attr"`
	Type      string   `xml:"type,attr"`
	Role      string   `xml:"role,attr"`
	Statement string   `xml:"statement,attr"` // Id
}

type Premises struct {
	Content []Premise `xml:"premise"`
}

type Statement struct {
	XMLName    xml.Name `xml:"statement"`
	Id         string   `xml:"id,attr"`
	Value      string   `xml:"value,attr"`
	Assumption bool     `xml:"assumption,attr"`
	Standard   string   `xml:"standard,attr"`
	Atom       Atom     `xml:"s"`
}

type Statements struct {
	Content []Statement `xml:"statement"`
}