73-301 Construction of Formula Clauses