001    package aima.logic.fol.parsing.ast;
002    
003    import java.util.List;
004    
005    /**
006     * @author Ciaran O'Reilly
007     * 
008     */
009    public interface AtomicSentence extends Sentence {
010            List<Term> getArgs();
011            AtomicSentence copy();
012    }