@SuppressWarnings("unchecked") public Clause(Struct s) { this( s.getName().equals(":-") ? (H) Term.unmarshal(s.getArg(0)) : (H) Term.unmarshal(s), s.getName().equals(":-") ? (B) Term.unmarshal(s.getArg(1)) : null); }