<filename>tests/parser/disjunction.semicolon.aspcore.test.py
input = """
f(one).

f(two) | f(three) :- f(one).
"""
output = """
f(one).

f(two) | f(three) :- f(one).
"""

<filename>tests/parser/disjunction.semicolon.aspcore.test.py
input = """
f(one).

f(two) | f(three) :- f(one).
"""
output = """
f(one).

f(two) | f(three) :- f(one).
"""

f(one).  f(two) | f(three) :- f(one). f(one).  f(two) | f(three) :- f(one).