/** Test of getArg method, of class Disjunction. */
@Test
public void testGetArg() {
System.out.println("getArg");
Literal l = new Literal("a");
Literal r = new Literal("b");
Disjunction instance = new Disjunction(l, r);
Sentence expResult = l;
Sentence result = instance.getArg(0);
assertEquals(expResult, result);
expResult = r;
result = instance.getArg(1);
assertEquals(expResult, result);
Literal r2 = new Literal("c");
instance = new Disjunction(l, r, r2);
expResult = r2;
result = instance.getArg(2);
assertEquals(expResult, result);
}
