pub fn resolve_lines(resolution: &Resolution) -> Vec<String>
<agent> resolve (SP3 design §7.5).
<agent> resolve