Closed StevenJenkinsJPL closed 4 years ago
xSource(?r, ?s) ^ xTarget(?r, ?t) -> x(?s, ?s)
should be
xSource(?r, ?s) ^ xTarget(?r, ?t) -> x(?s, ?t)
Fixed
xSource(?r, ?s) ^ xTarget(?r, ?t) -> x(?s, ?s)
should be
xSource(?r, ?s) ^ xTarget(?r, ?t) -> x(?s, ?t)