copy_ground(?, ?, ?) No description available occ(?, ?, ?) No description available subst(?, ?, ?) No description available variables(?, ?) No description available