question: public Clause ( Literal ... literals ) { this ( Arrays . asList ( literals ) ) ; }
target:  Construct a clause from the given literals. Note: literals the are always 'False' (i.e. False or ~True) are not added to the instantiated clause.